Rensselaer Polytechnic Institute | About RPI | Academics | Research | Student Life | Admissions | News & Information
* Site Navigation
Mathematical Sciences

Mathematical Sciences Research

Applied Geometry
Approximation Theory
Chemically-Reacting Flows
Computational Logic
Dynamical Systems
Environmental Problems
Fluid Dynamics
Inverse Problems
Machine Learning
Math Education
Mathematical Physics
Multiphase Flows
Nonlinear Analysis
Nonlinear Materials
Nonlinear Waves
Operations Research and Mathematical Programming
Perturbation Methods
Scientific Computing

Mathematical Sciences Research
Computational Logic

Computational logic is a mathematical framework to redevelop logic as systematic formal theory of computability (as opposed to classical logic).

In computational logic, formulas represent computational problems and their validity means “always computable”.

Current Projects

  • Optimization approaches to satisfiability problems, including the use of integer programming and semidefinite programming methods.
  • Logical Benders decomposition approaches to hard optimization problems, including scheduling problems and mathematical programming problems with complementarity constraints.

Faculty Researcher

John Mitchell

Scientific Computation Research Center (SCOREC)


Rensselaer Polytechnic Institute > Academics & Research > School of Science > Mathematical Sciences:
Home | Undergraduate | Graduate | Faculty | Research | Events | News | Contacts

Copyright ©2006 Rensselaer Polytechnic Institute

Rensselaer   Rensselaer Polytechnic Institute (RPI)
110 8th Street, Troy, NY 12180   (518) 276-6000