Leading and developing certification tools for HomeKit accessories
Apple Operations Europe
Developing, arcitechturing and running several applications supporting Apples ecosystem certification programs.
Software Systems Engineer/Team Lead
Aalborg University - Department of Computer Science
I was a Ph.D. fellow in the Embedded and Distributed Systems group. In my Ph.D., I am making formal verification more applicable in modern software development processes. Many of the existing formalisms are not expressive enough to model modern software systems. I am working towards extending this expressiveness while preserving the possibility of using the models for model checking. My main focus is on systems developed in software product lines and on systems based on asynchronously communicating components. My thesis is based on publications [0-4], and can be found on github.com/mikaelhm/phd.
Founder (Web Consultant/System admin)
Mikael Harkjær Møller
I am running my own small web-consultancy bureau. The majority of the projects have revolved around customized Wordpress-based websites. However, I am also developing more involved and custom solutions, like a monitoring system for a holiday house and a heating control system for a minor factory.
Co-Founder (System Administrator)
Urhost is a small web-hosting company that I founded with a phd-colleague. Urhost specializes in dedicated Typo3 and Wordpress solutions.
Aalborg University - 2013
Ph.D. Degree from Computer Science and Engineering
Aalborg University - 2010
Master of Science in Computer Science (Cum Laude)
Aalborg University - 2008
Bachelor of Science in Computer Science and Mathematics
Ruby on Rails, HAML, Node.js, Chef, JSON, XML, MySQL, Nginx, Git, Web Services, Docker, LaTeX