Developers

Developers that have contributed to the project over time

• Martijn Angelo Goorden
• Nicklas Hjortshøj Hugøy
• Florian Lorber
• Sebastian Lund
• Thorulf Neustrup
• Ulrik Nyman
• Niels Frederik Sinding Vistisen

First version of j-Ecdar: Master thesis 2018-2019

• Andrej Kiviriga
• Napalys Klicius
• Cristina Ioana Simionescu

First version of the Ecdar GUI (based on H-Uppaal) Pre-Master thesis 2017 Master thesis 2018 (Simulator) Master thesis 2018 (Fault localisation)

• Casper Møller Bartholomæussen
• Tobias Rosenkrantz Gundersen
• Rene Mejer Lauritsen
• Christian Ovesen

First version of the GUI code-base known as H-Uppaal Master thesis 2016-2017

• Niklas Kirk Mouritzsen
• Rasmus Holm Jensen