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