Press Enter to activate screen reader mode.
Homepage
Navigation
Search
Content
Footer
Contact
Sitemap

Automated Reasoning and Verification Group

Main Navigation

Homepage
People
Research
Teaching
Student Projects
How to Find Us

Services

Student portal
Alumni association
Staffnet
Login

Search

EN

Departments

ETH Zurich
D-INFK
Inst. for Programming Languages and Systems
Automated Reasoning and Verification Group

Language Selection

English

Directly go to the content

Automated Reasoning and Verification Group
: Overview and News

Footer

Search

Keyword or person

Services

Student portal
Alumni association
Staffnet
Login

Contact

Prof. Dr. Michalis Kokologiannakis

Assistant Professor at the Department of Computer Science

Location CNB H 104.2
Phone +41 44 632 89 23

Professur für Informatik
Universitätstrasse 6
8092 Zürich
Switzerland

Departments

D-ARCH Architecture
D-BAUG Civil, Environmental and Geomatic Engineering
D-BIOL Biology
D-BSSE Biosystems Science and Engineering
D-CHAB Chemistry and Applied Biosciences
D-EAPS Earth and Planetary Sciences
D-GESS Humanities, Social and Political Sciences
D-HEST Health Sciences and Technology
D-INFK Computer Science
D-ITET Information Technology and Electrical Engineering
D-MATH Mathematics
D-MATL Department of Materials
D-MAVT Mechanical and Process Engineering
D-MTEC Management, Technology and Economics
D-PHYS Physics
D-USYS Environmental Systems Science

Table of contents and legal

Sitemap
Imprint
Accessibility Statement
Disclaimer & Copyright
Privacy Policy

© 2025 Eidgenössische Technische Hochschule Zürich

JavaScript has been disabled in your browser