Research

I am interested in many different areas of theoretical computer science and discrete mathematics. Currently I am focusing on computer-based proofs for problems in combinatorics and discrete geometry. I also like to solve them in more mathematical ways.

I have also worked on Boolean functions and knowledge compilation, online algorithms and approximation algorithms.

Papers

2024

Star-Forest Decompositions of Complete Graphs, with Todor Antić and Milan Milivojčević, IWOCA 2024

Preprints

Reconfigurations of Plane Caterpillars and Paths, with Todor Antić and Guillermo Gamboa Quintero, arXiv
Boolean Nearest Neighbor Language in the Knowledge Compilation Map, with Ondřej Čepek, arXiv, Master thesis

Talks

2024

Star-Forest Decompositions of Complete (Geometric) Graphs, REU workshop, Prague, July 2024
Non-standard representations of Boolean functions for knowledge representation, Spring School of AI, Krkonoše, April 2024

Page updated

Google Sites

Report abuse