Team: Difference between revisions

No edit summary
m (ß)
 
(15 intermediate revisions by 3 users not shown)
Line 1: Line 1:
ProB is based in research and implemention effort by:
ProB is based on research and implemention effort by:
* [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel],
* [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel],
* Michael Butler,
* Michael Butler,
* [http://www.stups.uni-duesseldorf.de/w/Jens_Bendisposto Jens Bendisposto],
* [http://www.stups.uni-duesseldorf.de/w/Jens_Bendisposto Jens Bendisposto],
* [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/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/Fabian_Fritz Fabian Fritz],
* [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],
* Joy Clark,
* [http://www.stups.uni-duesseldorf.de/w/Lukas_Ladenberger Lukas Ladenberger],
* David Geleßus
* [http://www.stups.uni-duesseldorf.de/w/Ivaylo_Miroslavov_Dobrikov Ivaylo Dobrikov]
* Fabian Vu
* [http://www.stups.uni-duesseldorf.de/w/Marc_Fontaine Marc Fontaine]
* Antonia Pütz
* Sherin Schneider
* Yumiko Takahashi
* Miles Vella
* Michelle Werth
* Michael Jastram,
* Philip Hoefges,
* Edward Turner,
* Edward Turner,
* Dennis Winter,
* Dennis Winter,
* Sonja Holl,
* Sonja Holl,
* Jens Krüger,
* Jens Krüger,
* Dominik Hansen
* Michael Birkhoff,
* Philipp Körner
* Joy Clark
* Michael Birkhoff
* Carla Ferreira,
* Carla Ferreira,
* Stéphane Lo Presti,
* Stéphane Lo Presti,
* Leonid Mikhailov,
* Leonid Mikhailov,
* Laksono Adhianto, ...
* 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 [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.

Latest revision as of 09:38, 4 July 2022

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