Jeremias Berg
Postdoctoral Researcher,
University of Helsinki
Jeremias Berg is currently a postdoctoral researcher and university lecturer at the University of Helsinki. He obtained his PhD in computer science in 2018 under the supervision of Professor Matti Järvisalo.
His research focuses on developing effective algorithms based automated reasoning for solving instances of NP-hard optimisation problems encountered in real-world domains.