Rajeev Alur
Scholar

Rajeev Alur

Google Scholar ID: ZvLa1RIAAAAJ
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Formal methodsTrustworthy AICyber-physical systemsProgramming languagesLogic in Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
10,937
 
H-index
48
 
i10-index
147
 
Publications
20
 
Co-authors
50
list available
Contact
CVOpen ↗LinkedInOpen ↗
Publications
9 items
Do We Need Frontier Models to Verify Mathematical Proofs?
2026
Cited
0
CAMEL: An ECG Language Model for Forecasting Cardiac Events
2026
Cited
0
Stable Prediction of Adverse Events in Medical Time-Series Data
2025
Cited
0
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
2025
Cited
0
Report on NSF Workshop on Science of Safe AI
2025
Cited
0
Composing Agents to Minimize Worst-case Risk
2025
Cited
0
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
2025
Cited
0
CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
2025
Cited
0
Resume (English only)
Academic Achievements
  • Authored the textbook 'Principles of Cyber-Physical Systems' (MIT Press, 2015).
  • Made foundational contributions in formal methods, automata theory, real-time and hybrid systems, including Timed Automata, Nested Words, Streaming Transducers, Reactive Modules, and Alternating-Time Temporal Logic (ATL).
  • Published extensively in top venues such as JACM, TCS, I&C, PLDI, EMSOFT, and AAAI.
  • Recipient of the 2016 Alonzo Church Award for outstanding contributions to logic and computation.
  • Developed influential tools including Verisig, SPECTRL, CheckFence, CHARON, and Mocha.
  • General Chair of the Federated Logic Conference (FLoC) 2026.
Co-authors
50 total
Thomas Henzinger
Thomas Henzinger
IST Austria
David L. Dill
David L. Dill
Professor, Emeritus, of Computer Science, Stanford University
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Madhusudan Parthasarathy
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Costas Courcoubetis
Costas Courcoubetis
Professor in SDS, CUHK Shenzhen
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Mihalis Yannakakis
Mihalis Yannakakis
Percy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University
Co-author 8
Co-author 8