conf.researchr.org / Adam Rogalewicz
![Adam Rogalewicz](https://conf.researchr.org/getProfileImage/adamrogalewicz1/8432327b-21be-45a8-968f-00a7ee799084/small.jpg?1711691975000)
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