Who are the Volunteers?

We are five Computer Science students and friends who embarked on this project to create a place for the community to give advice, share material, and build new links.

The Team:

Mohana Asha Latha (Asha) recently completed her Ph.D. at North Dakota State University. She is now a Formal Verification Engineer at Intel, Oregon, USA.

Claudia Cauli is a Ph.D. student at the University of Gothenburg|Chalmers, Sweden. She moved there from the University of Leicester, UK.

Hadar Frenkel is a Ph.D. student at the Technion, Israel. She works on automata-theoretic approaches to verification.

Norine Coenen is a Ph.D. student at CISPA Helmholtz Center for Information Security, Germany. She is working on the verification of hyperproperties.

Muhammad Usama Sardar (Usama) is a DAAD scholar at TU Dresden, Germany. He is passionate about formal methods for trusted execution environments.

We particularly thank Professor Aarti Gupta for having this idea and for her support while working on the project. It has been a challenge to find the time, across different timezones and life events, to meet and make this possible; but we are extremely happy we did it. We hope that you benefit from this website and share relevant information with us — the success of this project relies on your participation!


Please use the contact information found here to contact us if you want to share anything on this website.