Vienna Center for Logic and Algorithms

Website:

http://forsyte.at/people/

Profile:

Posts by Thomas Pani:

• Kewen Wang
• Turing Machine Award 2012
• Formal Methods in Systems Enginnering Group: Ten PhD and PostDoc positions
• Ana Sokolova
• Johannes Fürnkranz
• Daniel Paulusma
• Edmund M. Clarke
• Joao Marques-Silva
• Georg Weissenbacher
• Fedor V. Fomin