Laurent Michel

Associate Professor

Computer Science and Engineering

Key Active Research Projects

• Co-Director CSI (Comcast Center for Excellence in security Innovation)
• Principal in VoTeR center (Center for voting technology)
• UTC-IASE Co-PI: Design Automation and Optimization Framework for Embedded Systems
• Discrete Optimization:
• The Objective-CP optimization platform.
• Verification through bit-vectors.
• Constraint-Based Local Search
• Constraint-Based Data Mining

Future Directions

• Large scale parallel optimization
• Hybrid optimization
• Configuration

Key Skills/Capabilities

Research Specialties:

• Discrete Optimization
• Continuous Optimization
• Constraint-Based Local Search
• Penetration testing
• Parallel computing
• Language support
• Modeling and simulation capabilities using a variety of state-of-the-art platforms:
• OPL, Numerica, Comet, Gurobi, Objective-CP