BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Department of Computer Science - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Department of Computer Science
X-ORIGINAL-URL:https://www.cs.jhu.edu
X-WR-CALDESC:Events for Department of Computer Science
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20191103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20200922T110000
DTEND;TZID=America/New_York:20200922T120000
DTSTAMP:20260422T144923
CREATED:20210629T210723Z
LAST-MODIFIED:20210629T210723Z
UID:1962465-1600772400-1600776000@www.cs.jhu.edu
SUMMARY:IAA Speaker: Jeannette Wing\, Columbia University\, Columbia University – “Trustworthy AI”
DESCRIPTION:LocationZoom: see link below in abstractAbstracthttps://jhuapl.zoomgov.com/j/1619432368?pwd=UkRNNFBKODVoYThRZEJpNVo4b1N2Zz09Recent years have seen an astounding growth in deployment of AI systems in critical domains such as autonomousvehicles\, criminal justice\, healthcare\, hiring\, housing\, human resource management\, law enforcement\, and publicsafety\, where decisions taken by AI agents directly impact human lives. Consequently\, there is an increasingconcern if these decisions can be trusted to be correct\, reliable\, fair\, and safe\, especially under adversarialattacks. How then can we deliver on the promise of the benefits of AI but address these scenarios that have lifecritical consequences for people and society? In short\, how can we achieve trustworthy AI? Under the umbrellaof trustworthy computing\, there is a long-established framework employing formal methods and verificationtechniques for ensuring trust properties like reliability\, security\, and privacy of traditional software and hardwaresystems. Just as for trustworthy computing\, formal verification could be an effective approach for building trust inAI-based systems. However\, the set of properties needs to be extended beyond reliability\, security\, and privacy toinclude fairness\, robustness\, probabilistic accuracy under uncertainty\, and other properties yet to be identified anddefined. Further\, there is a need for new property specifications and verification techniques to handle new kinds ofartifacts\, e.g.\, data distributions\, probabilistic programs\, and machine learning based models that may learn andadapt automatically over time. This talk will pose a new research agenda\, from a formal methods perspective\, for usto increase trust in AI systems.BioBIOJeannette M. Wing is Avanessians Director of the Data Science Institute and Professor of Computer Science at Columbia University. From2013 to 2017\, she was a Corporate Vice President of Microsoft Research. She is Adjunct Professor of Computer Science at Carnegie Mellonwhere she twice served as the Head of the Computer Science Department and had been on the faculty since 1985. From 2007-2010 shewas the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. Shereceived her S.B.\, S.M.\, and Ph.D. degrees in Computer Science\, all from the Massachusetts Institute of Technology. Professor Wing’s generalresearch interests are in the areas of trustworthy computing\, specification and verification\, concurrent and distributed systems\, programminglanguages\, and software engineering. Her current interests are in the foundations of security and privacy\, with a new focus on trustworthy AI.She was or is on the editorial board of twelve journals\, including the Journal of the ACM and Communications of the ACM. Professor Wing isknown for her work on linearizability\, behavioral subtyping\, attack graphs\, and privacy-compliance checkers. Her 2006 seminal essay\, titledComputational Thinking\, is credited with helping to establish the centrality of computer science to problem-solving in fields where previouslyit had not been embraced. She is currently a member of: the National Library of Medicine Blue Ribbon Panel; the Science\, Engineering\, andTechnology Advisory Committee for the American Academy for Arts and Sciences; the Board of Trustees for the Institute of Pure and AppliedMathematics; the Advisory Board for the Association for Women in Mathematics; and the Alibaba DAMO Technical Advisory Board. Shehas been chair and/or a member of many other academic\, government\, and industry advisory boards. She received the CRA DistinguishedService Award in 2011 and the ACM Distinguished Service Award in 2014. She is a Fellow of the American Academy of Arts and Sciences\,American Association for the Advancement of Science\, the Association for Computing Machinery (ACM)\, and the Institute of Electrical andElectronic Engineers (IEEE).HostsIAA and CSVideoWatch seminar video.
URL:https://www.cs.jhu.edu/event/iaa-speaker-jeannette-wing-columbia-university-columbia-university-trustworthy-ai/
END:VEVENT
END:VCALENDAR