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
Contact Information
Phone(860) 486-2584