Germany / Romania / Hungary / Sweden / France / Japan / Russia / Austria / Israel / /
Currency
SEK / EUR / / /
Facility
Computer Science Vienna University of Technology / Research Institute / West University of Timis¸oara / University of Berkeley / M¨alardalen University / E¨otv¨os L´or´ant University / Chalmers University of Technology Sweden / Vienna University of Technology / West University / Tsukuba University / University Joseph Fourier / Institute of Science / Computer Science West University of Timis¸oara / Engineering Chalmers University of Technology / Bridge Grant / University of Vienna / /
IndustryTerm
static analysis tool / Web Systems / Wireless Networks / software verification / verification tool / /
Organization
M¨alardalen University / E¨otv¨os L´or´ant University / Institute of Science and Technology / OMMITTEES Computer Science Curriculum Committee / Vienna Center for Logic and Applications / Chalmers Software Center / Austrian Science Foundation / Habilitation committee / Austrian-Hungarian Action Foundation / European Research Council Europe / RGANIZATIONS Association for Automated Reasoning / European Association for Programming Languages and Systems / Advisory Board / Chalmers University of Technology / Licentiate committee / ARiSE/VCLA Winter School on Verification / Swedish Research Council / University of Timis¸oara / TheProSE / Tsukuba University / Applicant / Vienna Science and Technology Fund / Math and Computer Science West University of Timis¸oara / Computer Science West University of Timis¸oara / Sweden Sweden / World Congress / Alice Wallenberg Foundation / University of Vienna / Society for the Promotion of Science / Austrian Research Promotion Agency / Austrian Society for Rigorous Systems Engineering / Research Institute for Symbolic Computation / Steering Committee / Vienna University of Technology / ROFESSOR Department of Computer Science / /
Person
Rupak M. Majumdar / Ramona Enache / Thomas A. Henzinger / Krishnendu Chatterjee / Csaba Vaczula / Rosario Pugliese / Grant Innovative / Helmut Veith / Gernot Salzer / Patrizio Pelliccione / Bernhard Kragl / Francesco Tiezzi / Andreas Krall / Ioana Jucu / Tetsuo Ida / Adel Bouhoula / Thorsten Tarrach / Bruno Buchberger / Simon Robillard / Ly Alioune / Nikolaj Bjørner / Harald Zankl / Temur Kutsia / Martin Giese / Jakob Zwirchmayr / Jens Knoop / Josep Silva Galiana / Laura Ildik´o Kov / / /
Position
Semester project supervisor / Tutorial chair at Int / member for Leo Hatvani / editor / Internship supervisor / Principal Investigator / Co-supervisor / thesis supervisor / Assoc.Prof. / researcher / Diploma project advisor / research fellow Assistant / OMMITTEES Proceedings chair / DITORSHIP Editor / supervisor / project supervisor / Workshop chair at Int / member for Harald Zankl / Postdoctoral scientist / Co-Principal Investigator / HAIR Workshop chair at Int / Assistant Professor / Vampire Semester project supervisor / Local chair / Co-editor / Associate professor / Teaching assistant / /
ProgrammingLanguage
Java / R / C / /
PublishedMedium
The Computer Journal / Formal Aspects of Computing / Theoretical Computer Science / /