Henry Salvatori Professor
Computer and Information Science
Office: Amy Gutmann Hall, 421
Research Areas
- Algorithmic Fairness
- Combinatorial Algorithm
- Program Reliability
- Streaming Computation
- Computational Biology
Awards
2019: Fellow of the AAAS
2019: Test of Time Award, Runtime Verification
2018: Received inaugural Penn India Research and Engagement Fund (Penn IREF) award for his project titled “The Safe Internet of Things”
2013: Fellow of the ACM
2012: ACM SIGACT Distinguished Service Award
Projects/Papers
Students
PhDs:
Eshwar Ram Arunachaleswaran (co-advised with Anindya De)