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

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.

Latest News

The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR). CAV 2015 website