Problems worthy
of attack
prove their worth
by hitting back.
-- Piet Hein
-
Working on Scala @ EPFL
- bracevac.org
Highlights
- Pro
Block or Report
Block or report bracevac
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Piotr Chabelski
Gedochao
Product Manager @ Scala 3 Compiler,
Maintainer @ Scala CLI,
Scala Tooling Engineer
@VirtusLab Remote
Seth Tisue
SethTisue
software engineer on the Scala compiler team at Lightbend
Lightbend, Inc. Reno, NV
Hamza Remmal
hamzaremmal
EPFL - @scala - @lampepfl Lausanne, Switzerland
Guillaume Martres
smarter
Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.
Arteris / Scala Center Lausanne, Switzerland
David Deng
PROgram52bc
Third year Ph.D. student in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
Purdue University West Lafayette, IN
Ben L. Titzer
titzer
WebAssembly co-founder, former V8 engineer.
Carnegie Mellon University United States
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
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
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Daniel Hillerström
dhil
Effectful programmer
Computing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland Zurich, Switzerland
Miles Sabin
milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.
Underscore/Typelevel/shapeless/grackle Brighton, UK