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
- 2018.01 - 2018.01
Next-Generation Combinatorial Optimization
Quantum computing is the use of quantum-mechanical phenomena such as superposition and entanglement to perform computation. Computers that perform quantum computations are known as quantum computers.
- Quantum Teleportation
- Quantum Cryptography