Wolfgang Ahrendt

Wolfgang Ahrendt is a Professor at the Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg. His research focuses on formal methods, software verification, and automated deduction, particularly for Java and smart contracts. He has led major projects like the KeY verification system and contributed to bridging AI with formal verification.

• Education Roles: Vice-head of Department for PhD Education (2023), Director of PhD Studies (2016-2023), Head of IT and Computer Science Programs (2005-2015).
• Community Work: Chair of iFM Steering Board, PC co-Chair for TAP 2020 and iFM 2019, Conference Chair for CADE-26 (2017), and member of AAR and CADE secretariats.

His research interests span formal verification, symbolic execution, runtime verification, and smart contract security. He has pioneered the integration of static and runtime verification through tools like KeY and StaRVOOrS. Recent work explores AI-assisted programming and hybrid verification frameworks.

Publications highlight his focus on smart contract analysis, differential dynamic logic for autonomous systems, and advancements in the KeY system. His edited works include Deductive Software Verification - The KeY Book and proceedings for TAP, iFM, and ISoLA conferences.

As a teacher, he coordinates courses on formal methods, verification techniques, and Java modeling. His lab assignments emphasize hands-on experience with tools like SPIN and KeY, fostering practical understanding of verification workflows.