BARC welcomes Benjamin Bogø
BARC welcomes new PhD student Benjamin Bogø to the team
On December 1, 2024, Benjamin Bogø joined BARC as a PhD student under the supervision of Jakob Nordström. He will be a part of the MIAO-group where he will be working on Pseudo-boolean solving/optimization and eventually proof logging. He has a master degree in Computer Science and Engineering from Technical University of Denmark (DTU), mainly focusing on algorithms and formal methods. He has programming experience in implementing algorithms as well as developing graphical user interfaces. His main interest is to figure out how things works and optimize code.
In his spare time he likes to ride on his bike, work on his programming projects and spend time with his friends and family. He also likes to play (board) games that involves strategy.
