• Rajeev Alur
• Unit: Other
• Organization: University of Pennsylvania
• Interests: Foundations for modeling and verification of embedded systems, distributed computing, logic and automata theory.
• Website