Violeta Hernández
vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.
Guanajuato, Mexico
Geoffrey Irving
girving
Chief Scientist at the UK AI Safety Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.
London
Adrien Champion
AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
anzenlang La Rochelle, France
David Sanan
DavidSanan
Assistant Professor at Singapore Institute of Technology. I work on cyber-security by applying formal methods.
Singapore Institute of Technology Singapore
Devon Tuma
dtumad
Graduate Student at the University of Minnesota working on cryptography and formal verification.
University of Minnesota Minneapolis MN
Conrad Watt
conrad-watt
Assistant Professor, NTU - see my website for open positions in Singapore.
Co-chair of the WebAssembly Community Group.
Nanyang Technological University
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Viet Anh Nguyen
VietAnh1010
Pogramming languages enthusiast, studying Haskell right now
National University of Singapore Singapore
Arthur Paulino
arthurpaulino
I'm a computer scientist with many interests
Argument Computer Corporation Brazil
James Gallicchio
JamesGallicchio
PhD student studying PL/FM.
I like building useful abstractions to make programming easier, and formal verification heavily guides that process for me :-)
Carnegie Mellon Pittsburgh, PA
Harshvardhan Pandit
coolharsh55
Researcher working in areas of Consent, Privacy Risks, GDPR, Semantic Web. mastodon: [email protected]
ADAPT Centre, Dublin City University Dublin
Marco Vassena
marco-vassena
Assistant professor interested in programming languages and security
Utrecht University Utrecht, Netherlands
Matthijs Vákár
VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics
Utrecht University Utrecht, the Netherlands
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Principal Research Software Engineer at Lean FRO Portland, OR
PreviousNext