Helmut Veith is a professor at  the Computer Science department of TU Darmstadt, and an
adjunct professor at Carnegie Mellon University. He holds 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 Darmstadt, he was a professor at TU Munich and an associate professor
at TU Vienna.

In his research, Helmut Veith applies formal and logical methods to problems in technical
computer science and software technology. His current work is focussing on model checking,
software verification and testing, embedded software and computer security.

Helmut Veith is an executive board member of the Kurt Goedel Society and the European
Association on Computer Science Logic.

Current Research Topics
Software Verification
Model Checking
Program Testing
Parameterized Verification
Embedded Systems Engineering
Counterexample-Guided Abstraction Refinement
Vacuity Detection
Analysis of Executables
Malware Detection
Intellectual Property Protection
Security for Virtual Worlds
Temporal Logic Query Solving
Shape Analysis
Performance Analysis

Recent Talks

Ptolemaic Abstraction
EPFL Lausanne, February 2009

Danger Inside: Computer Errors in the Infrastructure
Invited Speaker at Europaeisches Forum Alpbach, August 08
[ Streaming Video] (go for Informations- und Kommunikationsinfrastrukturen)

Lust auf Informatik
TU Darmstadt, October 08

Dagstuhl Workhshop on VLSI and Distributed Algorithms, September 08
Model Checking: From Proofs to Automation

Keynote Talk at FIT-IT Embedded Systems, Vienna, May 08
Embedding Formal Methods into Systems Engineering

Invited Speaker at LPAR 07, October 07
On the Notion of Vacuous Truth

Media Appearences

Radio Interview, OE1, August 08
Computer Errors in the Infrastructure [MP3]


TV interview, Austrian Television (Zeit im Bild), April 08
Model Checking [MP4]

Selected Projects

Model Checking and Testing
PUMA Graduiertenkolleg (DFG)
Determination of Loop Bounds (Microsoft Research)
FORTAS (DFG), jointly with Real Time Group at TU Vienna (FWF)
GAMES Network (EU)

Embedded Software
baseXT (BMW)
TAMORR, AIDA (EADS)
Inteco (Diehl Aerospace)

Computer Security
CASED Center at TU Darmstadt
Bayerische Elitefoerderung
ECRYPT Network (EU)

Computational Science
with Chemistry Applications (EU TEMPUS), with Vienna and Uzbekistan