About me

Welcome to my tiny webpage!..
I am a young enthusiastic Computer Scientist, currently doing my PhD which should be finished around 2017. I am attending the splendid University of Aalborg, under supervision of Kim Guldstrand Larsen and Jiri Srba.

My key interests are; System design, operation systems, protocols and networking, distributed systems, optimization, verification and algorithmic solutions

In my spare time, I enjoy running, going to cafe, movies and the genuine geeky pop-culture of the university! I see myself as open minded, and enjoy meeting new people.

My Facebook profile can be found here

My G+ profile can be found here

And I can also be contacted by mail: root@petergjoel.dk

Or via my linkedin account found here

CV & Portfolio

Professional career

2013 - 2014 : Student programmer at Aalborg University for the TAPAAL project
2010 - 2013: Freelance web-developer for Day One
2009 - 2010: Freelance web-developer for Purplecow
September 2007 - March 2009 : Bilka as sales assistant


Aalborg University 2014-?, PhD in formal methods
Université libre de Bruxelles 2013-2014, five months of exchange during my masters
Aalborg University 2012-2014, Masters Degree in Computer Science
Aalborg University 2009-2012, Bachelors Degree in Computer Science
HTX Holstebro 2006-2009, Communication and IT
Gudenaadalens ungdomsskole 9th and 10th grade
Nr. Nissum folkeskole 0-8th grade


I consider myself to be a power user of: PHP and C#.net

I have created several modules for various CMS-systems in PHP, and most of my student projects at AAU have been done in C#. In last few years, I have grown particularly fond of C++, and especially C++11 and C++14. I find this to be the most enjoyable programming language I have used so far - even though I am no master of it yet.

Of other languages and environments I consider myself to be a skilled user of: Android java , Java , Objective-C , MYSQL , C , Archlinux and Windows

I use most of these tools for testing and creating solutions for my student-projects and freelance projects.

I considder myself an intermidíate user of: Django, Python and Jquery

All of the above have at some point been used in some of my projects and I feel comfortable using all of them.

Among other tools, I have learned to use: Uppaal, Tapaal, Git and Valgrind.

Projects & Links

As of 2013, I have released an Android and a iPhone app for finding shelter in the wild (Denmark only). The app is called Shelter and has been developed in colaboration with Nicolaj Skafsgaard.

Student projects

During my time at Aalborg university, I have also created several student projects, those are listed below

  • Indoor positioning and escape-rute-planner (spring 2010, Java and Android Java)
  • Library management system (fall 2010, C# and linq)
  • A programming based computer-game (spring 2011, C and C++)
  • A P2P distributed file system (fall 2011, C#)
  • RFID-datacleaning and correction of raw data (spring 2012, Oracle-SQL, Java, Bash)
  • An extension for a discreete verification-engine for TAPAAL called verfifydtapn (fall 2012)

Freelance projects

I have been doing some freelance project with Applicity and I hope they will be revealed soon!