I joined the chair for Dependable Systems and Software in April 2024 and am a PhD student of Prof. Holger Hermanns since then. My main research interest is in decision diagrams and their applications.


Year Publication
2024 Nils Husung, Clemens Dubslaff, Holger Hermanns & Maximilian A. Köhl
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust
TACAS 2024
Awarded as best software science paper by the European Association of Software Science and Technology (EASST)

Student TA

Winter 2022/23 Compiler Construction
Summer 2022 Concurrent Programming
Winter 2021/22 Foundations of Algorithms and Data Structures
Winter 2020/21 Programming 1
Summer 2020 Mathematical preparation course for the computer science freshmen
Winter 2019/20 Re-exam preparation course in Programming 1


Address Campus Saarbrücken, 66123 Saarbrücken
Location Building E1 3, Room 508
E-mail husung@cs.uni-saarland.de
PGP Fingerprint:
910F 4CB2 66D4 558F 0378 CEE3 E773 82D9 8967 AD9F
ORCiD 0009-0001-4375-3753