Page not found

Search results

1. Brun Receives Amazon Research Award for Automated Formal Verification

   ... was elected an ACM Distinguished Member. He joined the CICS faculty in 2012, after working as a postdoctoral fellow at the University of ...

2. Accessibility in Computer Science for Persons with Visual Impairments: Opportunities and Challenges

   ... Host Name:  Ivon Arroyo Host Type:  Faculty Host Calendar Title:  Accessibility in Computer Science ...

3. Proof Engineering Tools for a New Era

   ... Host Name:  Arjun Guha Host Type:  Faculty Host Calendar Title:  Rising Stars: Proof Engineering ...

4. Socially Responsible and Factual Reasoning for Equitable AI Systems

   ... Host Name:  Mohit Iyyer Host Type:  Faculty Host Calendar Title:  Seminar: Saadia Gabriel, Socially ...

5. What’s So Hard About Natural Language Understanding?

   ... Name:  Brendan O'Connor Host Type:  Faculty Host Calendar Title:  DS-Opportunity - Alan Ritter - ...

6. Xiong Receives NSF CAREER Award for Work on Long-Range Wireless Sensing

   ... is one of NSF's most prestigious awards in support of junior faculty who exemplify the role of teacher-scholars through outstanding ...

7. Foundations of Computing

   ... time or memory space) are required to solve them? Our faculty specializing in a variety of areas, including the complexity of ...

8. Analyzing and Securing Software with Robust and Generalizable Learning

   ... Name:  Amir Houmansadr Host Type:  Faculty Host Calendar Title:  Seminar: Kexin Pei, Analyzing and ...

9. Robotics Seminar: Top-Down vs. Bottom-Up Intelligence: A Robotics Perspective

   ... Frank Sup and Hao Zhang Host Type:  Faculty Hosts Calendar Title:  Robotics Seminar: Top-Down vs. ...

10. Hash Functions

    ... Name:  Ghazaleh Parvini Host Type:  Faculty Host Calendar Title:  Seminar: Hash Functions ...

Pages