Difference between revisions of "Team"

Line 5: Line 5:
 
* [http://www.stups.uni-duesseldorf.de/w/Ivaylo_Miroslavov_Dobrikov Ivaylo Dobrikov],
 
* [http://www.stups.uni-duesseldorf.de/w/Ivaylo_Miroslavov_Dobrikov Ivaylo Dobrikov],
 
* [http://www.stups.uni-duesseldorf.de/w/Dominik_Hansen Dominik Hansen],
 
* [http://www.stups.uni-duesseldorf.de/w/Dominik_Hansen Dominik Hansen],
 +
* Philipp Körner,
 
* [http://www.stups.uni-duesseldorf.de/w/Sebastian_Krings Sebastian Krings],
 
* [http://www.stups.uni-duesseldorf.de/w/Sebastian_Krings Sebastian Krings],
 
* [http://www.stups.uni-duesseldorf.de/w/Lukas_Ladenberger Lukas Ladenberger],
 
* [http://www.stups.uni-duesseldorf.de/w/Lukas_Ladenberger Lukas Ladenberger],
 +
* [http://www.stups.uni-duesseldorf.de/w/David_Schneider David Schneider],
 
* [http://www.stups.uni-duesseldorf.de/w/Daniel_Plagge Daniel Plagge],
 
* [http://www.stups.uni-duesseldorf.de/w/Daniel_Plagge Daniel Plagge],
 
* [http://www.stups.uni-duesseldorf.de/w/Marc_Fontaine Marc Fontaine],
 
* [http://www.stups.uni-duesseldorf.de/w/Marc_Fontaine Marc Fontaine],
Line 12: Line 14:
 
* [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann],
 
* [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann],
 
* [http://www.stups.uni-duesseldorf.de/w/Michael_Jastram Michael Jastram],
 
* [http://www.stups.uni-duesseldorf.de/w/Michael_Jastram Michael Jastram],
* Philipp Körner,
 
 
* Joy Clark,
 
* Joy Clark,
* [http://www.stups.uni-duesseldorf.de/w/David_Schneider David Schneider],
+
* David Gelessus
 +
* Antonia Pütz
 +
* Fabian Vu
 +
* Yumiko Takahashi
 +
* Michelle Werth
 
* Philip Hoefges,
 
* Philip Hoefges,
 
* Joshua Schmidt,
 
* Joshua Schmidt,

Revision as of 15:53, 22 February 2018

ProB is based on research and implemention effort by:


Part of the research and development was conducted within various research projects, such as the EPSRC funded projects ABCD and iMoc, the EU funded projects Rodin, Deploy and Advance as well as the DFG project Gepavas.