Events
Filters
1 event,
1 event,
Formal methods are often dismissed as too rigid, complex, or unscalable for frontier language model systems (e.g., LLMs, VLMs, agentic systems). In this talk, I will challenge this assumption with both theoretical insights and empirical evidence across various domains, including chatbots, autonomous driving, mathematical reasoning, code generation, and agentic AI. I will present a new set of efficient formal frameworks for […]
2 events,
End-group functionalization has become a powerful and versatile strategy in polymer science, enabling precise control over physical properties, nanoscale self-assembly, and interfacial functionality without modifying the polymer backbone. In our group’s research, we have investigated (1) how tailored end groups affect intrinsic polymer characteristics such as thermal transitions, solubility, and crystallization behavior, and (2) how […]
1 event,
Compliant mechanisms have been the subject of intense research in recent decades. Making compliant mechanisms “smart” to form flexible, adaptive structures is the focus of my research group, with applications ranging from medical devices to aerospace structures. This seminar will describe recent work on modeling and synthesis approaches for compliant mechanisms with both superelastic material […]
1 event,
Convex optimization has emerged as useful tool for applications that include data analysis and model fitting, machine learning and statistics, resource allocation, engineering design, network design and optimization, finance, and control and signal processing. We give an overview of the basic mathematics, algorithms, and software frameworks for convex optimization, and give a few examples. We […]
1 event,
Rubbery polymer networks, including elastomers and hydrogels, are increasingly employed in advanced applications such as biomedical implants, drug delivery systems, and smart sensors and actuators. Their macroscopic mechanical properties, such as stiffness, strength, and stretchability, are largely governed by network-level features, including polymer chain length distribution, crosslink density, and network heterogeneities and topological defects. Consequently, […]
1 event,
This event will be in-person ONLY in Wu and Chen Auditorium. ABSTRACT With increasing availability of data in various forms from images, audio, video, 3D models, motion capture, simulation results, to satellite imagery, representative samples of the various phenomena constituting the world around us bring new opportunities and research challenges. Such availability of data has […]