Dan Dougherty, WPI Professor in Computer Science | Research Topics

Channel:
United States WPI
Subscribers:
10,900
Published on ● Video Link: https://www.youtube.com/watch?v=or-2GAstkEc


Duration: 5:45
607 views
3

Dan Dougherty of Worcester Polytechnic Institute talks about his research in:
• Software security and reliability
• Application of formal reasoning to computer systems
• Formal logic approach using mathematical methods
• Human-computer collaboration through proof assistants



Other Videos By WPI


2019-09-10See how cold spray 3D printing technology impacts the military
2019-09-03Conversation with the President: Fall 2019
2019-08-30Have You Heard About WPI Newest Class?
2019-08-28Laurie's Welcoming 2019
2019-08-05Crowdsourcing Science: Monitoring Nuclear Radiation
2019-07-29WPI Professor Teaming with Experts to Develop Wireless Sensors for New Prosthetics Device
2019-07-02Berk Sunar, WPI Professor in Electrical and Computer Engineering | Research Topics
2019-07-02Robert Walls, WPI Assistant Professor in Computer Science | Research Topics
2019-07-02Craig Shue, WPI Associate Professor in Computer Science | Research Topics
2019-07-02Bill Martin, WPI Professor in Mathematical Sciences | Research Topics
2019-07-02Dan Dougherty, WPI Professor in Computer Science | Research Topics
2019-07-02Lorenzo De Carli, WPI Assistant Professor in Computer Science | Research Topics
2019-07-02Andrew Clark, WPI Assistant Professor in Electrical and Computer Engineering | Research Topics
2019-07-02Craig Wills, WPI Professor and Department Head in Computer Science | Research Topics
2019-07-01PracticePoint at WPI
2019-06-26WPI – What’s Possible…
2019-06-18Conversation with the President: Summer 2019
2019-06-13Touch Tomorrow 2019 Was a Blast!
2019-06-05Student Talk - Bryannah Voydatch, Physics, Class of 2019
2019-06-05Student Talk - Jackson Perry, Psychology and Mathematical Sciences, Class of 2019
2019-06-05Student Talk - Jessica McKenna, Robotics Engineering, Class of 2020


Tags:
cybersecurity
software security
human-computer interaction