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.
Publications
| 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 |
Contact
| Address | Campus Saarbrücken, 66123 Saarbrücken |
| Location | Building E1 3, Room 508 |
| husung@cs.uni-saarland.de PGP Fingerprint: 910F 4CB2 66D4 558F 0378 CEE3 E773 82D9 8967 AD9F |
|
| ORCiD | 0009-0001-4375-3753 |