Skip to content

@KeYProject KeY Project

@paul-maleev
Pavel Maleev paul-maleev

Self employed Saint-Petersburg, Russia

@ParkhomenkoV
Vladimir ParkhomenkoV

Peter the Great St.Petersburg Polytechnic University Saint-Petersburg, Russia

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

Universidade de Brasília

@Ao-senXiong
Aosen Xiong Ao-senXiong
@Granate99
Granate99 Granate99

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 @lmu @kastel-security. (he/him)

Ludwig-Maximilians-Universität (LMU) Munich Munich, 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