Federico Battista, Ph.D.

Postdoctoral Researcher at Lehigh University.

prof_pic.jpg

ISE Department

Mohler Laboratory, Room 478

200 W. Packer Ave.

Bethlehem, PA 18015-1582

Hello world! Welcome to my website, where you can explore everything about my research and projects.

My research revolves mainly around discrete optimization, encompassing both theoretical and computational aspects. My goal as a humble researcher is to bridge the gap between theory and computation by developing open-source software.

I hold a Ph.D in Operations Research from University of Rome Sapienza and an M.S. and B.S. in Computer Science from University of L’Aquila. Currently, I am part of the Computational Optimization Research at the COR@L group, Lehigh University.

Italian, born and raised. 🇮🇹

news

Jul 29, 2024 Our work entitled Application of the Lovász-Schrijver Operator to Compact Stable Set Integer Programs is available as a pre-print in arXiv.
Jul 21, 2024 Have a look at our recent work A Branch-and-Cut Algorithm for Mixed-Integer Bilevel Linear Optimization Based on Improving Directions presented at ISMP 2024 (PDF)
Mar 24, 2024 Our work entitled Dealing with inequality constraints in large-scale semidefinite relaxations for graph coloring and maximum clique problems has been published in 4OR - A Quarterly Journal of Operations Research.
Oct 15, 2023 Have a look at our recent work Exploiting Dual Functions in Mixed Integer Bilevel Linear Programs presented at INFORMS Annual Meeting 2023 (PDF)

selected publications

  1. 4OR
    Dealing with Inequality Constraints in Large-Scale Semidefinite Relaxations for Graph Coloring and Maximum Clique Problems
    Federico Battista, and Marianna De Santis
    4OR. A Quarterly Journal of Operations Research, 2024
  2. Work in progress
    A Branch-and-Cut Algorithm for Mixed-Integer Bilevel Linear Optimization Based on Improving Directions
    Federico Battista, and T. K. Ralphs
    Working paper, COR@L Laboratory, Lehigh University, 2024
  3. Preprint
    Application of the Lovász-Schrijver Operator to Compact Stable Set Integer Programs
    Federico BattistaFabrizio Rossi, and Stefano Smriglio
    arXiv preprint arXiv:2407.19290, 2024