Research topics
- Combinatorial optimization, Operational research
- Graph theory, perfect graphs
- Algorithmic complexity
- Mathematical programming
- Approximation
- Partial path covering
- Minimum partial multicut
- Minimum disjoint paths blocker
- Graph-Coloring-based register allocation
- Coalescing
- Live-Range splitting
- Formal verification
- Formal verification of operational research algorithms
- Development of specification helpful tools for combinatorial optimization research