Helmut Veith

(c) Karin Bruder

Helmut Veith is a professor at the Faculty of Informatics of Vienna University of Technology (TU Vienna), and an adjunct professor at Carnegie Mellon University. He has a diploma in Computational Logic and a PhD sub auspiciis praesidentis in Computer Science, both from Vienna University of Technology. Prior to his appointment to Vienna, he was holding professor positions at TU Darmstadt and TU Munich. In his research, Helmut Veith applies formal and logical methods to problems in software technology and engineering. His current work is focussing on model checking, software verification and testing, embedded software and computer security. Curriculum Vitae, February 2010 Publications in DBLP and Google scholar Activities Research Grants Information for Students Contact Information

Activities

Program committee co-chair of CAV 2013, CSL 2009, LPAR 2008; Tutorial Chair, FMCAD 2010

Program committee member of ATVA 2010, CAV 2003, CAV 2005, CAV 2009, CAV 2010, CAV 2012, CSL 2009, CSL 2011, CSL 2012, CSR 2007-2009, DATE 2011, DATE 2012, EC2 2009-2012, FMCAD 2009, FMCAD 2010, FMCAD 2011, FMICS 2011, FSTTCS 2007, HVC 2010, HVC 2011, ICTAC 2009, ICTAC 2010, ICTERI 2011, ICTERI 2012, LICS 2004, SOFSEM 2012, SPIN 2012, SYNASC 2008-2011, TACAS SW Verification Competition 2012, TASE 2011, VMCAI 2012, WING 2009, WING 2010, WOLLIC 2011 etc.

FWF Research Network on Rigorous Systems Engineering (vice chair)  

Austrian Society for Rigorous Systems Engineering (president)

Vienna Center for Logic and Algorithms (co-chair)

Kurt Goedel Society (executive board) 

European Association on Computer Science Logic (ECASL) (executive board)

Academic Senate of TU Vienna

TU Vienna Research focus in Computational Intelligence (coordinator)

TU Vienna curriculum commission for computer science

Information for Students

We are always looking for enthusiastic students on all levels to join our team. You can find projects and topics on our Research and Teaching pages. Please contact either me or a staff member by email for a personal appointment.

I am offering regular courses, seminars, and projects on Computer-Aided Verification, Formal Methods, Model Checking, Information Design, and Logic in Computer Science. Information about my courses can be found in TISS.

Contact Information