Select a calendar:
Filter April Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for April 12, 2019
-
Taipei, Taiwan - Admitted Student Reception
Fri, Apr 12, 2019
Viterbi School of Engineering Undergraduate Admission
University Calendar
These Admitted Student Programs, hosted by the Undergraduate Admission Office, provide admitted students and their families an opportunity to meet admission counselors, representatives from academic departments, alumni, and you will have the opportunity to meet other admitted students from your local area. Viterbi and University Admission counselors will be there to answer any questions you might have, tell you more about campus life and your specific academic program, and welcome you to the Trojan Family. The program will last approximately two hours.
We love seeing our newly admitted students in person! if you live in or near a city we will be visiting, we encourage you to join us!
Once admitted, students can find the RSVP link in their USC Applicant Portal.Audiences: Admitted Students & Family Members
Contact: Viterbi Admission
-
Individual Grammar Tutorials
Fri, Apr 12, 2019 @ 10:30 AM - 12:00 PM
Viterbi School of Engineering Student Affairs
Workshops & Infosessions
Viterbi graduate and undergraduate students are invited to sign up for individual grammar assistance from professors at the Engineering Writing Program. Sign up for one-on-one individual sessions here: http://bit.ly/grammaratUSC
Questions? Email helenhch@usc.eduLocation: Olin Hall of Engineering (OHE) - 106
Audiences: Graduate and Undergraduate Students
Contact: Helen Choi
-
ECE Seminar: Verification and Synthesis Algorithms for Safe Autonomy
Fri, Apr 12, 2019 @ 11:00 AM - 12:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Chuchu Fan, PhD Candidate, UIUC
Talk Title: Verification and Synthesis Algorithms for Safe Autonomy
Abstract: A single design defect can wreak havoc across thousands of deployed instances of autonomous systems or cyber-physical systems (CPS) such as self-driving cars, drones, and medical devices. Can rigorous approaches based on formal methods and control theory improve safety in autonomous systems by transforming the conventional trial-and-error paradigm? Verification and synthesis for typical models of real-world autonomous systems and CPS are well-known to be hard due to their high dimensionality, nonlinearities, and their nondeterministic and hybrid nature. In this talk, I will present new verification and synthesis algorithms which suggest that these challenges can be overcome and that rigorous approaches are indeed promising. The common ingredient underlying my algorithms is automated sensitivity analysis, which leads to semi-decision procedures for verification and synthesis, with soundness, completeness, and optimality guarantees. I will introduce the first bounded safety verification algorithm for nonlinear hybrid systems. This data-driven algorithm, which is the basis for the C2E2 tool, can also be used for compositional verification of networked and distributed autonomous systems. Then I will present my work on the DryVR framework, which is the first approach that can verify real-world CPS with incomplete or imprecise mathematical models. The final part of my talk will rely on symbolic sensitivity analysis with applications in control synthesis for large linear systems with disturbances. I will discuss successful applications in autonomous driving scenarios, powertrain control, circuits, and medical devices as examples to show the power of these tools for solving challenging problems in a wide range of engineering domains.
Biography: Chuchu Fan is a Ph.D. candidate in the Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. She received her Bachelor's degree from Tsinghua University, Department of Automation in 2013. Her research interests are in the areas of formal methods and control for safe autonomy. She is a recipient of multiple prestigious awards including Mavis Future Faculty Fellowship (2018), Young Researcher for Heidelberg Laureate Forum (2017), Rising Stars in EECS (2016), EMSOFT'16 Best Paper finalist, and Robert Bosch Best Verification Award in CPSWeek'15. Her research achievements are also recognized with a Mac Van Valkenburg Research Award (2018), a Yi-Min Wang and Pi-Yu Chung Endowed Research Award (2017), and a Rambus Fellowship (2016).
Host: Professor Paul Bogdan, pbogdan@usc.edu
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Mayumi Thrasher
-
W.V.T. RUSCH ENGINEERING HONORS COLLOQUIUM
Fri, Apr 12, 2019 @ 01:00 PM - 01:50 PM
USC Viterbi School of Engineering
Conferences, Lectures, & Seminars
Speaker: Mr. Bradley Turner, Vice President and General Manager, Datatronics Romoland Inc.
Talk Title: Beneficial Confusion and Curiosity
Host: EHP and Dr. Prata
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Contact: Amanda McCraven
