🥤
CEO @ Lumineye. Obsessed with programming languages, especially types and formal verification
-
Lumineye, Inc.
- Boise
- https://www.glossopoeia.com
- in/robert-kleffner-051289a4
Martin Kellogg
kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Amit Patel
redblobgames
I work on explorable explanations (interactive tutorials) for algorithms, using examples from computer games.
Red Blob Games Silicon Valley, CA & Seattle, WA
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon
David MacQueen
dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
University of Chicago Los Gatos, CA
Robby Findler
rfindler
Professor of Computer Science at Northwestern and a core developer of @racket.
Northwestern University, PLT
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Daniel Hampikian
danielhampikian
I'm a philosopher developer, trained in academic philosophy and software development, still learning and loving wisdom but focused on AI development and AR/VR
United States
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Caden Haustein
brightly-salty
A student who spends most all of his free time doing open source software development, mainly in Haskell + Rust.
Check out Mlatu!
United States
Viral B. Shah
ViralBShah
Co-creator of the Julia programming language. Co-founder and CEO of JuliaHub.
JuliaHub
Stephen De Gabrielle
spdegabrielle
Product Manager at epro.com, previously healthcare systems integration Developer with LNWUH NHS Trust.
[email protected]
Epro Ealing, UK
Sam Tobin-Hochstadt
samth
I'm an associate professor at Indiana University, and a core developer of @racket.
PLT @ Indiana University Bloomington, IN
Andy Wendt
AndyWendt
Leader / Programmer / Ultra Runner
@sportsrecruits
SportsRecruits Greater Salt Lake City, Utah
Ben Hofferber
hoffination
Sometimes cool stuff is simple stuff
Head of Eng @thelnk Founding Partner @HInt-Services Toronto
Tomas Petricek
tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, created @the-gamma & @fsharpworks member.
Charles University Prague
PreviousNext