SPLASH 2024 (series) / Anders Møller
Registered user since Thu 21 Aug 2014
Name:Anders Møller
Bio:
Professor at Department of Computer Science, Aarhus University. Co-founder at Coana.
Country:Denmark
Affiliation:Aarhus University
Personal website: https://cs.au.dk/~amoeller/
Research interests:static and dynamic program analysis
Contributions
2024
SPLASH
- Associate Chair in Review Committee within the OOPSLA 2024-track
- Steering Committee Member in Steering Committee
- Committee Member in Steering Committee within the Onward! Papers-track
- Session Chair of Static Analysis and Program Verification 2 (part of OOPSLA 2024)
- Committee Member in Onward! Steering Committee within the Onward! Essays-track
- Automated Verification of Parametric Channel-Based Process Communication
- Session Chair of Static Analysis and Program Verification 4 (part of OOPSLA 2024)
SPLASH 2024-profile
View general profile
View general profile