Jeremias Berg (Preferred)
Jeremias Berg
Principal Researcher, Department of Computer Science, University of Helsinki
- Joined February 2024
Names
Emails
****@helsinki.fi (Confirmed)
, ****@gmail.com
Personal Links
Career & Education History
Principal Researcher
Department of Computer Science, University of Helsinki (helsinki.fi)
2024 – 2028
Postdoc
Department of Computer Science, University of Helsinki (helsinki.fi)
2018 – 2024
PhD student
Department of Computer Science, University of Helsinki (helsinki.fi)
2015 – 2018
Advisors, Relations & Conflicts
Expertise
Pseudo-Boolean Optimization
2019 – 2024
Combinatorial Optimization
2015 – 2024
Constraint Optimization
2015 – 2024
Maximum Satisfiability
2015 – 2024
proof logging
2015 – 2024