-
Carnegie Mellon University - S3D
- Pittsburgh
-
06:14
(UTC -04:00) - http://www.cs.cmu.edu/~ckaestne
Highlights
- Pro
Cyrus Omar
cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist
University of Michigan Ann Arbor, MI
Eelco Visser
eelcovisser
Professor of Computer Science at TU Delft, Spoofax Language Workbench
TU Delft Delft, The Netherlands
Claus Hunsen
clhunsen
Associate IT Consultant at msg systems ag, also doctoral researcher and knowledge collector
msg systems ag
jns-ps
seasoned polyglot engineer,
passionate about software quality and -architecture,
currently focused on crypto and rust @deltadevsde
Marburg, Germany
Tillmann Rendel
Toxaris
Programmer, Software Architect, and Computer Scientist.
@SAP Potsdam, Germany
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Jan Lehnardt
janl
Makes @couchdb & #offlinefirst. Made @jsconfeu @greenkeeperio @hoodiehq. CEO at @neighbourh00die. Dissatisfied with the status-quo.
Neighbourhoodie Software Berlin, Germany