Skip to content

@WatForm Waterloo Formal Methods Lab (WatForm)

@egyajure
Elena egyajure
@MathewKJ2048
Mathew K J MathewKJ2048
Student of computer science engineering at IIT Tirupati

Chennai, Tamil Nadu

@CheeksTheGeek
Chaitanya Sharma CheeksTheGeek
prev at comtech (accenture), rocket science vfx & softchoice

Waterloo, ON, Canada

@rahulfromearth
Rᴀʜᴜʟ rahulfromearth

Bengaluru, India

@AdityaShankarNarayanan
Aditya Shankar Narayanan AdityaShankarNarayanan
@Columpio
Yurii Kostyukov Columpio
Formal methods researcher