PhD Students

Graduated PhD Students

Andrej Kiviriga 2019 – 2023, co-supervisor. Main supervisor: Kim G. Larsen

• Thesis: Efficient Model Checking: The Power of Randomness
• Google Scholar, LinkedIn

Previous PhD Students

Martin Kristjansen 2018 – 2022, Main supervisor, co-supervisor: Brian Nielsen.

• Still pursuing a PhD with different supervisors: Peter Gjøl Jensen and Kim G. Larsen
• Google Scholar, LinkedIn