Registered user since Thu 13 Apr 2023
Name:Adam Rogalewicz
Country:Czechia
Affiliation:Brno University of Technology, Czechia
Personal website: https://www.fit.vut.cz/person/rogalew/
Research interests:Program analysis, automated testing, Separation logic
Contributions
POPL 2025-profile
View general profile
View general profile