 
| |
|
| |
|
 |
Admissions |
| |
Applying
to Penn |
 |
|
|
Undergraduate
Programs |
| |
Degree
programs, study options, joint degrees, resources ... |
|
|
|
Graduate Programs |
| |
Masters',
PhD Programs, professional, resources... |
|
|
|
Academic
Departments |
| |
BE,
CBE, CIS, ESE, MEAM, MSE |
|
|
|
Faculty and Research |
| |
Research
news, centers and institutes |
|
|
|
Publications and Seminars |
| |
Lectures, Awards, Seminars, and Publications |
|
|
|
Student
Portal |
| |
for
current students |
|
|
|
Alumni & Friends |
| |
Events,
alumni society, how to stay in touch, corporate partners, parents |
|
|
|
Services and Resources |
| |
Faculty
and staff services, student services, EOS |
|
|
| |
| |
|
|
|
Professor Rajeev Alur named a Fellow of Association for Computing Machinery (ACM) and a Fellow of IEEE
December 17, 2007
Rajeev Alur, Professor of Computer and Information Science, has been named a Fellow of the Association for Computing Machinery (ACM) "for contributions to the specification and verification of reactive, real-time, and hybrid systems." Dr. Alur is among 38 ACM members recognized as Fellows in 2007 for their achievements in computer and information technology. Dr. Alur was also named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) for his "for contributions to automata, logics, and verification techniques for real-time and hybrid systems."
|
|
|
||
|
|
|
