Department of Computer Science
Personal Home page

Jeremias Berg

Missing
Picture by: Juha Forsberg

Contact Information

  • A323, Exactum, Pietari Kalmin katu 3, Kumpula Campus
  • +358 505767581 (office).
  • jeremias [dot] berg [at] cs.helsinki.fi

Affiliations

I am a graduate (PhD) student at the department of Computer Science at the University of Helsinki and a member of the Constraint Reasoning and Optimization Group. My research interests include Boolean Optimization and especially Maximum Satisfiability. I was born in 1989 in the city of Vaasa, and have lived in Finland all my life.

Professional Information

Education

  • Doctor of Philosophy, Computer Science, early 2018 (estimate), University of Helsinki.
    • Supervisor: Adjunct Professor Matti Järvisalo and Professor Petri Myllymäki
  • Master of Science, Applied Mathematics, 26.9.2014, University of Helsinki.
    • Master's Thesis: Cost Optimal Correlation Clustering via Partial Maximum Satisfiability
    • Supervisors: Adjunct Professor Matti Järvisalo and Professor Jukka Corander
  • Bachelor of Science, Mathematics, 22.03.2013

Publications

  • Minimum-Width Confidence Bands via Constraint Optimization. Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, and Kai Puolamäki. In J. Christopher Beck, editor, Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), volume 10416 of Lecture Notes in Computer Science, pages 443-459. Springer, 2017.
  • Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. Jeremias Berg and Matti Järvisalo. In J. Christopher Beck, editor, Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), volume 10416 of Lecture Notes in Computer Science, pages 652-670. Springer, 2017.
  • MaxPre: An Extended MaxSAT Preprocessor. Tuukka Korhonen, Jeremias Berg, Paul Saikko, and Matti Järvisalo. In Serge Gaspers and Toby Walsh, editors, Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), volume 10491 of Lecture Notes in Computer Science, pages 449-456. Springer, 2017.
  • Subsumed Label Elimination for Maximum Satisfiability. Jeremias Berg, Paul Saikko, and Matti Järvisalo. In Gal A. Kamink, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum and Frank van Harmelen, editors, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 630-638. IOS Press, 2016.
  • Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. Jeremias Berg and Matti Järvisalo. In Michael Rueher, editor, Proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), volume 9892 of Lecture Notes in Computer Science, pages 66-85. Springer, 2016.
  • LMHS: A SAT-IP Hybrid MaxSAT Solver. Paul Saikko, Jeremias Berg, and Matti Järvisalo. In Nadia Greignou and Daniel Le Berre, editors, Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), volume 9710 of Lecture Notes in Computer Science, pages 539-546. Springer, 2016
  • Cost-Optimal Constrained Correlation Clustering via Weighted Partial Maximum Satisfiability. Jeremias Berg and Matti Järvisalo. Artificial Intelligence, 244, March 2017.
  • Re-using Auxiliary Variables for MaxSAT Preprocessing. Jeremias Berg, Paul Saikko, and Matti Järvisalo. Proceedings of the IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI 2015), pages 813-820. IEEE Computer Society, 2015.
  • Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. Jeremias Berg, Paul Saikko, and Matti Järvisalo. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 239-245. AAAI Press, 2015.
  • SAT-Based Approaches to Treewidth Computation: An Evaluation. Jeremias Berg and Matti Järvisalo. Proceedings of the 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), pages 328-225. IEEE Computer Society, 2014.
  • Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, and Samuel Kaski. In Carla E. Brodley and Peter Stone, editors, Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pages 1694-1700. AAAI Press, 2014.
  • Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. Jeremias Berg, Matti Järvisalo, and Brandon Malone. In Jukka Corander and Samuel Kaski, editors, Proceedings of the 17th International Conference on Artificial Intelligence and Statistics (AISTATS 2014), volume 33 of JMLR Workshop and Conference Proceedings, pages 86-95. JMLR, 2014.
  • Optimal Correlation Clustering via MaxSAT. Jeremias Berg and Matti Järvisalo. In Wei Ding, Takashi Washio, Hui Xiong, George Karypis, Bhavani M. Thuraisingham, Diane J. Cook and Xindong Wu, editors, Proceedings of the 2013 IEEE 13th International Conference on Data Mining Workshops (ICDMW 2013), pages 750--757, IEEE Computer Society, 2013.

