Standard ML of New Jersey
Jeffrey H. Johnson
johnsonjh
Not RPM developer Jeffrey Johnson. Not XTree developer Jeffrey Johnson. Not Jeffrey Johnson, Google Senior Software Engineer. Not the robotic engineer, either.
BAN AI Systems https://keybase.io/trnsz
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA
Stephen De Gabrielle
spdegabrielle
Product Manager at epro.com, previously healthcare systems integration Developer with LNWUH NHS Trust.
spdegabrielle+mod@gmail.com
Epro Ealing, UK
Vishal Lama
vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Matthew Fluet
MatthewFluet
Associate Professor;
Dept. of Computer Science;
Rochester Institute of Technology
Rochester Institute of Technology Rochester, NY
PreviousNext