Download Andre Augusto Cire

Andre Augusto Cire
February, 2015
Contact Information
Department of Management
University of Toronto Scarborough
1265 Military Trail, Toronto ON M1C-1A4, Canada
Office: +1 (416) 208-4838
[email protected]
Professional Appointments
• Assistant Professor (tenure-track)
Department of Management, University of Toronto Scarborough
Rotman School of Management (Cross-appointment)
7/2014 - present.
Education
• Ph.D., Operations Research, Carnegie Mellon University, August 2014
Dissertation Title: Decision Diagrams for Optimization
Advisors: Dr. Willem-Jan van Hoeve and Dr. John Hooker
• M.Sc., Operations Research, Carnegie Mellon University, August 2011
• M.Sc., Computer Science, University of Campinas (UNICAMP), Brazil, June 2009
Advisors: Dr. Arnaldo Moura and Dr. Cid C. de Souza
• B.Sc., Computer Science, University of Campinas (UNICAMP), Brazil, December 2006
Research Interests
Discrete optimization, scheduling and routing applications, integration of optimization techniques, constraint
programming, integer programming
Awards and Honors
• UTSC Research Competitiveness Fund
University of Toronto Scarborough, 2014.
• 2014 INFORMS Computing Society Student Paper Award
INFORMS Computing Society, USA, 2014.
• Egon Balas Award, Best Student Paper in Operations Research
Carnegie Mellon University, 2011.
• Best Paper Award, Applications Track
The 14th International Conference on Principles and Practice of Constraint Programming, 2008.
Paper title: Planning and Scheduling the Operation of a Very Large Oil Pipeline Network
• Latin American Master’s Thesis Contest in Informatics, Second Place
Latin American Center for Informatics Studies, 2009.
• William L. Mellon Fellowship, Carnegie Mellon University, 2009-2011.
• Scientific Initiation Prize, First Place
Brazilian Operational Research Society, 2005.
Andre Augusto Cire
Page 1 of 4
Publications
In Process
• D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Discrete Optimization with Decision
Diagrams. INFORMS Journal on Computing, to appear.
• D. Bergman, A. A. Cire, and W.-J. van Hoeve. Lagrangian Bounds from Decision Diagrams.
Constraints, to appear.
Journal Articles
• D. Bergman, A. A. Cire, and W.-J. van Hoeve. MDD Propagation for Sequence Constraints.
JAIR, Volume 50, pages 697-722, 2014.
• D. Bergman, A. A. Cire, W.-J. van Hoeve, and T. Yunes. BDD-Based Heuristics for Binary
Optimization. Journal of Heuristics, 20(2): 211-234, 2014.
• A. A. Cire and W.-J. van Hoeve. Multivalued Decision Diagrams for Sequencing Problems.
Operations Research 61(6): 1411-1428, 2013.
• D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Optimization Bounds from Binary
Decision Diagrams. INFORMS Journal on Computing 26(2): 253-258, 2014.
• T. Lopes, A. Moura, C. de Souza, and A. A. Cire. Planning the Operation of a Large Real-World
Oil Pipeline. Computers & Chemical Engineering, Volume 46, 2012, pp. 17-28.
• T. Lopes, A. A. Cire, C. de Souza, and A. Moura. A Hybrid Model for a Multiproduct Pipeline
Planning and Scheduling Problem. Constraints 15(2): 151-189, 2010.
Peer-reviewed Conference Proceedings
• A. A. Cire, S. Kadioglu, and M. Sellmann. Parallel Restarted Search. In AAAI 2014 : 842-848.
• David Bergman, A. A. Cire, A. Sabharwal, H. Samulowitz, V. A.Saraswat, and W.-J. van Hoeve.
Parallel Combinatorial Optimization with Decision Diagrams. In CPAIOR’14: Proceedings
of the International Conference on Integration of AI and OR Techniques in Constraint Programming,
LNCS 8451, pp. 351-367. Springer, 2014.
• A. A. Cire, E. Coban, and J. N. Hooker. Mixed Integer Programming vs Logic-based Benders
Decomposition for Planning and Scheduling. In CPAIOR’13: Proceedings of the International
Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS 7874, pp.
325-331. Springer, 2013.
• A. A. Cire and W.-J. van Hoeve. MDD Propagation for Disjunctive Scheduling. In ICAPS’12:
Proceedings of the International Conference on Automated Planning and Scheduling, pp. 11-19. AAAI
Press, 2012.
• D. Bergman, A. A. Cire, W.-J. van Hoeve, and J. N. Hooker. Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. In CPAIOR’12: Proceedings of the
International Conference on Integration of AI and OR Techniques in Constraint Programming, LNCS
7298, pp. 34-49. Springer, 2012.
• A. A. Cire, E. Coban, and W.-J. van Hoeve. Flow-Based Combinatorial Chance Constraints.
In CPAIOR’12: Proceedings of the International Conference on Integration of AI and OR Techniques
in Constraint Programming, LNCS 7298, pp. 129-145. Springer, 2012.
Andre Augusto Cire
Page 2 of 4
• A. Botea and A. A. Cire. Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events. In IJCAI’09: Proceedings of the International Joint
Conference on Artificial Intelligence, Pasadena, USA, 2009.
• A. A. Cire and A. Botea. Learning in Planning with Temporally Extended Goals and Uncontrollable Events. In ECAI’08: Proceedings of the European Conference on Artificial Intelligence,
Patras, Greece, 2008.
• T. Lopes, A. A. Cire, C. de Souza, and A. Moura. Planning and Scheduling the Operation of a
Very Large Oil Pipeline Network. In CP’08: International Conference on Principles and Practice
of Constraint Programming, LNCS 5202, pp. 36-51. Springer, 2008.
• A. Moura, C. de Souza, A. A. Cire, and T. Lopes. Heuristics and Constraint Programming
Hybridizations for a Real Pipeline Planning and Scheduling Problem. In CSE’08: 11th
IEEE International Conf. on Computational Science and Engineering, pp. 455-462, 2008.
Visiting Positions and Internships
• IBM Research, Yorktown Heights, USA, Summer 2013
Internship at the AI for Optimization Group
Project: Parallel methods for optimization and large-scale integer programming
Supervised by Dr. Meinolf Sellmann
• Google, California, USA, July 2012
Research Visitor
Project: Disjunctive scheduling for Google OR-Tools
• Zuze Institute Berlin (ZIB), Summer 2010
Research Visitor
Project: Operational Planning for Home Health Care
• NICTA / Australian National University (ANU), Canberra, Australia, Summer 2007
Internship at the Knowledge and Representation Group, NICTA
Project: Model-based Supervision of Composite Systems
Supervised by Dr. Sylvie Thiébaux and Dr. Adi Botea
Teaching Experience
• Analysis for Decision Making, University of Toronto Scarborough Fall 2014.
Undergraduate course for Business students.
• Mathematical Models for Consulting, Tepper School of Business, Spring 2013.
Undergraduate course for Business students.
• Teaching Assistant.
– Optimization and Decision Making (Tepper 45-760), MBA course, 2010, 2011, 2012, 2013.
– Data Mining (Tepper 45-851), MBA course, 2012.
– Applications of Operations Research (Tepper 45-860), MBA course, 2011.
– Operations Research Implementations (Tepper 45-864), MBA course, 2011.
– Linear Programming (Tepper 47-834), PhD course, 2012.
Andre Augusto Cire
Page 3 of 4
Academic Service
• Program Committee Member, IJCAI’2015: International Joint Conference on Artificial Intelligence.
• Program Committee Member, CPAIOR’2015.
• Program Committee Member, IJCAI’2013: International Joint Conference on Artificial Intelligence.
• Ad hoc Reviewer: INFORMS Journal on Computing, CPAIOR (2011-13), CP (2012-13), SI 2012
Selected Talks
• CIRRELT Seminar.
Montréal, 2015.
Decision Diagrams for Sequencing and Scheduling Problems.
Université de
• INFORMS Computing Society Conference. Relaxations from Multiple Decision Diagrams. Richmond,
VA, 2015.
• INFORMS Annual Meeting. Decision Diagrams for Sequencing and Scheduling. Minneapolis, MN,
2013.
• INFORMS Annual Meeting. A Branch and Bound Algorithm Based on Approximate Binary Decision
Diagrams. Phoenix, AZ, 2012.
• 21st International Symposium on Mathematical Programming (ISMP 2012). MDD Propagation for
Disjunctive Scheduling. Berlin, Germany, 2012.
• 54th Annual Conference of the Canadian Operations Research Society (CORS 2012). MDD Propagation
for Disjunctive Scheduling. Niagara Falls, Canada, 2012.
• INFORMS Annual Meeting. Multivalued Decision Diagrams Relaxation for the Maximum Independent
Set Problem. Charlotte, NC, 2011.
• INFORMS Annual Meeting. Logic-Based Benders Decomposition for the Home Health Care Problem,
Austin, TX, 2010.
• INFORMS Annual Meeting, Hybrid Models for Scheduling a Real Oil Pipeline Network. Washington,
D.C., 2008.
Andre Augusto Cire
Page 4 of 4