Projects

Optimization work, most of it open source. The demos compute their results live — nothing on this site is a recording.

Interactive demos

These run in your browser. The solver is part of the page.

Robust optimization

SIROM

A sampling-based method that hands you a Pareto frontier of robust solutions and lets you choose the trade-off after seeing the options, instead of committing to an uncertainty budget before you know what it costs.

Bandwidth Packing cases matched or beaten: 92.5%

  • Python
  • OR-Tools
  • scikit-learn
  • NumPy

Robust optimization

Hardness

A continuous, normalized robustness measure for optimization under interval uncertainty — one number in [0,1] that ranks feasible solutions by how well they resist the uncertainty around them, with an exact closed form and a Monte-Carlo estimator that agree.

Measure range: η ∈ [0, 1], continuous

  • Python
  • Agda
  • FastAPI
  • NumPy

Metaheuristics

Anatomy of a Failed Anneal

A public repository of mine contains 201 committed simulated-annealing runs, every one of them infeasible. This takes the failure apart, isolates its three causes, and reaches a few percent of the proven optimum in milliseconds.

Committed runs: 201

  • Python
  • NumPy

Case studies

Work worth reading about, without a live version.

Constraint programming

The N=32 Wall

A verified database of Costas arrays for orders 2–100, algebraic generators built over finite fields, and CP/SAT/LP experiments against the smallest orders where nobody has ever found one — or proved none exists.

Arrays verified on every CI run: 9,217

  • Python
  • C++
  • OR-Tools
  • kissat