Penn Computer & Information Science HighlightsPenn Computer & Information Science Highlights
  • About
    • A Note from the Chair
    • CIS Blog
  • Research Areas
  • Faculty
  • Highlights
  • Living in Philadelphia
  • Apply
    • CIS Department Webpage

Programming Languages

StreamQRE: Programming Abstractions for Data Stream Processing Systems

The Internet of Things (IoT) promises to change the way we acquire and handle data — as Internet-connected devices (wearable or implantable medical sensors, environmental sensors, devices) “stream” data back to the cloud for processing, analysis, and real-time decision-making.  Consider the example of heart arrhythmia detection below. A key component Read more…

By Zachary Ives, 6 yearsNovember 28, 2018 ago

The Science of Deep Specification

In our interconnected world, software bugs and security vulnerabilities pose enormous costs and risks. The Deep Specification project addresses this problem by showing how to build software that does what it is supposed to do, no less and (just as important) no more: No unintended backdoors that allow hackers in, Read more…

By Zack Ives, 7 yearsFebruary 17, 2018 ago
Search
Contact

Levine Hall
3330 Walnut Street
Philadelphia, PA 19104
(215) 898-8560
@pennengineers
Medium/@PennEngineering

Graduate application
Faculty application

  • About
  • Research Areas
  • Faculty
  • Highlights
  • Living in Philadelphia
  • Apply
Hestia | Powered by WordPress