Registered user since Mon 2 Oct 2017
Name:Rajeev Alur
Affiliation:University of Pennsylvania
Personal website: http://www.cis.upenn.edu/~alur/
Research interests:Formal methods, Cyber-physical systems, Programming languages
Contributions
2022
POPL
- Session Chair of POPL Business Meeting and SIGPLAN Awards (part of POPL)
- General Chair in Organizing Committee
- Session Chair of Invited Talk (part of POPL)
- Session Chair of Welcome (part of POPL)
- Open Forum for Q&A
- General Chair Report
- Committee Member in Selection Committee within the Virtual Workshop-track
POPL 2022-profile
View general profile
View general profile