Ian Kariniemi
hypnoticOxbow
PhD Student at Portland State University. Interested in Types, Program Synthesis, and Static Analysis.
Minneapolis, MN
Yee Jian TAN
SwampertX
Theoretical CS Research Masters (MPRI) student at École Polytechnique.
Cass Alexandru
cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala
RPTU Kaiserslautern-Laundau Kaiserslautern
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
Mehmet Hakan Satman
jbytecode
Professor of Numerical Methods @ Istanbul University
Istanbul University Istanbul
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Applied Scientist at Amazon Portland, OR
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Mike He
AD1024
Ph.D. student @PrincetonUniversity; Working on formal methods for distributed systems
@PrincetonUniversity Princeton, NJ
Rachit Nigam
rachitnigam
Incoming EECS professor at MIT. Creator of @calyxir. Up to no good.
Massachusetts Institute of Technology
Onur Özkan
onur-ozkan
ex @rust-lang/rust maintainer
Interested in compilers, operating systems and UAVs.
PreviousNext