Mateus De Oliveira Oliveira is an Associate Professor in the Department of Informatics at the University of Bergen. His research focuses on theoretical computer science, automated theorem proving, parameterized complexity, formal verification, graph theory, and computational logic. His work spans algorithm design for constraint satisfaction problems, automated reasoning systems, and formal verification techniques. Notable contributions include advancements in width-based automated theorem proving, Petri net synthesis, and parameterized complexity analysis for graph algorithms. He leads the Autoproving project funded by the Research Council of Norway, exploring automated theorem proving through parameterized complexity theory. Recent publications highlight developments in symbolic functional decomposition, state canonization for theorem proving, and optimal dynamic programming algorithms. His research bridges foundational theory with practical applications in automated systems and formal methods.








