Skip to content

Latest commit

 

History

History
149 lines (141 loc) · 7.48 KB

Authors.md

File metadata and controls

149 lines (141 loc) · 7.48 KB
Raw

Maintainers

  • Beyer, Dirk (since 2007); LMU Munich, Germany
  • Wendler, Philipp (since 2009); LMU Munich, Germany

Former Maintainers

  • Keremoglu, Erkan (2008 - 2011); SFU, Canada

Developers/Contributors

  • Baier, Daniel (since 2021); LMU Munich, Germany
  • Bajczi, Levente (since 2024); Budapest University of Technology and Economics, Hungary
  • Chien, Po-Chun (since 2021); LMU Munich, Germany
  • Friedberger, Karlheinz (since 2011); LMU Munich, Germany
  • Jakobs, Marie-Christine (since 2012); LMU Munich, Germany
  • Jankola, Marek (since 2023); LMU Munich, Germany
  • Kettl, Matthias (since 2019); LMU Munich, Germany
  • Lee, Nian-Ze (since 2020); LMU Munich, Germany
  • Lemberger, Thomas (since 2014); LMU Munich, Germany
  • Lingsch-Rosenfeld, Marian (since 2020); LMU Munich, Germany
  • Raffler, Daniel (since 2024); LMU Munich, Germany
  • Wachowitz, Henrik (since 2022); LMU Munich, Germany

