fpoli
Follow
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Wojciech Ozga
wojciechozga
Security systems architect (Dr.-Ing.) with systems engineering skills. IBM Research - Zurich.
@IBM Research - Zurich Zürich, Switzerland
Sarek Høverstad Skotåm
sarsko
Applied Scientist @ Amazon Web Services. MSc in Informatics from the University of Oslo.
Amazon Web Services Seattle
Will Crichton
willcrichton
Assistant professor of computer science. Bringing cognitive science to programming.
Brown University Providence, RI
Dominik Winterer
wintered
Ph.D. student in the AST lab at ETH Zurich. I'm researching techniques on testing SMT solvers and making them more reliable.
ETH Zurich Zurich
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Carnegie Mellon University
Alastair Reid
alastairreid
Researcher working on formal specification and verification.
(This is my personal account)
Cambridge, United Kingdom
aaron
aatxe
programming language designer.
@nuprl and @plasma-umass alum.
@Roblox San Mateo, California
Aurel
Aurel300
PhD student in Rust verification at ETH Zurich.
Haxe enthusiast, game developer, CTF player and author.
Jon Gjengset
jonhoo
Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.
@helsing-ai Oslo, Norway
Enrico Rotundo
enricorotundo
A data guy 👨💻
Currently working on StableAudio.com
Previously @bacalhau-project and more
EU
PreviousNext