My name is Lluís Miquel Munguía, a fifth year PhD student in Computational Science and Engineering under the supervision of Prof. David A. Bader. My main research lies at the intersection of High Performance Computing and Optimization. I have a passion for applying HPC to large-scale complex computational problems. Aiming to research and engineer scalable parallel algorithms for graph and data analytics, mathematical optimization, and machine learning. My other interests include Computer Architectures, Parallel Computing, and HPC software.

About me

In 2012, I obtained my B.Sc and M.Sc in Computer Engineering (Enginyeria Informàtica Superior) from the Barcelona School of Informatics (FIB), Universitat Politècnica de Catalunya. While pursuing my studies in Barcelona, I worked with Prof. Ernest Teniente in the development of automatic reasoning tools for validating UML Software Engineering schemas.

I started at Georgia Tech in the Fall of 2011 as an exchange student. My early research under the supervision of Prof. David A. Bader focused on parallel graph algorithms and their performance on HPC architectures. During my stay, I also collaborated with Prof. Frank Dellaert on Computer Vision applications for mobile platforms.

Currently, I am a CSE PhD student in the HPC lab under the supervision of Prof. David A. Bader. In a joint collaboration with Profs. George Nemhauser and Shabbir Ahmed, my latest work focuses on the application of HPC algorithms to speed up the solving of Discrete Optimization and Stochastic Integer Optimization problems.

Personal info

I was born in Girona, Catalonia in 1989. I have always been interested in computers and electronics. My other passions include photography (digital and film), modern history, travelling, cooking, and football. You may check out my fotography portfolio at 500px and instagram .


L.M. Munguia, S. Ahmed, D.A. Bader, G. L. Nemhauser, Y. Shao, "Alternating Criteria Search: A Parallel Large Neighborhood Search Algorithm for Mixed Integer Programs" , Computational Optimization and Applications, 2017

L.M. Munguia, S. Ahmed, D.A. Bader, G. L. Nemhauser, Y. Shao, V. Goel, "A Parallel Local Search Framework for the Fixed-Charge Multicommodity Network Flow Problem" , Computers & Operations Research, 2016

L.M. Munguia, G. Oxberry, and D. Rajan, "PIPS-SBB: A parallel distributed-memory branch-and-bound algorithm for stochastic mixed-integer programs" , IEEE Workshop on Parallel Computing and Optimization, IPDPS, Chicago, 2016

O. Green, P. Yalamanchili, and L.M. Munguia, "Fast triangle counting on the GPU", ACM Workshop on Irregular Applications: Architectures and Algorithms (IA3), SC, New Orleans, 2014

O. Green, L.M. Munguia, D. A. Bader, "Load Balanced Clustering Coefficients", ACM Workshop on Parallel Programming for Analytics Applications (PPAA), PPoPP, Orlando, Florida, 2014

L.M. Munguia, D. A. Bader, E. Ayguade, "Task-based Parallel Breadth-First Search in Heterogeneous Environments", HiPC 2012


Here is a selection of my projects, which encompass a wide variety of my research interests:

Parallel Alternating Criteria Search


Parallel Alternating Criteria Search is a scalable parallel distributed-memory heuristic designed to find high quality solutions to any generic Mixed-Integer Program (MIP) PIPS-PSBB is a fully fledged parallel MIP solver for two-stage Stochastic Mixed-Integer Programs (SMIPs). It features two levels of nested parallelism, not only at branch-and-bound level but also in the LP relaxation. It also is implemented with data parallelism, allowing it to handle extremely large SMIP instances

Refocusing for iOS AuRUS

The Refocusing app allows you to combine multiple images in one “large aperture” image in which you can choose which part of the scene is in focus, giving your iPhone camera SLR-like powers. AuRUS is a tool for the verification and validation of UML/OCL conceptual schemas. More specifically, it allows the user to check if a certain schema fulfills various predefined properties such as the non-redundancy of integrity constraints or the existence of a primary key for a certain class. Moreover, the user can define his own state-reachability tests.


Lluis Miquel Munguia
Klaus Advanced Computing Building
Room 1343
Georgia Institute of Technology
266 Ferst Drive
Atlanta, GA 30332
Email Google Scholar profile LinkedIn profile Bitbucket profile