Who are we?

We are four 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:

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

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

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

Norine is a Ph.D. student at Saarland University, Germany. Working on the verification of hyperproperties.

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.