cv
My (very short and still incomplete) resume.
Basics
Name | Jeremias Berg |
jeremiasberg@gmail.com | |
Phone | (+358) 50-5767581 |
Url | https://www.jeremiasberg.com |
Summary | A post doctoral researcher and university lecturer at the University of Helsinki |
Work
-
2022.09 - 2027.08 -
2021.09 - 2024.08 Postdoctoral Researcher
University of Helsinki
Funded under a postdoctoral grant from the Research Council of Finland.
- best paper at SAT 2023
- 2020 ACP doctoral research award
Volunteer
-
2023.09 - 2024.08
Education
-
2015.01 - 2018.06 Helsinki, Finland
Awards
- 2020
Doctoral Research Award
Association of Constraint Programming (ACP)
The ACP is the foremost international organization in the research field of constraint programming. The doctoral research award is given to one PhD thesis annually
Skills
Computer Science | |
Combinatorial Optimization | |
Constraint Optimization | |
Automated Reasoning | |
Maximum Satisfiability | |
Pseudo Boolean Optimization |
Languages
Finnish | |
Native speaker |
Swedish | |
Native speaker |
English | |
Fluent |
Interests
Climbing | |
Lead Climbing | |
Outdoor Climbing |
Frisbeegolf | |
70m drives |
References
Professor Peter Stuckey | |
Peter.Stuckeymonashedu |
Professor Jakob Nordström | |
jn at-sign di dot ku dot dk or |
Professor Matti Järvisalo | |
matti.jarvisalo[AT]helsinki.fi |
Projects
- 2021.09 - 2024.08
Next-Generation Combinatorial Optimization
Declarative methods for trustworthy optimiziation problems and AI
- Anytime Optimization
- Abstract Cores
- Proof-Loggning
- 2024.09 - 2028.08
Cracking the Crux of Combinatorial Optimizisation
Extending the reach of formal reasoning beyond mathematical problems
- PBO
- OMT
- Proof-Loggning