معرفی
Jana Wagemaker is an Assistant Professor at Radboud University in Nijmegen, affiliated with the Software Science Group since July 2024. Previously, she was a postdoc at Reykjavik University collaborating with Antonis Achilleos and Luca Aceto. She earned her PhD at Radboud University under Jurriaan Rot and Alexandra Silva, defending her thesis titled Extensions of (Concurrent) Kleene Algebra in October 2022.
- Education: PhD in Computer Science (Radboud University, 2022)
Her research focuses on formal methods for program analysis, using algebraic frameworks like Kleene algebra to provide mathematical guarantees about software behavior. She explores modular specification language development and the logical foundations of monitorability in runtime verification, emphasizing correctness proofs, decidability, and behavioral guarantees.
- Key Research Areas: Formal Methods, Program Analysis, Kleene Algebra, Runtime Verification, Automated Reasoning
