Imandra
John Beverley
johnbeve
Assistant Professor,
University at Buffalo
Vice President,
National Center for Ontological Research
Buffalo, NY
Jason Wohlgemuth
jhwohlgemuth
Jesus follower. Husband. Father of 3. Progressive programming polyglot pursuing perfect software. Geospatial Data scientist @ORNL.
Oak Ridge National Laboratory Knoxville, TN
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Kartik Sabharwal
kartik-sabharwal
I'm a Computer Science Ph.D. student at the University of Iowa.
Iowa City, Iowa
PreviousNext