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. My supervisor is Jørgen Villadsen, and my co-supervisor is Alceste Scalas. You can find more information, including a popular science abstract, about my project on the department page about it.

I am interested in formal methods, especially for safety critical embedded systems and distributed systems. This interest includes both hardware and software systems, especially if the systems also have hard real-time targets.
In the last few years I have been primarily interested in type systems, formal logic, and program analysis.

I hold a Master of Science degree from the Honors Programme in Computer Science and Engineering at the Technical University of Denmark, which I obtained in the summer of 2021. My MSc thesis was on the development of an automated theorem prover for first-order logic in the SeCaV system. It can be downloaded from the Technical Information Center of Denmark at no cost.

I hold a BSc degree in Electrical Engineering from DTU, which I obtained in the summer of 2019. While studying for this degree I spent a semester at Nanyang Technological University in Singapore (in 2018).
My BSc thesis was on porting the formally verified CompCert compiler to the time-predictable Patmos architecture. It can be downloaded from the Technical Information Center of Denmark at no cost.

Publications

Please see my ORCID page for a (mostly) up-to-date list of publications.

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 was for a long time a member of the board of the small internet service provider K-Net. I was vice chairman of the board for a few years. I also used to volunteer in the K-Net Operations Group.

I once volunteered at the Vermilion Racing team at DTU, where I designed safety critical electronics in collaboration with a number of other people, but unfortunately I don't have the time any more.

I have been (or currently am) a teaching assistant in the following courses at DTU:
Fall 2017:
01005 - Advanced Engineering Mathematics 1
Fall 2019:
31300 - Linear control design 1
31302 - Linear control design 1
Spring 2020:
02102 - Introductory Programming (in Java and C)
Fall 2020:
02101 - Introductory Programming (in Java)
02156 - Logical Systems and Logic Programming (in Prolog and Isabelle)
Spring 2021:
02102 - Introductory Programming (in Java and C)
Fall 2021:
02156 - Logical Systems and Logic Programming (in Prolog and Isabelle)
Spring 2022:
02102 - Introductory Programming (in Java and C)
02256 - Automated Reasoning (using Isabelle)

Contact

If you would like to see a more detailed resume, you can visit my LinkedIn page.
If you would like to check out what I am working on, you can visit my GitHub 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:
Room 021
Building 322, Technical University of Denmark
2800 Kongens Lyngby, Denmark