KeYmaera X: People

Developers

Stefan Mitsch
Stefan Mitsch
Andre Platzer
André Platzer
Yong Kiam Tan
Yong Kiam Tan

Contributors

Katherine Cordwell
Katherine Cordwell
Aditi Kabra
Aditi Kabra

Past Developers

Nathan Fulton
Nathan Fulton
Brandon Bohrer
Brandon Bohrer

Past Contributors

Fabian Immler
Fabian Immler
Jan-David Quesel
Jan-David Quesel
Andrew Sogokon
Andrew Sogokon
Marcus Völp
Marcus Völp
Ran Ji
Ran Ji

Power Users

The KeYmaera X developers are incredibly thankful for the helpful feedback on its earlier versions from all the users everywhere, but especially the power users:
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
Yanni A. Kouskoulas
Yanni Kouskoulas
Khalil Ghorbal
Khalil Ghorbal

Primary Responsibilities

If you have a question about KeYmaera X, either ask on the KeYmaera X mailing list or directly ask the right person based on the primary responsibilities listed below.

Developers: Past Developers: Contributors: