Kenneth Yrke Jørgensen

Kenneth Yrke Jørgensen

System Administrator at Aalborg University

Location
Ålborg Area, Denmark
Industry
Computer Software

Join LinkedIn and access Kenneth Yrke Jørgensen’s full profile.

As a LinkedIn member, you'll join 150 million other professionals who are sharing connections, ideas, and opportunities. And it's free! You'll also be able to:

  • See who you and Kenneth Yrke Jørgensen know in common
  • Get introduced to Kenneth Yrke Jørgensen
  • Contact Kenneth Yrke Jørgensen directly

View Full Profile

Kenneth Yrke Jørgensen's Overview

Current
Past

see less

see all

Education
  • Aalborg Universitet
  • Frederikshavn Gymnasium
  • Jerup Skole
Connections

203 connections

Websites

Kenneth Yrke Jørgensen's Summary

Computer scientist with interest in formal computer based systems and system administration.

Specialties

Model checking, Typo3, System Administration

Kenneth Yrke Jørgensen's Experience

System Administrator

Aalborg University - IST

Educational Institution; 10,001+ employees; AAU; Research industry

March 2012 – Present (3 months)

Working with Client Management specially Group Policy Management and Microsoft System Center Configuration Manager

Owner

Urhost I/S

Privately Held; 1-10 employees; Internet industry

July 2011 – Present (11 months) Aalborg, Denmark

Freelance hosting company, providing cheep and reliant hosting for dokuwiki, wordpress and typo3.

IT manager

Danske Baptisters Spejderkorps

Nonprofit; 1001-5000 employees; Nonprofit Organization Management industry

September 2004 – Present (7 years 9 months)

Responsible for IT systems and the IT group within Danske Baptisters Spejderkorps.

Applied technologies: Windows Server, ISS, Ubuntu Linux, Merak Mail Server, Typo3, MySQL, ASP / PHP programming, MS Access databases, dokuwiki.

Ph.D Fellow

Aalborg University

Educational Institution; 10,001+ employees; AAU; Research industry

August 2009 – February 2012 (2 years 7 months)

Doing research in theoretical computer science with a focus on optimisations of automatic analysis of real-time systems and in special features on discrete time properties of real-time systems.

Currently on leave of absence

Student Programmer

Aalborg University

Educational Institution; 10,001+ employees; AAU; Research industry

June 2006 – June 2009 (3 years 1 month)

I was part of a team (Junta) with the IT-department at Department of Computer Science - Aalborg University, working with with server and network administration, IT support for staff and students and development and maintenance of software.

For a short period I was working for the Study Board for Natural Sciences responsible for implementing a typo3 based website for the study board.

Applied technologies: Linux, Red Hat Enterprise, SUSE Enterprise, Windows, Unix, OpenSSH, Shell scripting, Apache, MySQL, Nagios, Typo3, dokuwiki, LaTeX, etc.

Study Board Member

Aalborg University

Educational Institution; 10,001+ employees; AAU; Research industry

2004 – January 2009 (5 years)

During my education at Aalborg Universty I have been a member of the educational study boards, first the G-Study board (basis education) and later the F-Study board (Natural Sciences).

The study boards are responsible for the planing and evaluation of the university educations.

As a part of this work I also was appointed member of DatUG, a group work with improving the Computer Science education at the university.

Member IT think tank

Frederikshavn Kommune

Public Company; 1001-5000 employees; Government Administration industry

2003 – 2004 (1 year)

The IT thin thank in Frederikshavn Kommune (frederikshavn municipality) worked with development of the IT strategy and development of the municipality, and adviser for the city council in IT related affairs.

Kenneth Yrke Jørgensen's Education

Aalborg Universitet

MSc, Computer Science

2004 – 2009

As a student from Aalborg University I am very familiar and confident with project- and teamwork. I have good experience working problem-oriented and in interdisciplinary teams. I am creative, extrovert and thorough which fits well with this type of work.

Activities and Societies: F-klubben, Flotto, G-studienævnet, F-studienævnet, DatUG

Frederikshavn Gymnasium

Mathematical Student

2001 – 2004

Valedictorian

Jerup Skole

1991 – 2001

Kenneth Yrke Jørgensen's Publications

  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    • Proceedings of TACAS'12, LNCS, Springer
    • December 23, 2011
    Authors: Kenneth Yrke Jørgensen, Morten Jacobsen, Lasse Jacobsen, Jiri Srba, Alexandre David, Mikael Harkjær Møller

    TAPAAL 2.0 is a platform-independent modelling, simulation and verification tool for extended timed-arc Petri nets. The tool supports component-based modelling and offers an automated verification of the EF, AG, EG and AF fragments of TCTL via translations to Uppaal timed automata and via its own dedicated verification engine. After more than three years of active development with a main focus on usability aspects and on the efficiency of the verification algorithms, we present the new version of TAPAAL 2.0 that has by now reached its maturity and offers the first publicly available tool supporting the analysis and verification of timed-arc Petri nets.

Kenneth Yrke Jørgensen's Additional Information

Websites:
Groups and Associations:

Danske Baptisters Spejderkorps, Studentersamfundet, The Camp, F-Klub

Contact Kenneth for:

  • career opportunities
  • consulting offers
  • new ventures
  • job inquiries
  • expertise requests
  • reference requests
  • getting back in touch

View Kenneth Yrke Jørgensen’s full profile to...

  • See who you and Kenneth Yrke Jørgensen know in common
  • Get introduced to Kenneth Yrke Jørgensen
  • Contact Kenneth Yrke Jørgensen directly

View Full Profile

Name Search:

Search for people you know from over 150 million professionals already on LinkedIn.

Example: Jeff Weiner

Viewers of this profile also viewed...