Leicester / Oxford / Toronto / St. Petersburg / Vienna / London / Naples / /
Company
General Electric / TASE / Google / CONCUR / Systems Engineering Group / Philips / Microsoft / /
Country
Germany / Hungary / Italy / Qatar / Austria / United States / /
Currency
EUR / / /
Facility
Chemico-Technical Institute / Carnegie Mellon University / Kazakh National University / Open University / Columbia University / Eszterh´azy K´aroly College / National University / International Kazakh-Turkish University / Institute of Information Systems Vienna University / University of Vienna / /
IndustryTerm
software engineering / /
Organization
Vienna Center for Logic and Algorithms / Columbia University / Open University / Curriculum Committee / Information Systems Vienna University of Technology Favoritenstraße / School for Informatics / National University Tashkent / Program committee / International Kurt G¨odel Society / Eszterh´azy K´aroly College / ATVA / Association for Symbolic Logic / Kazakh National University / TU Wien / Faculty Council / University of Vienna / Austrian Society of Rigorous Systems Engineering / Academic Senate of TU Vienna / European Association for Computer Science Logic / International Kazakh-Turkish University / Carnegie Mellon University / Pittsburgh / Committee on Logic Education / European Union / Vienna High school / Stanford / Chemico-Technical Institute Tashkent / Faculty of Informatics / /
Person
Andreas Holzer / Gergely Kov´asznai / Ed Clarke / R ECENT / Florian Zuleger / Johannes Birgmeier / Orna Grumberg / Sasha Rubin (Postdoc) / Marko Samer / Michael Tautschnig / Johannes Kinder / Christian Schallhart / Tom Henzinger / Stefan Katzenbeisser / Josef Widder / Stefan Kugele / Mary / /
Position
Editor / Board Member / Coordinator of the Research / Full professor / Speaker / Founding president / Deputy Speaker / Research Assistant / Lecturer at Queen Mary / Program co-chair / Professor / Coordinator / Vice chair of Vienna Summer / TU Vienna Visiting Scientist / Invited speaker / Assistant Professor / Lecturer / Chair / Lecturer at Royal Holloway / Head of the FORSYTE group / Associate Professor / Queen / /
H ELMUT V EITH Formal Methods in Systems Engineering GroupInstitute of Information Systems Vienna University of Technology Favoritenstraße 9–11 A-1040 Vienna