Picture of Frederik Krogsdal Jacobsen

Frederik Krogsdal Jacobsen

I am a PhD student at DTU Compute since July 2021, working on User-Friendly Formal Methods, especially for distributed systems and using Isabelle/HOL.

My supervisor is Jørgen Villadsen, and my co-supervisor is Alceste Scalas. You can find more information, including a popular science abstract, on the department page about my project.

I am interested in formal methods for safety critical embedded systems and distributed systems. I am also interested in formal methods in the context of teaching.

I am currently working on:

Check out my GitHub page for more details.

Please see my profiles on ORCID or dblp for a (somewhat) up-to-date list of publications.


Note: open access versions of most of these articles are available through DTU Orbit.


Published formalizations




Teaching and supervision

If you are interested in writing your BSc or MSc thesis (or doing a special course) on a topic related to my interests, please feel free to contact me!

I have previously (co-)supervised the following student projects:

I have been a teaching assistant in the following courses at DTU:

Other stuff

I have worked professionally as a software developer since 2013, last at the Danish Cancer Society Research Center, where I worked until 2021 developing software for statistical cancer research.
Before that I worked with content management and pricing systems for travel products.

I am a member of the board of IDA Young Professionals, which supports engineers at the start of their careers by organizing talks, workshops and other events that provide useful skills.
I was a member of the board of DTU Climbing, one of the largest climbing clubs in Denmark, from 2022 to 2024.
I was a member of the board of the small non-profit internet service provider K-Net from 2017 to 2021. I was vice chairman of the board for most of that time. I also used to volunteer as a Network Operations Engineer in the K-Net Operations Group.

I helped start the Vermilion Racing team at DTU, where I designed safety critical electronics and software for their electric vehicle.


If you would like to see a more detailed resume, you can visit my LinkedIn page.

For inquiries relating to my job, please write me at fkjac@dtu.dk.
If you want to talk about something else, please write me at fkjacobsen@gmail.com.

You may be able to find me in my office:

Room 021
Building 322, Technical University of Denmark
2800 Kongens Lyngby, Denmark