-
Amazon
- Austin, TX, USA
- @MikaelMayer
Block or Report
Block or report MikaelMayer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Andrew McNutt
mcnuttandrew
(Visualization | HCI) (person | engineer | researcher).
((soon to be) assistant prof at UUtah | post doc at UW)
UW SEA VILE
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL
David M.
damerms
▲ (UI) User Interface/(UX) User Experience/(Ix) Interaction/Product/App/Web/Mobile/Frontend Design | (IA) Information Architect ● Gourmet | Eco | Good Cook ■
Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Oracle Labs Lausanne, Switzerland
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Justin Lubin
justinlubin
I co-design programming systems with domain experts!
University of California, Berkeley
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Régis Blanc
regb
Entrepreneur, game developer. Scala enthusiast. ex-CTO, Xoogler. PhD from EPFL. Occasional MTG player. Just enjoy building cool stuff.
Zurich
Viktor Kunčak
vkuncak
Viktor Kunčak (PhD MIT, 2007) is an associate professor at EPFL leading @epfl-lara group.
EPFL Switzerland