Jesse D Sullivan
jessedenissullivan
Software engineer interested in formal methods for verification and validation of safety-critical systems and design of cloud computing pipelines.
Waltham, MA
Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
alessandra simmons
MixedMatched
embedded systems and formal methods enthusiast /
cs+philosophy major at northeastern
Kevin Klement
frabjous
Linux nerd and friendly neighborhood Russellian.
University of Massachusetts Amherst Amherst, MA
Michael Kohlhase
kohlhase
Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge
Computer Science, FAU Erlangen Nürnberg Erlangen, Germany
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.
Chalmers University of Technology Gothenburg, Sweden
Caleb Helbling
calebh
Senior Member of the Technical Staff at Draper Laboratory
Draper Laboratory Cambridge, MA
The Charles Stark Draper Laboratory, Inc.
draperlaboratory
Draper is a not-for-profit company that engineers multidisciplinary solutions to global challenges.
Cambridge, MA
Vishal Lama
vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Matteo Bianchetti
Mttbnchtt
Ontologist. Knowledge graph enginner. Researcher in formal logic, philosophy of mathematics, semantics of natural language.
@OpenAI
PreviousNext