Picture of Frederik Krogsdal Jacobsen

Frederik Krogsdal Jacobsen

I work at Criipto, where I develop privacy-preserving digital identity verification. This is useful for things such as fraud prevention and anti-money laundering. Mainly, it is useful for ordinary people who don't want to reveal all of their personal information whenever they need to prove that they are old enough to buy a beer.

I am also interested in formal methods for logic and distributed systems and in the context of teaching. In particular, I am interested in proof assistants (interactive theorem provers) and model checking. I have done a lot of research on these topics in the past (see below), but for now I have little time for it. If you are a student interested in writing your thesis on these topics, please feel free to contact me and we might be able to work something out!

I was a PhD student at DTU Compute from July 2021 to June 2024, working on User-Friendly Formal Methods, especially for distributed systems and using Isabelle/HOL. My supervisor was Jørgen Villadsen, and my co-supervisor was Alceste Scalas.

Check out my GitHub page to see what I might be up to.

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

Talks

Software

Articles

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

Abstracts

Published formalizations

Theses

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.

Contact

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

If you want to talk, you can write me at fkjacobsen@gmail.com. I usually respond pretty quickly. If I don't, feel free to follow-up after a few days.