DEIS

DEIS News

Meet Frederik Meyer Bønneland – new Postdoctoral Researcher in the DEIS group

Meet Frederik Meyer Bønneland – new Postdoctoral Researcher in the DEIS group

Please welcome Frederik Meyer Bønneland who has joined the Department of Computer Science as a Postdoctoral Researcher in the DEIS group as of September 1, 2021.

Last modified: 22.11.2021

DESCRIBE YOUR RESEARCH AREA AND FOCUS

- I work primarily with finding new ways to improve the practicality of model checking using partial order reductions. Both by proving on a high level that the methods are correct with respect to preserving interesting properties, and developing efficient algorithms for instantiating the methods to more concrete settings.

PROJECTS YOU ARE INVOLVED IN?

- Right now I am looking into how partial order reductions can be used for quantitative systems. In the future, I hope to look into both refining previous work on timed systems and games and finding ways to combine these methods.

FUN AND OTHER FACTS?

I have a proficiency qualification in Japanese, but I am quite rusty (outside of reading) due to lack of practice. In recent years, I have gotten very into weight training. Other than that, I am a stereotypical geek of my age group, as I spend a lot of my free time with video games, comics, and animation.

CONTACT INFO

frederikb@cs.aau.dk

GOOGLE SCHOLAR PROFILE

Frederik Meyer Bønneland

Distributed, embedded and intelligent systems
Department of Computer Science, Aalborg University

Selma Lagerlöfs Vej 300  ・ 9220 Aalborg East, Denmark 
Telephone: +45 9940 9940  ・ Mail: info@cs.aau.dk ・Vacancies