Software Developed

  • LMHS a MaxSAT solver develped in our group. I have contributed with algorithmic ideas to the solver, see especially the IJCAI 2015 publication.
  • MaxPre an extended MaxSAT preprocessor develped in our group. I have contributed mainly by developing some of the techniques implemented in the system as well as testing it. See especially, the ECAI 2016 and SAT 2017 publications.

    Presentations Given

    • Two Oral Presentations at the 23rd International Conference on Principles and Practice of Constraint Programming (CP), Melbourne, Australia, August 2017
    • Oral Presentation at the 22nd International Conference on Principles and Practice of Constraint Programming (CP), Tolouse, France, August 2016
    • Oral Presentation at the 22nd European Conference on Artificial Intelligence (ECAI), The Hague, The Netherlands, August 2016
    • Oral Presentation at the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), Bordeaux, France, July 2016
    • Oral Presentation at the 27th International Conference on Tools with Artificial Intelligence (ICTAI), Vietri Sul Mare, Italy, November 2015
    • Oral Presentation and Poster at the 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, July 2015
    • Poster Presentation at the Machine Learning Summer School (MLSS), Tubingen, Germany, July 2015
    • Oral Presentation at 26th International Conference on Tools with Artificial Intelligence (ICTAI), Limassol, Cyprus, November 2014
    • Oral Presentation and Poster at the Doctoral Program of the The 20th International Conference on Principles and Practice of Constraint Programming (CP), Lyon, France, September 2014
    • Oral Presentation at the 21st RCRA International Workshop on “Experimental Evaluation of Algorithms for solving problems with combinatorial explosion” (RCRA), Vienna, Austria, July 2014
    • Poster Presentation at the 17th International Conference on Artificial Intelligence and Statistics (AISTATS), Reykjavik, Iceland, April 2014
    • Oral Presentation at the 13th International Conference on Data Mining Workshops (ICDMW), Dallas, TX, USA, December 2013

    Teaching

    • Supervisor, a Bachelor's Thesis on the ProbCut algorithm during the spring of 2015, The University of Helsinki.
    • Course Assistant, Masters level courses in Mathematics and Computer Science, The Department of Mathematics and Statistis and The Department of Computer Science, The University of Helsinki.
      • Courses: Real Analysis 1, Satisfiability, Boolean Modeling and Computation
      • Courses took place during the Spring of 2015
    • Course Assistant, Complementary Education for Mathematics Teachers, Gymnasiet Svenska Normallyceum, Centre for Lifelong Learning at Åbo Akademi University
      • Courses: Basic Course in Analysis, Basic Course in Propability, Analysis 1 and Multivariate Analysis.
      • The Principal Lecturer of the program (during the time I worked on it): Dr. Mikael Kurula
      • Courses took place during 2013 and 2014.
    • Course Assistant, Bachelor level courses in Mathematics, The Department of Mathematics and Statistics, The University Helsinki.
      • Courses: Differential Equations, Basic Calculus, Linear Algebra, Basic Probability, Logic and Algebra
      • Courses took place between 2011 and 2012.
    • Course Lecturer, Introduction to Discrete Mathematics, The Department of Mathematics and Statistics, The University of Helsinki, 2011.

    Awarded Grants

    • Travel Grant awarded by the SAT Association to attend The 20th International Conference on Theory and Applications of Satisfiability Testing, 2017
    • Travel Grant awarded by the Association for Constraint Programming to attend The 23th International Conference on Principles and Practice of Constraint Programming, 2017
    • Travel Grant awarded by the Association for Constraint Programming to attend The 22th International Conference on Principles and Practice of Constraint Programming, 2016
    • Travel Grant awarded by The IJCAI Travel Grant Program to attend the 24th International Joint Conference on Artificial Intelligence (IJCAI), 2015
    • Grant for doctoral studies, Emil Aaltonen Foundation, 2015
    • Funded graduate school position for 2014-2018, Doctoral Programme in Computer Science (DoCS)
    • Travel Grant awarded by the Federated Logic Conference FLoC to attend, FLoC Vienna Summer of Logic, 2014
    • Travel Grant awarded by the Association for Constraint Programming to attend The 20th International Conference on Principles and Practice of Constraint Programming, 2014

    Personal Information

    Missing Missing
    Picture by: Hannele Salonen-Kvarnström (upper), Juha Forsberg (lower).

    I used to play electric guitar in a band called Six Minutes. Check us out at: SoundCloud or Bandcamp.

  • jeremias [dot] berg [at] cs.helsinki.fi