Title: Toward Large-Scale Electronic Structure Theory Through Physics-Based Simulations, Data-Driven Approaches, and Quantum Computing Abstract:  Simulating the electronic structure of large molecular systems can greatly facilitate the design of molecules for solar to chemical energy conversion and chemical synthesis. However, accurate first-principles simulations of the electronic structure of macromolecules are usually computationally expensive, especially those…

Title: From Body Signals to Smart Environments: Embedded AI and Sensing for Wellness and Health Abstract:  Recent advances in smart devices and artificial intelligence are transforming personal fitness, health awareness, and self-care. Wearable mobile computing and Artificial Intelligence of Things (AIoT) systems now provide real-time insights into body signals and health metrics, while increasingly informing…

Title: Exams with More Learning and Less Stress with a Computer-based Testing Facility Abstract:  Exams are an important tool for summative assessment, whose utility has only grown with the advent of large language models (LLMs) like ChatGPT, because they can be implemented in a trustworthy manner. But exams are generally not well liked by either…

Title: Responsible Intelligence: Ethics, Safety, and the Future of AI in Society Abstract:  Artificial Intelligence is transforming society, from health care and education to public safety and environmental protection. In this Distinguished Series talk, Udo Sglavo, Vice President of Applied AI and Modeling at SAS, explores how ethical principles and safety frameworks guide responsible AI…

Abstract:  Generative AI (Artificial Intelligence) has reshaped both computer software and hardware. On the software side, service providers invested in developing larger and more effective machine learning models aiming at providing better user experiences. On the hardware side, researchers, large companies and tons of startups innovate on hardware accelerators to support the incredibly fast growing…

Abstract:  Runtime verification promises to make software more reliable by monitoring program executions against formal specifications of safety properties. This talk will present results from work that my group did over the last several years to realize this promise in the context of software testing. I will start by briefly summarizing our early results showing…

Abstract: Everyone says AI needs more: more parameters, more data, more GPUs, more money. I'm here to argue the opposite. This talk begins with a cautionary tale from my student days—watching my research-professor uncle doubled over laughing in his basement lab because he and his grad student had just vaporized a large percent of their…

Abstract: While many robots are currently deployable in factories, warehouses and homes, their autonomous deployment requires either the deployment environments to be highly controlled, or the deployment to only entail executing one single preprogrammed task. These deployable robots do not learn to address changes and to improve performance. For uncontrolled environments and for novel tasks,…

Title: The Future of Software Development: Predictions from people who have seen it, offered to those who will invent it Abstract: Together, Dr. Jennings and Mr. Joshua S. Allen have five CS degrees and over 50 years of industry experience in software development. Commercial software development is radically and rapidly changing, and they have observations…