Bernhard Beckert Prof. Dr., Juniorprofessor for Artificial Intelligence AI Research Group Institute for Computer Science Department of Computer Science University of Koblenz-Landau

Short cuts

Teaching
Summer '07: Grundlagen der Theoretischen Informatik - Formal Methods in Software Engineering
Winter '06/07: Nicht-klassische Logiken - Seminar Programmverifikation

Projects
KeY - Verisoft

Conferences and Workshops
VERIFY 2007 - KeY Symposium 2007 - SEFM 2007 - TOOLS EUROPE 2007 - TABLEAUX 2007 - ICSOFT 2007 - ESARLT 2007 - FTP 2007

More Information

Team Teaching Research & Projects Publications Activities in the Scientific Community Fun Contact