GradNova

R

Rajeev Alur

Professor

Computer Science, University of Pennsylvania

Research Interests

Advanced Control Systems Optimization

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Optimization and Search Problems

Real-Time Systems Scheduling

Academic Metrics

Links

Grants