Josef Widder has received his habilitation in computer science from TU Wien. He is now Privatdozent.Continue reading
Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.Continue reading
Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.Continue reading
iDQ v1.0 is now available online: http://forsyte.at/software/idq/Continue reading
We have a great program for our workshop on formal reasoning in distributed algorithms. Join us at the workshop!Continue reading
Laura Kovács and Georg Weissenbacher are the organizers of the second workshop on Craig interpolation and its applications.Continue reading