Learning-Based Oracle-Guided Compositional Symbiotic Design of CPS (LOGiCS), a project led by Prof. Sanjit Seshia with a team that includes Profs. Prabal Dutta, Björn Hartmann, Alberto Sangiovanni-Vincentelli, Claire Tomlin, and Shankar Sastry, as well as alumni Ankur Mehta (EECS Ph.D. '12, advisor: Kris Pister) and Daniel Fremont (CS Ph.D. '20, advisor: Sanjit Seshia), has been awarded an $8.4M Defense Advanced Research Projects Agency (DARPA) grant as part of their Symbiotic Design of Cyber-Physical Systems (SDCPS) program. CPS has applications not only for DARPA missions but also in areas such as agriculture, environmental science, civil engineering, healthcare, and transportation. SDCPS is a four-year program which aims to "develop AI-based approaches that partner with human intelligence to perform 'correct-by-construction' design for cyber-physical systems, which integrate computation with physical processes." LOGiCS takes a novel approach that blends AI and machine learning with guidance from human and computational oracles to perform compositional design of CPS such as autonomous vehicles that operate on the ground, in the air and in water to achieve complex missions. “Our primary role is to develop algorithms, formalisms and software for use in the design of CPS,” said Seshia. “These techniques allow designers to represent large, complex design spaces; efficiently search those spaces for safe, high-performance designs; and compose multiple components spanning very different domains — structural, mechanical, electrical and computational.”
2013's CS Distinguished Alumna, Cecilia Aragon (M.S. '87/Ph.D. '04, advisors: Shankar Sastry and Marti Hearst), the first Latina pilot on the United States Unlimited Aerobatic Team, and the first Latina full professor at the University of Washington, is the subject of an EECS 150W profile by Sheila Humphreys. The child of immigrants, Aragon dreamed of one day becoming a professor. By the time she had earned her Master's degree , however, her self-confidence had taken a beating from years of racist and sexist antagonism, and she needed to take some time off. She learned to fly, joined the US Unlimited Aerobatic Team, and helped bring home a world championship medal. She returned to Berkeley invigorated, and became an expert in human-centered data science. She currently holds multiple appointments at the University of Washington, remains actively engaged in efforts to support women and other underrepresented groups in computing, and has recently published a memoir. Learn more about Cecilia's journey.
CS Prof. and alumna Dawn Song (Ph.D. '02, advisor: Doug Tygar) has won the 2020 ACM Special Interest Group on Security, Audit and Control (SIGSAC) Outstanding Innovation Award. This award recognizes "outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems." Song was cited "for contributions to systems and software security, in particular, dynamic taint analysis for vulnerability discovery and malware detection." She pioneered the BitBlaze Binary Analysis Infrastructure, a unified binary program analysis platform used to provide novel solutions to computer security problems, including automatic vulnerability discovery and defense, in-depth malware analysis, and automatic extraction of security models for analysis and verification.
EECS alumnus and Prof. Ali Niknejad (M.S. '97/Ph.D. '00, advisor: Robert Meyer) has won the 2020 Semiconductor Industry Association (SIA) University Research Award. This award recognizes researchers in both technology and design who have made “a lifetime of great impact to the semiconductor industry.” Niknejad was cited for “noteworthy achievements that have advanced analog, RF, and mm-wave circuit design and modeling, which serve as the foundation of 5G+ technologies.” Stanford ME Prof. Kenneth Goodson also won the award this year. “Research is the engine of innovation in the semiconductor industry, enabling breakthroughs that power our economy and help solve society’s great challenges,” said John Neuffer, SIA president and CEO. “The work of Drs. Goodson and Niknejad has greatly advanced chip technology and helped keep America at the leading edge of innovation.” Niknejad, who previously received the 2012 ASEE Frederick Emmons Terman Award for his textbook on electromagnetics and RF integrated circuits, will accept the SIA award during the 2020 SIA Leadership Forum and Award Celebration on November 19th.
"Extreme MRI: Large‐scale volumetric dynamic imaging from continuous non‐gated acquisitions,” a paper by EECS alumnus Frank Ong (B.S. '13, Ph.D. '18) and his advisor, Prof. Miki Lustig, has been chosen as October's Reproducible Research pick by the International Society for Magnetic Resonance in Medicine (ISMRM). The paper, in which the researchers attempt to reconstruct a large-scale dynamic image dataset while pushing reconstruction resolution to the limit, was chosen "because, in addition to sharing their code, the authors also shared a demo of their work in a Google Colab notebook." Lustig and Ong, now a research engineer at Stanford, participated in a Q&A in which they discussed how they became interested in MRI, what makes Extreme MRI "extreme," the culture and value of open science, and why Lustig's grad school paper on compressed sensing became the most cited paper in MRM. ISMRM is an international nonprofit association that promotes research development in the field of magnetic resonance in medicine to help facilitate continuing education in the field.
EECS Prof. Emeritus Michael Stonebraker has won the prestigious NEC Computers and Communications (C&C) Prize "For Pioneering Contributions to Relational Database Systems." The prize is awarded "to distinguished persons in recognition of outstanding contributions to research and development and/or pioneering work in the fields of semiconductors, computers, and/or telecommunications and in their integrated technologies." In the early 1970's, Stonebraker and Prof. Eugene Wong began researching Relational Database Management Systems (RDBMS), which culminated in the creation of the Interactive Graphics and Retrieval System (INGRES), a practical and efficient implementation of the relational model running on Unix-based DEC machines. It included a number of key ideas still widely used today, including B-trees, primary-copy replication, the query rewrite approach to views and integrity constraints, and the idea of rules/triggers for integrity checking in an RDBMS. Stonebraker, Wong, and Prof. Larry Rowe, founded a startup called Relational Technology, Inc. (renamed Ingres Corporation), which they sold to Computer Associates in the early 1990's for $311M. Stonebraker's student, Robert Epstein (Ph.D. '80), founded the startup Sybase, which created the code used as a basis for the Microsoft SQL Server. Stonebraker also created Postgres in the late 1980's, which made it easier for programmers to modify or add to the optimizer, query language, runtime, and indexing frameworks. It broadened the commercial database market by improving both database programmability and performance, making it possible to push large portions of a number of applications inside the database, including geographic information systems and time series processing. Stonebraker retired from Berkeley in 2000 to found more companies and become an adjunct professor at MIT. His achievements have been recognized with an IEEE John von Neumann Medal in 2005, ACM A.M. Turing Award in 2014, and ACM SIGMOD Systems Award in 2015.
EECS alumna Dorsa Sadigh (BS '12 / PhD '17, advisors: Shankar Sastry and Sanjit Seshia) has been recognized with the IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Early Career Award ‘‘for contributions to the theory, design, and implementation of human cyber-physical systems.’’ She is currently an Assistant Professor in the Departments of both Computer Science and Electrical Engineering at Stanford University. Her research interests lie at the intersection of robotics, machine learning, and control theory, and she is currently working on developing efficient algorithms for safe, reliable, and adaptive human-robot and generally multi-agent interactions.
EE alumnus Colin Parris (M.S. '87, Ph.D. '94, advisor: Domenico Ferrari), the Ken Kennedy keynote speaker at the 2020 ACM Richard Tapia Celebration of Diversity in Computing Conference, is the subject of a CMDIT interview. He talks about his childhood, the value of diversity in technological fields, and what young people interested in tech careers should know. His keynote lecture, titled "How Digital Technology Will Shape the Future of Business," discussed how AI's physical/digital marriage can accelerate business growth and create new opportunities for people who want to find solutions to some of the world's biggest problems. Parris is currently the Senior Vice President and Chief Technology Officer at GE Digital.
CS alumna Cecilia Aragon (Ph.D. '04, advisors: Shankar Sastry and Marti Hearst) has written a memoir titled "Flying Free," which describes how she shook off the tethers of discrimination and her debilitating fear of heights to become the first Latina pilot to win a spot on the United States Unlimited Aerobatic Team, which represented the U.S. at the World Aerobatic Championships in 1991. The daughter of a Chilean father and Filipina mother, Aragon earned her B.S. in Mathematics at Caltech before coming to Berkeley. She was president of the student organization Women in Computer Science and Engineering (WICSE) in 1985 before dropping out. After conquering her fears, she returned to Berkeley to complete her dissertation, "Improving Aviation Safety with Information Visualization: Airflow Hazard Display for Helicopter Pilots," in 2004. Aragon then spent nine years at the NASA Ames Research Center designing software for projects that included missions to Mars, before leaving to be a staff scientist/visiting faculty at LBNL for another 15 years. She then became the first Latina full professor at the University of Washington (UW), where has worked for the past ten years in the Department of Human Centered Design and Engineering, founding and co-directing the UW Data Science Masters Degree program. Aragon was named Berkeley Computer Science Distinguished Alumna in 2013. She co-authored a previous book, "Writers in the Secret Garden: Fanfiction, Youth, and New Forms of Mentoring," released by MIT Press in 2019.
EECS alumnus John S. Davis II (Ph.D. '00, advisor: Edward Lee) will be participating in the Black Engineering and Science Alumni Club (BESAC)'s homecoming week panel on "Black in STEM - in the face of two pandemics." This virtual moderated panel, which will be held on October 17th, will discuss the impact that both the CoVID-19 pandemic and the events underlying the Black Lives Matter movement have had on the Black community. Davis is a senior privacy engineer at Google where he has published work to aid CoVID-19 researchers in datamining symptom search terms in Google while simultaneously protecting user privacy. He joined Google in 2019 after eight years as a senior information scientist at the Rand Corporation, and seven years as a staff researcher at IBM’s Watson Research Center. The panel will discuss topics ranging from engineering projects by UC Berkeley alumni and faculty to meet the moment of the CoVID-19 pandemic, efforts to address the disparate effects of CoVID-19 on the Black community, and wide-ranging initiatives to redress the impacts of systemic racism. Registration is required to receive the Zoom log-in.