CR2G – Martine Ceberio – Research

Constraint Research and Reading Group

We are a group of people who share interests in all aspects of constraint solving and optimization. We do research on applications of constraints and on discovering new constraint solving and optimization algorithms. We are also involved in educational activities, and in outreach activities.

  • CR2G home
  • Ducks Identification
  • updates
  • research
  • education
  • outreach
  • members

research

On this page, you will find information about the topics we are interested in at this time.

  • Optimization and solution of large nonlinear systems  
  • Theory of Neural Networks
  • Bias in Machine Learning
  • Application to the identification of ducks (for conservation)

Solver available for Windows 64bits, Windows 32bits, Mac OS.

Past activities:

  • Interval arithmetic: we explored ways to make interval computations more efficient and how to integrate them in current solver frameworks. This work was primarily carried out by Paden Portillo.
  • Symbolic-numeric algorithms for solving continuous non-linear constraints. This work was carried out with Mario Bencomo (now Ph.D. student at Rice University).
  • Distributed Constraint Solving (Angel Garcia): report on this topic
  • Combinatorial Testing (Leobardo Valera, Cristian Ayub, Raul Mena, Elsa Gonzalez-Aguilar, Gabriel Felix)
  • Applications of constraint solving techniques are also explored. Shubhra Datta worked on using constraints to model and solve verification of program problems. Xiaojing Wang worked on determining fuzzy measures and she is researching on how optimization and constraint techniques can help.

More information on our work for Ducks Identification is available here.

  • Categories

    • Education
    • General Updates
    • Outreach
    • Research
  • Tags

    web design
  • Contact CR2G
University of Texas at El Paso

Martine Ceberio

Assistant Professor
Computer Science Department - UTEP
500 W. University
El Paso, TX 79968
Contact me