CIS

ABSTRACT: It is immensely empowering to delegate information processing and automation work to machines and have them carry out difficult tasks on our behalf. But programming computers is hard. The traditional approach to this problem is to try to fix people: They should work harder to learn to code. In this talk, I argue that […]

ABSTRACT: The past decade has seen unprecedented growth in Software Engineering— developers spend enormous time and effort to create new products. With such enormous growth comes the responsibility of producing and maintaining quality and robust software. In this talk, I will discuss how AI can help develop quality products in different stages of the software […]

ABSTRACT:  Research in lifelong or continual machine learning has advanced rapidly over the past few years, primarily focusing on enabling learned models to acquire new tasks over time while avoiding catastrophic forgetting of previous tasks. However, autonomous systems still lack the ability to rapidly learn new generalizable skills by building upon and continually refining their […]

ABSTRACT: Verified artificial intelligence (AI) is the goal of designing AI-based systems that have strong, ideally provable, assurances of correctness with respect to formally specified requirements. This talk will review the main challenges to achieving Verified AI, and the initial progress the research community has made towards this goal. A particular focus will be on […]

ABSTRACT: “Does generative AI infringe copyright?” is an urgent question. It is also a difficult question, for two reasons. First, “generative AI” is not just one product from one company. It is a catch-all name for a massive ecosystem of loosely related technologies. These systems behave differently and raise different legal issues. Second, copyright law […]