Skip to content

@UPPAALModelChecker UPPAAL

@HansBug
Hankson Bradley HansBug
A busy-lazy-crazy coder from China.

Beihang University Beijing, China

@michaelp11
michaelp11
@vic01512
vic01512
@mateujover
Mateu Jover Mulet mateujover

Palma, Balearic Islands. Spain

@Szpilman2
Peyman Shabani Szpilman2

University of Tehran

@YuchuLiao
YuchuLiao
@zicyair
z zicyair
@mahmood1994ha
Mahmoud Bazzal mahmood1994ha
I build tools to enable Model-Based Systems Engineering

Heinz-Nixdorf Insitute Paderborn

@iamabigartist
Chua iamabigartist
@AsgerHB
Asger Horn Brorholt AsgerHB
@prakharjain3
Prakhar Jain prakharjain3
I like Markdown files
@maxkratz
Max Kratz maxkratz
PhD student @Echtzeitsysteme TU Darmstadt

Technical University of Darmstadt Germany

@mikucionisaau
Marius Mikučionis mikucionisaau
Software Engineer and Lecturer at Department of Computer Science, Aalborg University. I develop and maintain Uppaal, also teach Selected Topics in Programming.

Aalborg University Aalborg, Denmark