Steffan Sølvsten
ssoelvsten
Postdoctoral researcher working on algorithms for program correctness and security.
Aarhus University Aarhus, Denmark
Ulrik Boll Djurtoft
ullebe1
MSc. Computer Science,
Sr. IT Engineer at the LEGO Group
The LEGO Group Denmark
Fredagscaféen
fredagscafeen
Fredagscaféen er en fredagsbar for datalogi og IT på Aarhus Universitet.
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Rocq-community
rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
Paul Fioravanti
paulfioravanti
Coder, linguist, mechanical keyboard enthusiast, stenography learner.
Sydney, Australia
Linux Test Project
linux-test-project
LTP provides tools and testsuites to verify the Linux kernel and related subsystems
Jane
germ
CS Goon in Saskatoon.
Hacking on keyboards is my thing :)
Working with Go, App Engine, React, JS & COBOL.
g Heavy Industries Saskatoon, SK
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom