Logo: University of Southern California

Events Calendar



Select a calendar:



Filter September Events by Event Type:



Events for September 21, 2017

  • DEN@Viterbi Information Session

    Thu, Sep 21, 2017 @ 11:00 AM - 12:00 PM

    DEN@Viterbi, Viterbi School of Engineering Graduate Admission

    Workshops & Infosessions


    Webinars are held ONLINE throughout the year using WebEx technology. All that is needed to participate is a computer with internet access. These 1-hour information sessions are designed to introduce the Viterbi School of Engineering, online graduate engineering programs, application requirements and procedures. USC representatives will be on-hand to answer questions.

    More information.

    WebCast Link: https://gapp.webex.com/mw3200/mywebex/default.do?nomenu=true&siteurl=gapp&service=6&rnd=0.3174729443092855&main_url=https%3A%2F%2Fgapp.webex.com%2Fec3200%2Feventcenter%2Fevent%2FeventAction.do%3FtheAction%3Ddetail%26%26%26EMK%3D4832534b0000000420be0c47bc4

    Audiences: RSVP Only

    Contact: Viterbi Graduate and Professional Programs

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods

    Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods

    Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars


    Speaker: Clark Barrett, Stanford University

    Talk Title: Dramatic Improvements in Pre-silicon and Post-silicon Validation of Digital Systems with Quick Error Detection and Formal Methods

    Abstract: Ensuring the correctness of integrated circuits (ICs) is essential for ensuring the correctness, safety and security of the many electronic systems we rely on. However, the effort required to validate ICs continues to be a major bottleneck in modern system design. To make matters worse, difficult bugs still escape into post-silicon and even production systems. I will present a set of results based on Quick Error Detection (QED). The standard QED technique is a testing technique which drastically reduces error detection latency, the time elapsed between the occurrence of an error caused by a bug and its manifestation as an observable failure. I will then present two new techniques, Symbolic QED and Electrical QED which use formal methods to dramatically extend the reach of QED: to automatically detect and localize both logic and electrical bugs during both pre- and post-silicon validation. Experimental results collected from several commercial designs as well as hardware platforms demonstrate the effectiveness and practicality of these methods. For example, for a 500 million transistor multi-core IC, Symbolic QED automatically detected and localized difficult logic design bugs (the kind that could escape traditional simulation-based pre-silicon verification) in only a few hours (~ 8 hours on average). This research was performed at Stanford University in collaboration with Prof. Subhasish Mitra, several graduate students, and several industrial collaborators.

    Biography: Clark Barrett is an associate professor (research) of computer science at Stanford University, with expertise in constraint solving and its applications to verification. His PhD dissertation introduced a novel approach to constraint solving now known as satisfiability modulo theories (SMT). His subsequent work on SMT has been recognized with a best paper award at DAC, an IBM Software Quality Innovation award, the Haifa Verification Conference award, and first-place honors at the SMT, CASC, and SyGuS competitions. He was also an early pioneer in the development of formal hardware verification: at Intel, he collaborated on a novel theorem prover used to verify key microprocessor properties; and at 0-in Design Automation (now part of Mentor Graphics), he helped build one of the first industrially successful assertion-based verification tool-sets for hardware.

    Host: Pierluigi Nuzzo, x09079, nuzzo@usc.edu

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 132

    Audiences: Everyone Is Invited

    Contact: Gerrielyn Ramos

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems

    Thu, Sep 21, 2017 @ 02:00 PM - 03:00 PM

    Ming Hsieh Department of Electrical and Computer Engineering

    Conferences, Lectures, & Seminars


    Speaker: Hong-Linh Truong, Priv.Doz and an Assistant Professor, TU Wien (Vienna University of Technology), Austria

    Talk Title: Managing and Testing Ensembles of IoT, Network functions, and Clouds

    Abstract: By leveraging virtualization and pay-per-use models, we believe that eventually applications will easily acquire IoT, network functions, and cloud services together to establish a virtual, unified resource ensemble across various subsystems from different IoT, network and cloud providers. But this will require us to research and develop various programming and management utilities. In this talk, we will first discuss the necessity and feasibility of application-level resource slice provisioning. We will overview our SINC - Slicing IoT, Network functions, and Clouds - as an approach for provisioning resource slices of end-to-end IoT, network functions, and cloud capabilities for novel requirements from a wide range of IoT/CPS applications. We will present several works on service engineering analytics for SINC, including harmonizing IoT, network functions, and cloud resources, supporting end-to-end monitoring and analytics, and testing uncertainties.

    Some links to related tools:
    http://rdsea.github.io/
    http://sincconcept.github.io/
    http://sincconcept.github.io/HINC/
    https://github.com/tuwiendsg/COMOT4U/
    http://tuwiendsg.github.io/iCOMOT/


    Biography: Hong-Linh Truong is currently a Priv.Doz and an assistant professor for Service Engineering Analytics at TU Wien (Vienna University of Technology), Austria. He received an engineer degree from the Bach Khoa University (HoChiMinh City University of Technology), Vietnam, in 1998, a PhD degree, in 2005, and a Habilitation, in 2013, both from TU Wien, Austria; all in computer science and engineering. His main research interest focuses Systems, Software, Data and Service Engineering Analytics by developing novel techniques and tools for monitoring, analyzing, and optimizing functions, performance, data quality, elasticity, and uncertainties associated with systems, software, data and services. His research has been applied to: Monitoring, Analysis and Optimization Techniques for Programs, Data and Systems; Parallel, Grid and Cloud Computing, and IoT; Data Service Models and Analytics; Socio-technical Services Engineering; and Elastic Computing. Furthermore, he is interested in (free) ICT solutions for (under) developing countries. He had delivered several invited talks and he published more than 180 refereed papers in books, conferences/workshops and journals. He (co)receives an outstanding paper award, seven best paper awards, one best paper run-up award, and one best poster award. Contact him at truong@dsg.tuwien.ac.at (http://dsg.tuwien.ac.at/staff/truong).

    Host: Bhaskar Krishnamachari and Paul Bogdan

    Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248

    Audiences: Everyone Is Invited

    Contact: Estela Lopez

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • CS Colloquium: Dr. Kris Zacny (Honeybee Robotics) - Honeybee Robotics

    Thu, Sep 21, 2017 @ 03:30 PM - 04:50 PM

    Thomas Lord Department of Computer Science

    Conferences, Lectures, & Seminars


    Speaker: Dr. Kris Zacny, PhD, Honeybee Robotics Spacecraft Mechanisms Corporation

    Talk Title: Honeybee Robotics

    Series: CS Colloquium

    Abstract: This lecture satisfies requirements for CSCI 591: Research Colloquium.

    Honeybee Robotics, based in Pasadena, develops cutting edge robotic systems for solar system destinations such as the Moon, Mars, Venus, and comets. We are currently operating our hardware on the surface of Mars. Our technologies are also used for Oil & Gas, mining, and U.S. Special Forces.

    The presentation will initially provide some background to space exploration and then introduce several exciting missions in the works. These include Lunar Resource Prospector with a goal of identifying volatiles at the lunar South Pole, Mars2020 mission with a goal of returning samples from Mars, Europa deep drill mission with a purpose of penetrating through >10 km thick ice crust and reaching subglacial ice, as well as Planetary Volatiles Extractor with a goal of mining the Moon and Mars.

    We will also discuss various ways USC faculty and students could collaborate with Honeybee Robotics. Our company currently employs several USC alumni as well as interns, and works with USC professors on space technologies.


    Biography: Dr. Kris Zacny is Vice President and Director of Exploration Technology Group at Honeybee Robotics in Pasadena. His expertise includes terrestrial and extraterrestrial robotic drilling, excavation, sample handling and processing, geotechnical systems, and sensors.

    In his previous capacity as an engineer in the South African mining industry, Dr. Zacny managed numerous underground mining projects. Dr. Zacny received his PhD at UC Berkeley in Geotechnical Engineering with an emphasis on Mars drilling, and his ME at UC Berkeley in Petroleum Engineering with emphasis on Drilling and Materials Science. He received his BSc cum laude in Mechanical Engineering at U. Cape Town.

    He has participated in several Arctic, Antarctic, Atacama, and Greenland expeditions. Dr. Zacny has over 200 publications related to extreme drilling and excavation and has managed over 100 technology projects. He has over 40 NASA New Technology Records and four NASA Group Achievement Awards.


    Host: Computer Science Department

    Location: Henry Salvatori Computer Science Center (SAL) - 101

    Audiences: Everyone Is Invited

    Contact: Computer Science Department

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • Navigating the Internship & Job Search- Presented by ITP Faculty Larry Jordan

    Thu, Sep 21, 2017 @ 04:00 PM - 05:00 PM

    Viterbi School of Engineering Career Connections

    Workshops & Infosessions


    Virtually everything you think you know about getting a job/internship is wrong -- especially in the real-world after graduation. Join Larry Jordan for this one-hour session on what you NEED to know to find the job/internship of your dreams.

    Discover how to cope with competition and avoid pitfalls in your job hunt, learn what employers are actually looking for during an interview and get tips on how to negotiate your salary.

    Larry Jordan has hired teams in media and high-tech for more than 40 years. He's part of the ITP Part-Time Faculty Job Search committee and has run his own business for more than 20 years. He also teaches ITP-211 and ITP-411. This is his favorite lecture from his award-winning course.

    This will be one of the most valuable hours you spend this entire year.

    Pizza will be provided!

    Location: Ronald Tutor Hall of Engineering (RTH) - 211

    Audiences: All Viterbi Students

    Contact: RTH 218 Viterbi Career Connections

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • CAIS Seminar: Dr. Ece Kamar (Microsoft Research) - Directions in Hybrid Intelligence: Discovering Blind Spots of AI

    Thu, Sep 21, 2017 @ 04:00 PM - 05:00 PM

    Thomas Lord Department of Computer Science

    Conferences, Lectures, & Seminars


    Speaker: Dr. Ece Kamar, Microsoft Research

    Talk Title: Directions in Hybrid Intelligence: Discovering Blind Spots of AI

    Series: Center for AI in Society (CAIS) Seminar Series

    Abstract: Despite advances in AI, machines still have limitations in accomplishing tasks that come naturally to humans. When AI systems are fielded in the open world, these limitations cause concerns around reliability, biases and trust. In this talk, Dr. Kamar will argue that hybrid systems that combine the strengths of machine and human intelligence is key to overcoming the limitations of AI algorithms and developing reliable systems. She will provide an overview of multiple projects, which investigate how to integrate human intelligence into the training, execution and troubleshooting of AI systems.

    Biography: Dr. Ece Kamar is a Senior Researcher in the Adaptive Systems and Interaction Group at Microsoft Research. She received her Ph.D. in computer science from Harvard University. Her work spans several subfields of AI, including planning, machine learning, multi-agent systems and human-computer teamwork and is inspired by real-world applications.

    Host: Milind Tambe

    Location: Seeley Wintersmith Mudd Memorial Hall (of Philosophy) (MHP) - 101

    Audiences: Everyone Is Invited

    Contact: Computer Science Department

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • Raytheon Information Session

    Thu, Sep 21, 2017 @ 06:00 PM - 07:15 PM

    Viterbi School of Engineering Career Connections

    Workshops & Infosessions


    Raytheon is a global technology leader that provides innovative solutions to customers in 80 nations with the most advanced technology in the world and in the strategic business areas of Homeland Security, Missile Defense, Precision Engagement and Intelligence Surveillance Reconnaissance. With opportunities available in all engineering fields, including software, electronics design and manufacturing, mechanical engineering, and aerospace, use this event to network and explore career opportunities with Raytheon.

    Light refreshments will be provided.

    Location: Seeley G. Mudd Building (SGM) - 101

    Audiences: All Viterbi Students

    Contact: RTH 218 Viterbi Career Connections

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • DEN@Viterbi Information Session

    Thu, Sep 21, 2017 @ 06:00 PM - 07:00 PM

    DEN@Viterbi, Viterbi School of Engineering Graduate Admission

    Workshops & Infosessions


    Webinars are held ONLINE throughout the year using WebEx technology. All that is needed to participate is a computer with internet access. These 1-hour information sessions are designed to introduce the Viterbi School of Engineering, online graduate engineering programs, application requirements and procedures. USC representatives will be on-hand to answer questions. More information.

    WebCast Link: https://gapp.webex.com/mw3200/mywebex/default.do?nomenu=true&siteurl=gapp&service=6&rnd=0.05779103162439525&main_url=https%3A%2F%2Fgapp.webex.com%2Fec3200%2Feventcenter%2Fevent%2FeventAction.do%3FtheAction%3Ddetail%26%26%26EMK%3D4832534b000000044e3c2efe96

    Audiences: Registered Attendees

    Contact: Viterbi Graduate and Professional Programs

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File