Jaroslav Bendik

Postdoctoral Fellow, National University of Singapore
Visiting Postdoc
Dates of Visit: Jan. 12May 14, 2021

Jaroslav Bendik is a Research Fellow at the School of Computing of the National University of Singapore. His research interests are at the intersection of formal methods and constraint processing. His dissertation thesis focused on analyzing infeasible constraint systems such as unsatisfiable Boolean formulae or inconsistent sets of software requirements.

Program Visits