Research

The MIND Lab develops mathematical and computational foundations for intelligent, networked, and decision-making systems.

Research Areas

• Temporal Logical Stochastic Processes

• Stochastic Systems

• Formal Methods

• Risk-Aware AI

• AI + Control