Frederik Baymler Mathiesen

PhD researcher in formal methods, control theory, and cyber-physical systems