David E. Bernal Neira joined the Quantum Artificial Intelligence Laboratory (QuAIL) at the NASA Ames Research Center under the NASA Academic Mission Service contract in July 2021. He was part of the Feynman Quantum Academy Fellowship from QuAIL and the Universities Space Research Association (USRA) in 2019. He received his Ph.D. in Chemical Engineering from Carnegie Mellon University with Ignacio E. Grossmann. Before that, he received a M.Sc. in Chemical Engineering, and a B.Sc. in Physics and a B.Sc. in Chemical Engineering from the Universidad de los Andes in Bogotá, Colombia. His current research lies at the intersection of chemical and process systems engineering, optimization methods, and quantum computing.

Mathematical optimization, nonlinear discrete optimization, process systems engineering, chemical engineering, quantum computing.

- Kronqvist, J.,
**Bernal**, D.E., Lundell, A., & Grossmann, I. E., A review and comparison of solvers for convex Mixed-Integer Nonlinear Programming (MINLP). Optimization and Engineering, 20(2), 397-455, 2019. -
**Bernal, D.E.**, Vigerske, S., Trespalacios, F., & Grossmann, I. E., Improving the performance of DICOPT in convex MINLP problems using a feasibility pump. Optimization Methods and Software, 35(1), 171-190, 2020. - Su, L., Tang, L.,
**Bernal, D.E.**, & Grossmann, I. E., Improved quadratic cuts for convex mixed-integer nonlinear programs. Computers & Chemical Engineering, 109, 77-95, 2018. - Kronqvist, J.,
**Bernal, D.E.**, & Grossmann, I. E., Using regularization and second order information in outer approximation for convex MINLP. Mathematical Programming, 180(1), 285-310, 2020. - Lara, C. L.,
**Bernal, D.E.**, Li, C., & Grossmann, I. E., Global optimization algorithm for multi-period design and planning of centralized and distributed manufacturing networks. Computers & Chemical Engineering, 127, 295-310, 2019. -
**Bernal, D.E.**, Carrillo-Diaz, C., Gómez, J. M., & Ricardez-Sandoval, L. A., Simultaneous design and control of catalytic distillation columns using comprehensive rigorous dynamic models. Industrial & Engineering Chemistry Research, 57(7), 2587-2608, 2018.

- Harwood, S., Gambella, C., Trenev, D., Simonetto, A.,
**Bernal, D.E.**, & Greenberg, D., Formulating and solving routing problems on quantum computers. IEEE Transactions on Quantum Engineering, 2, 1-17, in press, 2021. - Quintero, R.,
**Bernal, D.E.**, Terlaky, T., & Zuluaga, L. F., Characterization of Quadratic Unconstrained Binary Optimization (QUBO) reformulations for the maximum k-colorable subgraph problem. arXiv preprint arXiv:2101.09462, 2021. -
**Bernal, D.E.**, Booth, K.E.C., Dridi, R., Alghassi, H., Tayur, S., & Venturelli, D.,Integer programming techniques for minor-embedding in quantum annealers, Proceedings of the Seventeenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR2020), in press, 2020.

David Bernal Neira

Research Scientist

david.e.bernalneira@nasa.gov