Skip to content

@KeYProject KeY Project

@pedrovitorfg
Pedro Vitor Ferreira Gonçalves pedrovitorfg
Brazilian software engineer, SDDP, Embedded Software, Shiny

Universidade de Brasília

@Ao-senXiong
Aosen Xiong Ao-senXiong
Ao-senXiong.github.io

University of Waterloo Waterloo, ON, Canada

@Granate99
Granate99 Granate99
Hello I´m a hobby Programmer from Germany.

Germany

@sillylawliet
sillylawliet
@alaingiorgetti
alaingiorgetti
@guilhermehas
Guilherme Silva guilhermehas

Chalmers

@DvonHolten
DvH DvonHolten

Hamburg

@FliegendeWurst
Arne Keller FliegendeWurst

Germany

@mi-ki
mi.ki mi-ki
Researcher in formal methods @kastel-security. (he/him)

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany

@roundEaredSengi
alicia roundEaredSengi
@flo2702
Florian Lanzinger flo2702

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany

@Mikescher
Mike Schwörer Mikescher
Buy me a beer: https://www.buymeacoffee.com/Mikescher

blackforestbytes Germany

@wadoon
Alexander Weigl wadoon

Karlsruhe Institute of Technology Germany