Team: Difference between revisions

Latest revision as of 09:38, 4 July 2022

ProB is based on research and implemention effort by:

Michael Leuschel,
Michael Butler,
Jens Bendisposto,
Ivaylo Dobrikov,
Dominik Hansen,
Philipp Körner,
Sebastian Krings,
Lukas Ladenberger,
David Schneider,
Joshua Schmidt
Daniel Plagge,
Marc Fontaine,
Fabian Fritz,
Corina Spermann,
Joy Clark,
David Geleßus
Fabian Vu
Antonia Pütz
Sherin Schneider
Yumiko Takahashi
Miles Vella
Michelle Werth
Michael Jastram,
Philip Hoefges,
Edward Turner,
Dennis Winter,
Sonja Holl,
Jens Krüger,
Michael Birkhoff,
Carla Ferreira,
Stéphane Lo Presti,
Leonid Mikhailov,
Laksono Adhianto, ...

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 projects Gepavas, Gepavas II and IVOIRE.

@@ Line 5: / Line 5: @@
 * [http://www.stups.uni-duesseldorf.de/w/Ivaylo_Miroslavov_Dobrikov Ivaylo Dobrikov],
 * [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/Lukas_Ladenberger Lukas Ladenberger],
+* [http://www.stups.uni-duesseldorf.de/w/David_Schneider David Schneider],
+* Joshua Schmidt
 * [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/Fabian_Fritz Fabian Fritz],
 * [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann],
-* [http://www.stups.uni-duesseldorf.de/w/Michael_Jastram Michael Jastram],
-* Philipp Körner,
 * Joy Clark,
-* [http://www.stups.uni-duesseldorf.de/w/David_Schneider David Schneider],
+* David Geleßus
+* Fabian Vu
+* Antonia Pütz
+* Sherin Schneider
+* Yumiko Takahashi
+* Miles Vella
+* Michelle Werth
+* Michael Jastram,
 * Philip Hoefges,
-* Joshua Schmidt,
 * Edward Turner,
 * Dennis Winter,
@@ Line 28: / Line 35: @@
-Part of the research and development was conducted within various research projects, such as the [http://www.epsrc.ac.uk/default.htm EPSRC] funded projects [http://users.ecs.soton.ac.uk/phh/abcd/ ABCD] and [http://users.ecs.soton.ac.uk/mal/ISM.html iMoc], the EU funded projects [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] project [http://www.gepavas.de/ Gepavas].
+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 [http://rodin.cs.ncl.ac.uk/ Rodin], [http://www.deploy-project.eu/ Deploy] and [http://www.advance-ict.eu/ Advance] as well as the [http://www.dfg.de/ DFG] projects [http://www.gepavas.de/ Gepavas], Gepavas II and IVOIRE.