Interests
- Parameterized verification of concurrent and distributed systems.
- Safety verification of Neural Networks.
- Timing Side-Channel attacks.
- Verification of cache coherence protocols, memory consistency.
- Verification of string manipulating programs.
Publications
A list of publications is available via Google Scholar and DBLP.
Students
Current students:
- Jonathan Hjort. Main advisor. Extending verification of DRLs for embedded systems.
- Anahita Baninajjar. Secondary advisor. Verification friendly methods and neural networks.
- Ayla Babazade. Secondary advisor. Design and Optimization of Time-Sensitive Networks.
Previous students:
- Adrian Horga. Performance and Security Analysis for GPU-Based Applications. Graduated 2022. Secondary advisor. Now at Combitech.
- Zeinab Ganjei. Parameterized Verification of Synchronized Concurrent Programs. Graduated 2021. Main advisor. Now at Ericsson.
- Yunyun Zhu. Caches, Transactions and Memories: Models, Coherence and Consistency. Graduated 2018. Seconday advisor. Now at Scania.