My central research interest is Constraint Programming and within it my speciality is constraint-based scheduling:propagation/filtering algorithms for scheduling resource constraints, search algorithms, optional activities etc.
Since 2006 I'm one of the developpers of CP Optimizer, the CP engine of CPLEX Optimization Studio. I developped a number of algorithms in CP Optimizer including propagation of disjunctive and cumulative resource constraints, search strategies such as Failure-Directed Search or many presolve transformations. I'm also the principal developper of CP Optimizer file format.
Current and Prior Positions
IBM Czech Republic spol. s r.o.
Research & Development
7/2009 - Present