Computer and Information Science
Academics
Undergraduate
Graduate
Course Information
Research
Areas of Focus
Centers + Institutes
Undergraduate Research
Technical Reports
Faculty Talks
People
Faculty
Staff
Postdoctoral Fellows
Graduating Ph.D.s and Postdocs
Alumni
Open Faculty Positions
Community
Outreach Philosophy + Mission
Meet Our Students
K-12 Programs
Diversity + Climate
About
Overview
Chair’s Letter
News
Student Awards
Events
History
Visiting CIS
Apply
Make a Gift
Search
Current Students
Faculty
Staff
Alumni
Current Students
Faculty
Staff
Alumni
Apply
Make a Gift
Search
Computer and Information Science
A Department of the School of Engineering and Applied Science
Academics
Undergraduate
Graduate
Course Information
Research
Areas of Focus
Centers + Institutes
Undergraduate Research
Technical Reports
Faculty Talks
People
Faculty
Staff
Postdoctoral Fellows
Graduating Ph.D.s and Postdocs
Alumni
Open Faculty Positions
Community
Outreach Philosophy + Mission
Meet Our Students
K-12 Programs
Diversity + Climate
About
Overview
Chair’s Letter
News
Student Awards
Events
History
Visiting CIS
Faculty Talks
Discussions, Seminars, Webinars and more
Discover more about the research, projects and
fields of interests of our C.I.S. professors.
Rajeev Alur
A list of Rajeev’s talks from his professional site
Norman Badler
“Bodily Expressed Emotion Understanding”
“My Lifelong Quest to Control Virtual People”
Sharath Guntuku
“Using Social Media to Assess Mental Health and Share Personal Insights”
Dinesh Jayaraman
“Perception Through Action and For Action”
Boon Thau Loo
“Select Talks”
Benjamin Pierce
“Backtracking Generators for Random Testing”
Aaron Roth
A YouTube playlist of Aaron’s talks
Dan Roth
A list of Dan’s talks, sourced from his professional site.
Lyle Ungar
“Using Twitter to Predict Heart Disease”
“Measuring Psychological Traits Using Social Media”
Stephanie Weirich
“Strong Typed System F in GHC”
“Dependent Types in Haskell”
“A Dependently-Typed Core Calculus for GHC”
“Depending on Types”
“Dynamic Typing in GHC
“Invited Talks and Technical Presentations”