fpoli
Follow
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystems Lausanne, Switzerland
Xiyu Zhai
xiyuzhai
PhD Student working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies
MIT Cambridge, MA
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@aruba The edge of knowing
Wojciech Ozga
wojciechozga
Security systems architect (Dr.-Ing.) with systems engineering skills. IBM Research - Zurich.
@IBM Research - Zurich Zürich, Switzerland
Dominik Winterer
wintered
Ph.D. student in the AST lab at ETH Zurich. I'm researching techniques on testing SMT solvers and making them more reliable.
ETH Zurich Zurich
Dimitrios Zisis
dimizisis
University of Macedonia, Department of Applied Informatics Thessaloniki, Greece
genix
PratikDhanave
Mentor for Google summer of code 2022, 2021,2020,2019, Intern for Google Summer of Code 2017-2018
Federico Tomassetti
ftomassetti
Language Architect and Founder of Strumenta. We are specialized in language engineering: DSLs, design languages, parsers, editors, interpreters
Strumenta Turin, Italy
Mauro Bringolf
maurobringolf
Software engineer interested in software correctness, e.g. verification, compilers, proofs, types, functional programming, semantics, testing. OCaml/Haskell/SMT
Zürich, Switzerland
Andrin Bertschi
abertschi
Interested in cloud and mobile virtualization security
Zurich, Switzerland
Patrick Arminio
patrick91
Working on @strawberry-graphql, a Python library for creating GraphQL APIs 🍓
@pythonitalia // @EuroPython
London
PreviousNext