haroldo@web PERSONAL DESKTOP 01 GitHub
Research — Haroldo

FROM MY ACADEMIC WORK

Research

Fast, exact, and heuristic methods for combinatorial optimization: from general integer programming models to practical scheduling problems.

01

Integer & binary programming

Many hard discrete problems can be expressed through integer variables, linear constraints, and an objective function. My work has explored preprocessing, conflict graphs, cutting planes, and heuristics for solving these models more effectively.

Open-source solvers make these techniques available to a much wider community. Two projects connected to my work are COIN-OR Cbc and Python-MIP.

02

Timetabling

Educational timetabling assigns events to timeslots while respecting the availability of teachers, classes, and other resources. The challenge is to avoid conflicts and produce useful schedules.

Our team's GOAL solver won the Third International Timetabling Competition (ITC 2011).

Example of an educational timetable, with events arranged in a weekly grid
A small view of a highly constrained scheduling problem.
About the GOAL solver →
03

Project scheduling

Jobs compete for limited resources and follow precedence constraints: some activities cannot begin until others finish. Finding an efficient schedule requires handling both constraints together.

Our team placed third in the MISTA 2013 challenge on multi-mode resource-constrained multi-project scheduling.

Project scheduling example showing activities and resource allocation
Allocating limited resources across interdependent activities.
~/ researchWindow Maker inspired