The Department of Computer Science will host a Research Day for industry leaders on Wednesday, March 4 from 9 a.m. - 3 p.m. in EB2. This event will feature short…
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: 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…
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…
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: 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: 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: Resource Optimization for ML Inference Serving Abstract: My research focuses on job scheduling and resource management in Machine Learning (ML) and Large Language Model (LLM) systems. With the growing popularity of deep learning models, minimizing the monetary costs and maximizing the goodput of inference-serving systems have become critical challenges. Addressing these challenges requires efficient…
Title: Synergizing Sparse Sequence, Experimental, and AI-Predicted Structures for Protein-Nucleic Acid Interaction Predictions Abstract: Sequence-specific nucleic acid recognition underlies essential processes in gene regulation, yet experiment-independent methods for simultaneous predictions of genomic DNA recognition sites and their binding affinity remain limited. Our group developed data-driven methods and simulation tools to predict and elucidate protein-nucleic acid…
Speaker Sibin Mohan, George Washington University Abstract Autonomous Systems (AVs) require an accurate sensing and modeling of the real-world in order to carry out their missions. They use the observations from sensors to reason about the vehicle’s state and can correct for deviations, even attacks. In practice, even the most meticulously designed control systems always…
Title: Introduction to TU Dortmund University, Germany Abstract: TU Dortmund University is located in the heart of the European Rhine-Ruhr metropolitan region, which is home to 10 million people. This region is the logistical hub of Europe and TU Dortmund University has therefore played a decisive role in shaping logistics. Logistics is interpreted in a…
Watch the Zoom stream of the seminar here. Title: Toward Real-Time Ultrasound Computed Tomography: Bridging Wave Physics and Data-Driven Learning Abstract: Ultrasound Computed Tomography (USCT), also known as Full Waveform Inversion (FWI), reconstructs the mechanical properties of biological tissues by modeling the full propagation of ultrasound waves. This modality shows great promise for advanced applications…