Skip to content

@UPPAALModelChecker UPPAAL

Users following UPPAALModelChecker

@FricWang
FricWang
@maylocal
Yao maylocal
@yaaaniks
Ian Semikozov yaaaniks
smoke bamboo and study embedded systems

Saint-Petersburg

@steveyeoks
Steve Yeo steveyeoks

National University of Singapore Singapore

@vityaman
Victor Smirnov vityaman
Programming Languages and DBMS enjoyer, xxson. Like anything related to program analysis and transformation.

ITMO University Russia, St. Petersburg

@sidcode
Siddhant Shrivastava sidcode
hack, play, grok, solve https://sidcode.github.io

SG

@marosygabor
MAROSY, Gábor marosygabor
Software PA Engineer

The Netherlands

@Harssha10
Harssha10
@AlbertSanoe
Albert Sanoe AlbertSanoe
a student learning software engineering

Github University

@Nickg02
Nickg02
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@szp35
szp35
@juliebeugin
Julie Beugin juliebeugin

Université Gustave Eiffel Villeneuve d'Ascq, FRANCE

@Breinich
Vencel Bajnok Breinich
Computer Science Engineering Masters Student interested in model-based systems design, cybersecurity and web development

Budapest

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

Beihang University Beijing, China

@michaelp11
michaelp11
@vic01512
Liu Jiadong 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

@hni-ase Paderborn

@RatmmmhSquishyRat
Ratrat RatmmmhSquishyRat
@AstridHornBrorholt
Astrid Horn Brorholt AstridHornBrorholt
@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