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
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)
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
| Phone | +43-1-58801- 18441 |
| Fax | +43-1-58801- 18492 |
| Secretary | +43-1-58801- 18403 (Ms Forsthuber) |
| Skype | hveith |
| see our Directory Page | |
| Postal Address | Technische Universität Wien Institut für Informationssysteme 184/4 Arbeitsbereich Formal Methods in Systems Engineering Favoritenstraße 9–11 1040 Wien Austria |
| Directions | See our Directions Page |