Linh Thi Xuan Phan, Associate Professor in CIS, is the recipient of the 2020 Lindback Award. Established in 1961 with the help of the Christian R. and Mary F. Lindback Foundation, the award is the highest teaching honor bestowed upon faculty at the University of Pennsylvania. The University normally gives out eight Lindback awards each year, divided evenly between health-related disciplines and all other departments and divisions. We congratulate Linh for her leadership, contributions, and devotion to teaching/education.
Dr. Gottschlich sat down with longtime New York Times correspondent Craig S. Smith for their Eye on A.I. podcast (Episode No. 033 - "Software that writes software: toward a future in which everyone can create computer programs") to explain his machine programming research efforts to automate software development. "The ambition is to make it possible for anybody to create software simply by describing what they intend the software to do," wrote the NY Times.
The inaugural issue of ACM Transactions on Computing for Healthcare (HEALTH) is a multi-disciplinary journal which focuses on wearable technologies for smart health. It is now available in the ACM Digital Library. PRECISE Director Insup Lee is honored, humbled and excited to serve as their Co-Editor-in-Chief.
For further information or to submit your manuscript, please visit health.acm.org.
Check out PRECISE's progress towards assuredly safer autonomous systems.
Eric Micallef, a senior in the Embedded Systems (EMBS) MSE program, is one of the 2019 recipients of the J.P. Eckert Master’s Fellowship. Congratulations, Eric!
PRECISE members Insup Lee and Oleg Sokolsky, along with Sampath Kannan, Moonzoo Kim, and Mahesh Viswanathan, win the Test-of-Time Award for their 2001 paper titled "Java-MaC: a run-time assurance tool for Java programs" at the 2019 Conference on Runtime Verification.
Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur won Best Paper Award on their "Detecting Security Leaks in Hybrid Systems with Information Flow Analysis" at ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.
Congratulations to Luan and all!