Motto: Love static analysis, automate coding!
-
EPFL
- Lausanne
- http://lara.epfl.ch/~kandhada
Craig Wrong
craigwrong
Bitcoiner at heart. Swift developer. Creator and maintainer of @swift-bitcoin
@swift-bitcoin Cypherspace
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Sumith Kulal
sumith1896
Insanely passionate about Computer Science.
@black-forest-labs Palo Alto, CA
Viktor Kunčak
vkuncak
Viktor Kunčak (PhD MIT, 2007) is an associate professor at EPFL leading @epfl-lara group.
EPFL Switzerland