- Gothenburg, Sweden
- https://sstucki.github.io
Martin Mauch
nightscape
Big fan of Functional Programming, Scala, Idris.
Passionate about meditation and neuroscience.
Regensburg, Germany
Vlad Ureche
VladUreche
Author of @miniboxing and software engineer @google. Proud to have worked at @CyberhavenInc and the @scala team at @lampepfl.
@google Zurich, Switzerland
Anton Kulaga
antonkulaga
Bioinformatician at Systems Biology of Aging Group
Systems Biology of Aging Group Bucharest, Romania
Sasha
Krasnyanskiy
Full-stack software engineer, specializing on the Java platform. Primarily focused on the development of complex distributed systems.
Cupertino, California
Fengyun Liu
liufengyun
Programmer interested in programming languages and formal methods
Lausanne, Switzerland
Cédric Bastin
cedricbastin
Software Engineer
🤩 → 🇪🇺 , 🏡 → 🇱🇺 , 🎓 →🇨🇭 → 🇨🇦 → 🇺🇸 , 💼 → 🇬🇧 → 🇨🇭
twint.ch Zürich, Switzerland
kenji yoshida
xuwei-k
Tokyo
Kelvin D Meeks
intltechventures
CTO at International Technology Ventures, Inc.
Three words: Accelerate, Innovate, Elevate.
Leadership in Software Architecture and Engineering Innovation
International Technology Ventures, Inc. Bellevue, WA
Serge Stinckwich
SergeStinckwich
Computer Science PhD, Head of Research @UNU-Macau
#complexsystems #AI #DomainSpecificModeling #ICT4D Sustainable Development Goals
@UNU-Macau Macau
Régis Blanc
regb
Entrepreneur, game developer. builder, Scala enthusiast, Snowfaller, ex-CTO, Xoogler. PhD from EPFL. Occasional MTG player. Just enjoy building cool stuff.
Zurich
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
PreviousNext