Project group, Paderborn University, Department of Computer Science
WS 24/25 – SS 25
Year-long project group (WS 24/25 – SS 25) in which Master’s students developed a SonarQube plugin for detecting security vulnerabilities in AI-enabled software systems. The group produced the SecAI plugin, integrating static analysis with LLM-assisted repair suggestions.
Bachelor's course, Paderborn University, Department of Computer Science
SS 2020
Undergraduate course on secure software development practices. Topics include threat modeling, secure coding guidelines, cryptographic APIs, static analysis for security, and common vulnerability classes (OWASP Top 10).
Bachelor's practical course, Paderborn University, Department of Computer Science
WS 21/22, 22/23
Undergraduate practical course in which student teams develop a software project over one semester applying software engineering methods including requirements engineering, design, testing, and agile practices.
Master's course, Paderborn University, Department of Computer Science
WS 19/20, 20/21, 21/22, 23/24, 24/25
Graduate course covering the design and implementation of static program analyses for large-scale software systems. Topics include data-flow analysis, pointer analysis, taint analysis, and the use of frameworks such as Soot and WALA.