Skip to content
View petergjoel's full-sized avatar
16 followers · 10 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@TAPAAL @DEIS-Tools

Block or report petergjoel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@jbro
Jesper Brix Rosenkilde jbro
@dank100
Dan Kristiansen dank100
@thorulf4
Thorulf Neustrup thorulf4

@CEDARDK

@RasmusRendal
Rasmus Rendal RasmusRendal

The commits are coming from inside the house!

@yanntm
Yann Thierry-Mieg yanntm
Maitre de Conférences, Sorbonne Université, LIP6, CNRS PhD, HDR

LIP6, Sorbonne Université, CNRS Paris

@MortenSchou
Morten Konggaard Schou MortenSchou
@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

@rrhansen
Rene Rydhof Hansen rrhansen
@yrke
Kenneth Yrke Jørgensen yrke

@CEDARDK Aalborg, Denmark

@havelund
Klaus Havelund havelund

NASA Jet Propulsion Laboratory Los Angeles, USA