Former Developers/Contributors

  • Ali, Schindar (2020); LMU Munich, Germany
  • Amslgruber, Niklas (2020); LMU Munich, Germany
  • Andrianov, Pavel (2014 - 2022); ISP RAS, Russia
  • Angelis, Emanuele De (2013 - 2014); University of Chieti and Pescara, Italy
  • Beck, Moritz (2019 - 2020); LMU Munich, Germany
  • Bermeitinger, Bernhard (2015); University of Passau, Germany
  • Bielert, Christian (2013 - 2014); University of Passau, Germany
  • Brand, Stefan (2015); University of Passau, Germany
  • Bröcher, Henrik (2016); University of Paderborn, Germany
  • Bruckmeier, Michael (2011); University of Passau, Germany
  • Brunn, Jens (2020 - 2021); TU Darmstadt, Germany
  • Buhl, Moritz (2018); LMU Munich, Germany
  • Bunk, Thomas (2018 - 2023); LMU Munich, Germany
  • Bürdek, Johannes (2014 - 2018); TU Darmstadt, Germany
  • Castaño, Rodrigo (2017 - 2018); University of Buenos Aires, Argentina
  • Chalupa, Marek (2018 - 2019); Masaryk University, Czechia
  • Cimbalnik, Klara (2020 - 2023); LMU Munich, Germany
  • Czech, Mike (2013 - 2014); University of Paderborn, Germany
  • Daca, Przemislaw (2011 - 2012); Technical University of Denmark, Denmark
  • Dahlberg, Peter (2013 - 2016); University of Passau, Germany
  • Damböck, Benedikt (2023); LMU Munich, Germany
  • Dangl, Matthias (2012 - 2019); LMU Munich, Germany
  • Dittrich, Matthias (2013); University of Passau, Germany
  • Donig, Andreas (2010 - 2013); University of Passau, Germany
  • Dresler, Georg (2013 - 2014); University of Passau, Germany
  • Driemeyer, Alexander (2012 - 2016); University of Passau, Germany
  • Eckl, Barbara (2016); University of Passau, Germany
  • Endler, Gregor (2009 - 2010); University of Passau, Germany
  • Esch, Alexander (2012); University of Passau, Germany
  • Estler, Flutura (2018); LMU Munich, Germany
  • Fararooy, Ashgan (2009); SFU, Canada
  • Friedl, Tobias (2013 - 2014); University of Passau, Germany
  • Gerlach, Matthias (2017 - 2018); LMU Munich, Germany
  • Griggio, Alberto (2008 - 2009); SFU, Canada / University of Trento, Italy
  • Hagenhof, Christian (2015); University of Passau, Germany
  • Hagl, Raphael (2018 - 2019); LMU Munich, Germany
  • Hailer, Maximilian (2022); LMU Munich, Germany
  • Haltermann, Jan (2019 - 2023); University of Oldenburg, Germany
  • Häring, Peter (2011 - 2014); University of Passau, Germany
  • Heydebrand, Julian (2015); University of Passau, Germany
  • Hoffmann, Sascha (2022 - 2023); TU Darmstadt, Germany
  • Holzer, Andreas (2008 - 2015); TU Darmstadt, Germany / TU Vienna, Austria
  • Holzner, Stephan (2019 - 2021); LMU Munich, Germany
  • Ivanov, Dejan (2017); LMU Munich, Germany
  • Kafounis, Angelos (2020); LMU Munich, Germany
  • Kanav, Sudeep (2021); LMU Munich, Germany
  • Karpenkov, George (2014 - 2017); Verimag, Grenoble
  • Käufl, Michael (2011); University of Passau, Germany
  • Kieffer, Steven (2011 - 2012); SFU, Canada
  • Knaut, Johannes (2018); LMU Munich, Germany
  • Kolesnykov, Vladyslav (2020); LMU Munich, Germany
  • Koos, Alexander (2017 - 2018); LMU Munich, Germany
  • Korth, Philipp (2012); University of Paderborn, Germany
  • Kotoun, Michal (2018); Brno University of Technology, Czechia
  • Kronawitter, Stefan (2012); University of Passau, Germany
  • Kühn, Camilla (2022); TU Darmstadt, Germany
  • Lachner, Michael (2020 - 2021); LMU Munich, Germany
  • Letko, Zdenek (2014); Brno University of Technology, Czechia
  • Löwe, Stefan (2010 - 2016); University of Passau, Germany
  • Lukasczyk, Stephan (2015 - 2016); University of Passau, Germany
  • Maier, Michael (2017 - 2019); LMU Munich, Germany
  • Mandrykin, Mikhail (2013 - 2017); ISP RAS, Russia
  • Maringer, Alexander (2010); University of Passau, Germany
  • Markin, Grigory (2017 - 2020); University of Lübeck, Germany
  • Massard, Sven (2019-2020); LMU Munich, Germany
  • Mordan, Vitaly (2014 - 2018); ISP RAS, Russia
  • Muller, Petr (2012 - 2014); Brno University of Technology, Czechia
  • Murr, Magdalena (2015); University of Passau, Germany
  • Mutilin, Vadim (2012 - 2020); ISP RAS, Russia
  • Nandanwar, Lokesh (2018); National Institute of Technology Durgapur, India
  • Olbrich, Christian (2014); University of Passau, Germany
  • Onderka, Jan (2023); CTU Prague, Czech Republic
  • Ott, Sebastian (2013 - 2016); University of Passau, Germany
  • Peters, Stefan (2011 - 2012); University of Passau, Germany
  • Pollandt, Tim (2021 - 2022); TU Darmstadt, Germany
  • Pöllmann, Daniel (2019); LMU Munich, Germany
  • Port, Valentin (2019 - 2023); LMU Munich, Germany
  • Quadt, Florian (2013 - 2014); University of Passau, Germany
  • Ratke, Sabine (2020); LMU Munich, Germany
  • Rhein, Alexander von (2010); University of Passau, Germany
  • Rust, Henry (2021); TU Darmstadt, Germany
  • Scheffel, Sebastian (2014 - 2015); University of Passau, Germany
  • Schönberger, Frederic (2021); LMU Munich, Germany
  • Schremmer, Alexander (2012 - 2013); University of Paderborn, Germany
  • Schüss, Balthasar (2019 - 2021); LMU Munich, Germany
  • Seibt, Georg (2015); University of Passau, Germany
  • Selberg, Jakob (2018 - 2020); LMU Munich, Germany
  • Sell, Leon (2015 - 2016); University of Passau, Germany
  • Serdyukov, Denys (2021); TU Darmstadt, Germany
  • Speidel, Hendrik (2010); University of Passau, Germany
  • Spießl, Martin (2017 - 2023); LMU Munich, Germany
  • Sridharan, Sarita (2019 - 2020); LMU Munich, Germany
  • Stahlbauer, Andreas (2011 - 2016); University of Passau, Germany / GrammaTech, USA
  • Stieglmaier, Thomas (2011 - 2016); University of Passau, Germany
  • Syri, Maximilian (2015 - 2016); University of Passau, Germany
  • Tautschnig, Michael (2008 - 2009); TU Darmstadt, Germany
  • Theoduloz, Gregory (2009 - 2010); EPFL, Switzerland
  • Töws, Manuel (2016); University of Paderborn, Germany
  • Tornede, Tanja (2014 - 2016); University of Paderborn, Germany
  • Trapp, Mirjam (2018 - 2019); LMU Munich, Germany
  • Tschöpel, Sebastian (2021); LMU Munich, Germany
  • Umbricht, Sven (2020 - 2024); LMU Munich, Germany
  • Vasilyev, Anton (2015 - 2022); ISP RAS, Russia
  • Volkov, Anton (2015 - 2018); ISP RAS, Russia
  • Weise, Nico (2019 - 2021); LMU Munich, Germany
  • Wiesholler, Max (2018 - 2019); LMU Munich, Germany
  • Winter, Katharina (2018 - 2019); LMU Munich, Germany
  • Woller, Christoph (2014 - 2015); University of Passau, Germany
  • Wonisch, Daniel (2011 - 2012); University of Paderborn, Germany
  • Yang, Zhu (2023); LMU Munich, Germany
  • Zenger, Geoff (2007); SFU, Canada
  • Zorneck, Gernot (2016 - 2017); University of Passau, Germany
  • Zakharov, Ilja (2016); ISP RAS, Russia

Questions and bug reports:
Beyer, Dirk: CPAchecker-Users@googlegroups.com (cf. doc/Mailing.md)