Logo: University of Southern California

Events Calendar



Select a calendar:



Filter April Events by Event Type:



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

    OutlookiCal
  • 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.edu

    Location: Olin Hall of Engineering (OHE) - 106

    Audiences: Graduate and Undergraduate Students

    Contact: Helen Choi

    OutlookiCal
  • 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

    OutlookiCal
  • 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

    OutlookiCal