Team: Difference between revisions

Latest revision as of 16:22, 6 October 2025

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,
Jan Gruteser,
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 1: / Line 1: @@
 ProB is based on research and implemention effort by:
-* [http://www.stups.uni-duesseldorf.de/~leuschel/ Michael Leuschel],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/leuschel Michael Leuschel],
 * Michael Butler,
-* [http://www.stups.uni-duesseldorf.de/w/Jens_Bendisposto Jens Bendisposto],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/bendisposto Jens Bendisposto],
-* [http://www.stups.uni-duesseldorf.de/w/Ivaylo_Miroslavov_Dobrikov Ivaylo Dobrikov],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Ivaylo Dobrikov],
-* [http://www.stups.uni-duesseldorf.de/w/Dominik_Hansen Dominik Hansen],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Dominik Hansen],
-* [http://www.stups.uni-duesseldorf.de/w/Sebastian_Krings Sebastian Krings],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Philipp Körner],
-* [http://www.stups.uni-duesseldorf.de/w/Lukas_Ladenberger Lukas Ladenberger],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Sebastian Krings],
-* [http://www.stups.uni-duesseldorf.de/w/Daniel_Plagge Daniel Plagge],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Lukas Ladenberger],
-* [http://www.stups.uni-duesseldorf.de/w/Marc_Fontaine Marc Fontaine],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni David Schneider],
-* [http://www.stups.uni-duesseldorf.de/w/Fabian_Fritz Fabian Fritz],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Joshua Schmidt],
-* [http://www.stups.uni-duesseldorf.de/w/Corinna_Spermann Corina Spermann],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Daniel Plagge],
-* [http://www.stups.uni-duesseldorf.de/w/Michael_Jastram Michael Jastram],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Marc Fontaine],
-* Philipp Körner,
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Fabian Fritz],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/alumni Corina Spermann],
 * Joy Clark,
-* [http://www.stups.uni-duesseldorf.de/w/David_Schneider David Schneider],
+* David Geleßus,
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/gruteser Jan Gruteser],
+* [https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen/unser-team/team/vu Fabian Vu],
+* Antonia Pütz,
+* Sherin Schneider,
+* Yumiko Takahashi,
+* Miles Vella,
+* Michelle Werth,
+* Michael Jastram,
 * Philip Hoefges,
-* Joshua Schmidt,
 * Edward Turner,
 * Dennis Winter,
@@ Line 26: / Line 34: @@
 * 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 [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.