Team
Uppaal was created in a collaboration between the Department of Information Technology at Uppsala University (UPP) in Sweden and the Department of Computer Science at Aalborg University (AAL) in Denmark by Professor Kim G. Larsen (AAL), Professor Paul Pettersson (UPP) and Professor Wang Yi (UPP).
Uppaal is today maintained and distributed by the Distributed, Embedded and Intelligent Systems (DEIS) group at Department of Computer Science at Aalborg University, Denmark. The Development of Uppaal is only possible with the continuing support and inputs from several researchers and universities around the world.
Uppaal Development Team
- Kim G. Larsen
- Marius Mikučionis
- Peter Gjøl Jensen
- Thorulf Neustrup
- Sean Kristian Remond Harbo
- Falke Carlsen
Past Developers
We would like to thank the following people for their past contributions to the development of Uppaal:
- Alexandre David
- Gerd Behrmann
- Danny B. Poulsen
- Arild Martin Møller Haugstad
- John Håkansson
- Emmanuel Fleury
- Agnès Cougnard
- Nikolaj Jensen Ulrik
- Didier Lime
- Wei Zhao
- Mads Schaarup Andersen
- Zhenkui Zhang
- Jakob Haahr Taankvist
- Robert Jørgensgaard Olesen
- Alex N. Larsen
- Petur Olsen
- Gianna Belle
- Leonid Mokrushin
- Ulrik Nyman
- Peter Bulychev
- Johan Bengtsson
- Sandie Balaguer
- Paul Pettersson
- Quentin Le Burel
- Sylvain Joubert
- Elsa Arrou-Vignod
- Florent Buisson
- Alexander Noerskov Larsen
- Romain Brunetaud
- Martin Toft
- Tobias Amnell
- Elena Fersman
- Thomas Hune
- Kåre J. Kristoffersen
- Fredrik Larsson
- Oliver Möller
- Justin Pearson
- Rune G. Madsen
- Steffen K. Mortensen
- Rasmus Rendal
- Kenneth Yrke Jørgensen
Acknowledgments
We would like to thanks the following people for their contributions to the UPPAAL project. Without these people the continuing development of Uppaal would not have been possible.
- Patricia Bouyer (CNRS & ENS de Cachan)
- Martijn Hendriks (University of Nijmegen)
- Brian Nielsen
- Arne Skou
- Jacob Illum Rasmussen
- Pavel Krcál
- Leonid Mokrushin
- Martijn Hendriks (University of Nijmegen)
- Radek Pelanek (Masaryk University Brno)
- Carsten Weise (Ericsson)
- Wang Zheng [SMC]
- Franck Cassez [Tiga]
- Axel Legay [SMC, Tiga, ECDAR]
- Andrzej Wąsowski [ECDAR]
- Dmitry Ivanov [l10n]
- Hiroshi Fujimoto [l10n]
- Line Juhl [l10n]
- Shuhao Li [l10n]
- Martijn Goorden
- Esther Hahyeon Kim
The development of Uppaal has been ongoing for over 25 years and has a rich and complex history, so we sad to say that we might have overlooked or forgotten some contributions. If you are not on the list, and feels like you should be, please let us know by contact us and we will happily add you to the list.