Seminars at CECS

Hardware Security in the Zynq All-Programmable Soc

Title: “Hardware Security in the Zynq All-Programmable Soc”

Speaker: Dr. Steve Trimberger, Xilinx

Date:  Friday, October 2, 2015

Time:  2:00 p.m.

Location:  Donald Bren Hall 4011

Host: Prof. Fadi J. Kurdahi

Abstract: FPGAs have grown from a simple logic replacement to fully-programmable SoC, with multi-core CPU subsystems, a broad spectrum of peripherals, hundreds of thousands of gates of programmable logic and high-speed multi-gigabit transceivers. As the complexity of the underlying hardware has grown, so has the value of the applications built in them and the data handled by them. Traditional FPGA bitstream security has been enhanced to address these greater security requirements. This talk presents an overview of hardware security issues and the security features of the Zynq All- Programmable SoC. The secure boot process includes asymmetric and symmetric authentication as well as symmetric encryption to protect software and programmable hardware during programming.During operation the hardware can disable test ports, monitor on-chip power and temperature and detect tampering with configuration data. ARM Trust Zone is integrated through the AXI busses into both the processor and the programmable logic subsystems.

Bio: Dr. Stephen Trimberger holds a M.S. degree in ICS from UCI and a Ph.D. degree from California Institute of Technology. Since 1988, he has been employed at Xilinx, where he is currently Xilinx Fellow heading the Circuits and Architectures Group in Xilinx Research Labs in San Jose, California. He was the technical leader for the XC4000 design automation software, developed a dynamically -reconfigurable multi-context FPGA, led the architecture definition group for the Xilinx XC4000X device families and designed the Xilinx bitstream security functions in the Virtex families of FPGAs. He led the group that developed the first die- stacked 3D FPGA prototype at Xilinx. He has served as Design Methods Chair for the Design Automation Conference, Program Chair and General Chair for the ACM/SIGDA FPGA Symposium and on the technical programs of numerous Workshops and Symposia. He has authored five books and dozens of papers on design automation, FPGA architectures and hardware security. He has more than 220 patents in IC design, FPGA and ASIC architecture, CAE, hardware security and cryptography. His innovations appear today in nearly all commercial FPGA devices. He is a Fellow of the ACM and a Fellow of the IEEE.

View Details Here


Resilience is a Critical Issue for Large-scale Platform

Speaker:  Prof. Yves Robert, Ecole Normale Supérieure de Lyon, France

Title:  Resilience is a Critical Issue for Large-scale Platform

Date:  Monday, May 18, 2015

Time:  11:00 a.m. – 12:00 p.m.

Location:  Harut Barsamian Colloquia Room (Engineering Hall 2430)

Host:  Prof. Jean-Luc Gaudiot

Abstract: Resilience is a critical issue for large-scale platforms. This talk will survey fault-tolerant techniques for high-performance computing:
– Overview of failure types and typical probability distributions
– Brief discussion of application-specific techniques, such as ABFT
– The standard general-purpose technique, checkpoint and     rollback recovery
– Recent extensions with replication, prediction and silent error detection
– Relevant execution scenarios, evaluated and compared through quantitative models.
The talk includes several illustrative examples and targets a general audience.

Bio: Yves Robert received his PhD degree from Institut National Polytechnique de Grenoble. He is currently a full professor in the Computer Science Laboratory LIP at ENS Lyon. He is the author of 7 books, 130+ papers published in international journals, and 200+ papers published in international conferences.  He is the editor of 11 book proceedings and 13 journal special issues.  He is the advisor of 28 PhD theses.  His main research interests are scheduling techniques and resilient algorithms for large-scale platforms. Yves Robert served on many editorial boards, including IEEE TPDS.  He was the program chair of HiPC’2006 in Bangalore, IPDPS’2008 in Miami, ISPDC’2009 in Lisbon, ICPP’2013 in Lyon and HiPC’2013 in Bangalore. He is a Fellow of the IEEE. He has been elected a Senior Member of Institut Universitaire de France in 2007 and renewed in 2012.  He has been awarded the 2014 IEEE TCSC Award for Excellence in Scalable Computing.  He holds a Visiting Scientist position at the University of Tennessee, Knoxville since 2011.



CMOS Process Variations: A “Critical Operation Point” Hypothesis

Title: CMOS Process Variations: A “Critical Operation Point” Hypothesis

Speaker: Dr. Janak H. Patel

Date: May 2, 2012

Time: 3:30-4:30 P.M.

Location: DBH 3011

Host: Professor Nikil Dutt


A Client-centric Approach to Interoperable Clouds

Speaker: Mukesh Singhal, Department of Computer Science, University of California, Merced

Title: A Client-centric Approach to Interoperable Clouds

Date: Friday, December 6, 2013

Time: 11:00am – 12:00pm

Location: Donald Bren Hall 6011

Abstract: Cloud computing offers several benefits in terms of scalability, cost and performance. These benefits have contributed to the wide-scale acceptance of the cloud computing paradigm and growing adoption by the industry. With this growth, limitations of this paradigm are beginning to surface. One such limitation is that contemporary clouds are not interoperable. This limitation arises due to proprietary technologies, heterogeneous interfaces and the tight tethering of service offerings to the host cloud. Current research solutions for enabling cloud interoperability are predominantly provider-centric, requiring cloud providers to adopt and implement the changes that facilitate interoperation. This approach faces several hurdles and can take a long time to hit the market. In the meantime, a client-centric approach to interoperation is necessary for providing its benefits to consumers in the current cloud ecosystem. To this end, a novel framework for cloud interoperation called collaborative cloud computing is proposed. The proposed framework provides dynamic, on-the-fly collaborations and resource sharing among cloud-based services, without pre-established collaboration agreements or standardized interfaces, through use of client-controlled mediating agents called proxies.

Bio: Mukesh Singhal is a Chancellor’s Professor in the Computer Science and Engineering program at the University of California, Merced. He received a PhD degree in Computer Science from the University of Maryland, College Park, in May 1986. From 1986 to 2001, he was a faculty in the department of Computer and Information Science at The Ohio State University. From 1998 to 2001, he served as the program director of the Operating Systems and Compilers program at the National Science Foundation. From 2001 to 2012, he was a Professor and Gartner Group endowed chair in Network Engineering in the Department of Computer Science at The University of Kentucky. His current research interests include distributed and cloud computing, cyber-security, and computer networks. He has published over 240 refereed articles in these areas. He is a Fellow of IEEE and he was a recipient of 2003 IEEE Technical Achievement Award. He has coauthored four books titled “Advanced Concepts in Operating Systems”, McGraw-Hill, New York, 1994, “Distributed Computing Systems”, Cambridge University Press 2007, “Data and Computer Communications: Networking and Internetworking”, CRC Press, 2001, and “Readings in Distributed Computing Systems”, IEEE Computer Society Press, 1993. He has served in the editorial board of “IEEE Trans. on Dependable and Secure Computing”, “IEEE Trans. on Parallel and Distributed Systems”, “IEEE Trans. on Data and Knowledge Engineering”, and “”IEEE Trans. on Computers”.


The Confluence of Communications, Sensing and Control in Large Scale Wireless Networks

Speaker:  Prof. Urbashi Mitra, Electrical Engineering, University of Southern California

Title:  The Confluence of Communications, Sensing and Control in Large Scale Wireless Networks

Date:  Friday, November 8, 2013

Time:  11:00am – 12:00pm

Location:  Donald Bren Hall 6011

Abstract: Modern wireless technology enables the vision of future large scale systems such as the SmartGrid, a network of ubiquitous and heterogeneous devices wirelessly connected to the Internet, and wireless health monitoring and health modifying sensor networks over communities and not just individuals.  All of these applications necessitate methods that simultaneously consider scale, communication, sensing and control. In this talk, key elements of realizing this vision are examined.  We shall focus on novel active control methods for networks described by partially observable Markov decision processes.  Such models are very general and can encompass sensing networks, as well as communication networks.  Following an innovations approach, a Kalman-like filter is derived to estimate the underlying system state.  As a case-study, numerical results are provided for physical activity detection in a heterogeneous wireless body area network.  We further examine distributed estimation in large scale networks with time-correlated behavior and explore how modern statistical methods such as compressed sensing can be applied to both the distributed estimation problem as well as the network control problem.

Bio: Urbashi Mitra received the B.S. and the M.S. degrees from the University of California at Berkeley and her Ph.D. from Princeton University.   She is currently a Professor in the Ming Hsieh Department of Electrical Engineering at the University of Southern California.  She is a member of the IEEE Information Theory Society’s Board of Governors (2002-2007, 2012-2014) and the IEEE Signal Processing Society’s Technical Committee on Signal Processing for Communications and Networks (2012-2014). She is the recipient of:  2012 Globecom Signal Processing for Communications Symposium Best Paper Award, 2012 NAE Lillian Gilbreth Lectureship, USC Center for Excellence in Research Fellowship (2010-2013), the 2009 DCOSS Applications & Systems Best Paper Award, IEEE Fellow (2007), Texas Instruments Visiting Professor (Fall 2002, Rice University), 2001 Okawa Foundation Award, 2000 OSU College of Engineering Lumley Award for Research, and a 1996 NSF CAREER Award.  Dr. Mitra has been/is an Associate Editor for the following IEEE publications: Transactions on Signal Processing (2012–), Transactions on Information Theory (2007-2011), Journal of Oceanic Engineering (2006-2011), and Transactions on Communications (1996-2001).  Dr. Mitra has held visiting appointments at: the Delft University of Technology, Stanford University, Rice University, and the Eurecom Institute. She served as co-Director of the Communication Sciences Institute at the University of Southern California from 2004-2007.  Her research interests are in: wireless communications, communication and sensor networks, detection and estimation and the interface of communication, sensing and control.

Building Fake Body Parts: Real-Time Digital Mockups of Physiological Systems

Title:  Building Fake Body Parts: Real-Time Digital Mockups of Physiological Systems
Speaker: Prof. Frank Vahid, University of California, Riverside
Location: 6011 Donald Bren Hall
Date/Time: Friday, October 26, 2012, 11:00am – 12:00pm
Host: Prof. Eli Bozorgzadeh

Abstract: Designing computer-based medical devices like pacemakers or ventilators is hard, in part because testing can’t be done on real humans. PC-based simulations are slow and inaccurate. Using physical mockups, like connecting a ventilator device to a balloon acting as a lung, can’t support sufficiently diverse scenarios, like fluid in the lungs. This talk describes joint UCR/UCI work on developing “digital mockups” — models of physiological systems that execute in real-time, supporting thorough testing of device software. We show that FPGAs (field-programmable gate arrays) — widely-available programmable chips having a unique execution approach that we’ll describe — are an excellent match for executing physiological models, yielding order-of-magnitude speedups over PCs, GPUs, and other computing approaches. The talk describes the synthesis approach to automatically converting models, consisting of thousands of differential equations, into networks of processing elements on FPGAs. Real-time execution of physiological models can also be useful in building complete human simulators, used today medical and nursing schools. More broadly, real-time execution of physical systems (chemical, biological, mechanical, physiological, etc.) can be useful in the design of a wide variety of what today are called cyber-physical systems– systems where computers interact closely with the physical world – including automobiles, aircraft, medical equipment, military equipment, manufacturing systems, and much more.

Bio: Frank Vahid is a Professor of Computer Science and Engineering at the University of California, Riverside (B.S. 1988 Univ. of Illinois in 1988, M.S./Ph.D. 1990/1994 Univ.of California, Irvine. He is author of several textbooks on embedded systems and digital design. His current research interests include creating technologies for cyber-physical systems (, developing customizable assistive monitoring systems for home-alone aging/disabled persons and their caretakers, and creating the next generation of online interactive animated learning material (
View Details Here

Addressing Supply Chain Security with Split Manufacturing

Speaker: Dr. Ted Huffmire, Naval Postgraduate School, Monterey, CA
Title: Addressing Supply Chain Security with Split Manufacturing
Date: July 27, 2012
Location: Donald Bren Hall 3011
CECS Host: Prof. Nikil Dutt

Abstract: Security is an essential design goal in computer architecture, and security is a concern throughout the entire lifecycle of a system. The process of designing hardware requires trusting intellectual property (IP) cores and computer-aided design (CAD) tools developed by third parties, as well as the fabrication, packaging, assembly, and delivery of the final system. Valuable IP is vulnerable to theft and modification during tape-out, even if a perfect design free of security flaws is sent to the foundry. Of course, no design is ever perfect, and having a trusted foundry does not solve the problem of flawed designs. Furthermore, the trusted foundry may not have the capability to deliver the most aggressive technology node, volume, yield, or cost. Even the extraordinary step of building everything from scratch in-house, including all of the tool chains, both digital and analog, is not guaranteed to result in a trustworthy design.

Bio: Ted Huffmire is an Assistant Professor of Computer Science at the Naval Postgraduate School in Monterey, California. His research spans both computer security and computer architecture, focusing on hardware-oriented security and the development of policy enforcement mechanisms for application-specific devices. He has a Ph.D. in computer science from the University of California, Santa Barbara. He is a member of the IEEE and the ACM. The views presented in this talk are those of the speaker and do not necessarily reflect the views of the United States Department of Defense.

View Details Here

Circuits and Systems Seminar Series

Title: “Adaptive Design: Tackling Variability Challenges in VLSI Circuits”

Speaker: Prof Mingoo Seok, Columbia University, New York, NY

Date and Time: Friday, April 22, 2016 at 3:00 P.M. – 4:00 P.M.

Location: Engineering Hall 2430

Hosts: Professor Payam Heydari

Abstract: In this talk, we will discuss variability challenges in VLSI systems and our recent research efforts on variation-adaptive design techniques. Variability in supply voltage, chip temperature, manufacturing process, and transistor aging have imposed a large amount of pessimistic margins in clock frequency, voltage, and device size, which has severely undermined gains from various boundary-pushing efforts. We will present (1) a low-overhead, in-sit, within-a-cycle timing-error detection and correction technique that can operate at near/sub-threshold voltage, (2) ultra-compact thermal sensor circuits enabling 10-100X denser on-chip thermal sensing, (3) self-testing circuits and frameworks for in-field & in-sit aging monitoring in pipeline and SRAM register files. Several test chip measurement results will be presented.

Bio: Mingoo Seok is an assistant professor in the Department of Electrical Engineering at Columbia University. He received the BS (with summa cum laude) in electrical engineering from Seoul National University, South Korea, in 2005, and the MS and PhD degree from University of Michigan in 2007 and 2011, respectively, all in electrical engineering. He was a member of technical staff in Texas Instruments, Dallas in 2011. He joined Columbia University in 2012. His research interests are various aspects of computing systems, including ultra-low-power computing systems, computing systems for machine learning, adaptive circuits and architecture, and non-conventional computing systems. He received 1999 Distinguished Undergraduate Scholarship from the Korea Foundation for Advanced Studies, 2005 Doctoral Fellowship from the same organization, and 2008 Rackham Pre-Doctoral Fellowship from University of Michigan. He also won 2009 AMD/CICC Scholarship Award for picowatt voltage reference work and 2009 DAC/ISSCC Design Contest for the 35pW sensor platform design. He won 2015 NSF CAREER award. He has been serving as an associate editor for IEEE Transactions on Circuits and Systems I since 2013, and IEEE Transactions on VLSI Systems since 2015.

View Details Here

CECS Hosts IWCR 2016
Area/speed tradeoffs in a retargetable FPGA-optimized processor core

Speaker:  Marco Zec, University of Zagreb

Title:  “Area/speed tradeoffs in a retargetable FPGA-optimized processor core”

Date:  Friday, July 15, 2016

Time:  11:00 AM

Location:  CECS Conference Room (Engineering Hall 3206)

Host:  Prof. Daniel Gajski

Abstract: Can portable yet efficient, FPGA-optimized processor cores be constructed using generic HDL, without depending on any vendor-specific primitives?  In this talk we will discuss the techniques applied for achieving a balance between instruction throughput and FPGA resource utilization in a synthesizable scalar core which outperforms its proprietary counterparts (MicroBlaze, Nios, Cortex-M3) by 20% to 40% in industry-standard integer benchmarks (CoreMark, Dhrystone per MHz) while
occupying less than 1000 6-input LUTs, and less than 650 LUTs in an area-optimized configuration.  The core can be retargeted to execute subsets of either the emerging RISC-V or the traditional MIPS instruction sets, and is supported by contemporary GNU-based software toolchains.

Bio: Marko Zec received a BSc in electrical engineering from the University of Zagreb, where since 2005. he has been working as a project scientist on various computer networks projects with funding from ICSI Berkeley, the FreeBSD foundation, Boeing Integrated Defense Systems, and Ericsson. His research interests include operating systems, computer networks, software-based packet processing datapaths, and programmable logic.

View Details

“Towards Computer-Aided Design of Electrical Energy Systems: Challenges and Solutions”

Title: “Towards Computer-Aided Design of Electrical Energy Systems: Challenges and Solutions”

Speaker: Professor Massimo Poncino, Polytechnic University of Turin, Italy

Date and Time: Friday, April 22, 2016 at 11:00 A.M. – 12:00 P.M.

Location: Engineering Hall 2430

Hosts: Professor Mohammad Al Faruque

Abstract: Electrical energy systems (EESs) include energy generation, distribution, storage, and consumption, and involve many diverse components and sub-systems to implement these tasks. In this talk we discuss fundamental concepts towards a first attempt in applying EDA design methodologies that are widely used for electronics systems design to the case of the design of EESs. CAD for EESs encompasses modeling, simulation, design and optimization and is a challenging task that mandates a multidisciplinary and heterogeneous approach. We identify similarities and differences between electrical energy systems and electronics systems in order to inherit as much as possible the profound legacy resources of EDA. The talk analyzes in deeper details the issue of representation, modeling, and simulation of EESs, tasks that naturally precede synthesis and optimization in a typical design flow.
Bio: Massimo Poncino is Full Professor of Computing Systems at Politecnico di Torino. Prior to that,
he was an Associate Professor (from 2004 to 2006) at Politecnico di Torino, Associate Professor (from 2001 to 2004) at Università di Verona, and Assistant Professor (from 1995 to 2001) at Politecnico di Torino. From 1993 to 1994 he was a Visiting Scientist at the Department of Electrical and Computer Engineering of the University of Colorado, Boulder, USA. He holds a Dr. Eng. degree in Electrical Engineering (1989) and a PhD degree in Computer Engineering, both from Politecnico di Torino (1993).His research interests include the design automation of digital systems, with emphasis on low
-power embedded systems, modeling and the simulation of systems -on- chip, and automatic synthesis of digital systems. He has coauthored more than 300 publications in the above areas, including one book on energy -efficient memory design. Massimo Poncino has served as member of Technical Program Committee of more than 50 IEEE and ACM conferences. He was the Technical Program Chair of the 2011 IEEE/ACM Symposium on Low-Power Electronics and Design and General co-Chair for the same conference in 2012. He has served in the Editorial Board of the IEEE Transactions on CAD from 2006 to 2011, and is currently serving in the Editorial Board of IEEE Design & Test and ACM Transactions on Design Automation of Electronic Systems (TODAES). Prof. Poncino is a Senior Member of IEEE, member of the ACM SIGDA Low -Power Technical Committee, and a Member the Circuit and Systems Society.

View Details Here

Energy-Efficient Capacitance-to-Digital Converters for Low-Energy Sensor Nodes

Title: “Energy-Efficient Capacitance-to-Digital Converters for Low-Energy Sensor Nodes”

Speaker: Professor Khaled N. Salama, King Abdullah, University of Science and Technology, Saudi Arabia

Date and Time: Thursday, February 18, 2016 at 11:00 A.M.

Location: Engineering Hall 2430

Hosts: Fadi J. Kurdahi and Ahmed Eltawil

Abstract: Energy efficiency is a key requirement for wireless sensor nodes, biomedical implants, and wearable devices. The energy consumption of the sensor node needs to be minimized to avoid battery replacement, or even better, to enable the device to survive on energy harvested from the ambient. Capacitive sensors do not consume static power; thus, they are attractive from an energy efficiency perspective. In addition, they can be employed in a wide range of sensing applications, such as pressure, humidity, biological, and chemical sensing. However, the capacitive sensor readout circuit—i.e., the capacitance-to-digital converter (CDC) —can be the dominant source of energy consumption in the system. Thus, the development of energy-efficient CDC architectures is crucial to minimizing the energy consumption of capacitive sensor nodes. In the first part of this talk, we propose several energy -efficient CDC architectures for low-energy sensor nodes. In the second part, we study the matching properties of small integrated capacitors, which are an integral component of energy-efficient CDCs. Despite conventional wisdom, we experimentally illustrate that the mismatch of small capacitors can be directly measured, and we report experimental mismatch measurements for sub-femtofarad integrated capacitors. We also correct the common misconception that lateral capacitors match better than vertical capacitors, and we identify the conditions that make one implementation preferable.

Bio: Dr. Salama received his bachelor’s degree with honors from the Electronics and Communications Department at Cairo University in Egypt in 1997, and his master’s and doctorate degrees from the Electrical Engineering Department at Stanford University in the United States, in 2000 and 2005 respectively. He was an assistant professor at RPI between 2005 and 2008. He joined King Abdullah University of science and technology (KAUST) in January 2009 and was the electrical engineering founding program chair till August 2011. His work on CMOS sensors for molecular detection has been funded by the National Institutes of Health (NIH) and the Defense Advanced Research Projects Agency (DARPA), awarded the Stanford-Berkeley Innovators Challenge Award in biological sciences and was acquired by Lumina Inc in 2008. He is the cofounder of ultrawave labs, a biomedical imaging company that was recently acquired. He is the co-author of 90 papers and 10 patents on low-power mixed-signal circuits for intelligent fully integrated sensors and non linear electronics specially memristor devices. He is a senior member of IEEE.

View Details Here

Mitigating BTI-induced Device Degradation: A Circuit and System Persepctive

Title: Mitigating BTI-induced Device Degradation: A Circuit and System Persepctive

Speaker: Professor Ing-Chao Lin, National Cheng Kung University, Taiwan

Date and Time: Monday, February 8, 2016 at 1:30 P.M.

Location: Donald Bren Hall 3011

Host: Professor Nikil Dutt

Abstract: Bias temperature instability which causes a shift in the transistor’s threshold voltage and decreases circuit switching speed has become a major reliability concern. In this talk, I will introduce the techniques to mitigate device degradation at the circuit and system level, and provide design guidelines to deal with device degradation. The future trend on device degradation will be introduced as well.

Biography: Prof. Ing‐Chao Lin received his M.S. degree from Dept. of Computer Science and Information Engineering, National Taiwan University and Ph.D. degree from Dept. of Computer Science and Engineering, the Pennsylvania State University 2001 and 2007, respectively. From 2007 to 2009, he is a staff R&D engineer in Real Intent Inc., CA, USA, where he is working on Real Intent’s automatic timing exception verifier. His research interest includes reliable power‐aware system, electronic design automation, and computer architecture. He has authored or co‐authored more than 50 scientific papers and is a committee member of many technical conferences. He is a senior member of IEEE and he is thechair of IEEE Tainan Young Professional group. He is the recipient of 2015 Excellent Young Researcher Award by Chinese Institute of Electrical Engineering. He is currently a visiting scholar in Dept. of Electrical and Computer Engineering, University of California, Santa Barbara.


View more details here


Mobile Technology Enabling Frictionless HealthCare

Title: “Mobile Technology Enabling Frictionless HealthCare”

Speaker: Aiman Abdel-Malek, Vice President, Engineering, Qualcomm Life, Founder & CEO, Frictionless Life Analytics

Date:  Tuesday, November 10, 2015

Time:  3:00 p.m.

Location:  Engineering Hall 2430

Host: Prof. Fadi J. Kurdahi

Abstract: With Smart mobile devices being the fastest growing consumer platform in history, it is becoming a huge enabler to new business models that reduce friction in daily life. Aiman will introduce how mobile technology is creating solutions to many of the current healthcare issues and enabling moving care from the hospital to the home.

Bio: Aiman joined Qualcomm Life from General Electric’s Healthcare Division in Sept 2012, where he served as GM and CTO for the Global Services Technology business, a $5 billion division of GE healthcare. There he led a global engineering team responsible for the development of software and systems platforms for predictive remote service technology and healthcare operational efficiency and quality applications. Aiman served GE for 25 years; 10 years in R&D helping the development of GE’s first digital x-ray mammography system and digital Ultrasound system. He then moved to GE Transportation to start and manage the first Satellite wireless-based Locomotive Remote Predictive Services business, which currently runs on over 20,000 locomotives. Afterward, he took an expat assignment in the United Kingdom, as technology managing director for the Pipeline Inspection Services, a $400 million global business unit of GE Oil and Gas. Aiman’s technical expertise is in the development of vision inspired signal processing algorithms for aerospace, industrial and medical applications. He earned his PhD in Systems & Biomedical engineering from the University of Southern California, completing post-doctoral research at UCLA in neurology. He is a senior member of the IEEE and holds over 22 US and international patents. He serves as a member of the Scientific Advisory Board for the Qualcomm-Xprize Tricorder competition. Also, he served on GE’s Corporate Software Board, and as an executive leader for the Image & Signal Processing Technology Council for GE Healthcare. Aiman recently founded his own company, which aims at helping guide California startups & ventures move from “concept” to “scale” in most frictionless path. He is also a Board Advisor to few startups.


When Lyapunov meets Church, automated synthesis of complex systems emerges

Title: When Lyapunov meets Church, automated synthesis of complex systems emerges

Speaker: Prof. Majid Zamani, Technische Universität München, Germany

Date: Thursday, September 24, 2015

Time: 3:30 p.m.

Location: Engineering Colloquia Room 2430

Host: Faryar Jabbari and Solmaz S. Kia

Abstract: Software plays a crucial role in many everyday applications. Modern vehicles and
airplanes, for instance, use interacting software and hardware components to control steering, fuel in
jection, and airbag deployment. These applications are examples of cyber-­‐physical systems (CPS), where software components interact tightly with physical systems. Recent advances in device manufacturing, computation, storage, and networking have made tremendous advances in hardware and systems platforms for CPS. However, the development of core software controllers that run on these systems is still ad hoc and error-­‐prone. Many CPS applications are safety-­‐critical, and much of the engineering costs today are consumed with ensuring that software works correctly. In this talk, I will proposes a transformative design process, in which the controller code is automatically synthesized from higher-­‐level correctness requirements. Requirements for modern CPS applications go beyond conventional requirements in control theory (stability, synchronization, and tracking) and
beyond traditional protocol design in computer science. Accordingly, I will propose unified methodologies for automatic controller synthesis by combining techniques from discrete systems theory from computer science with continuous dynamical systems from control theory. The proposed automated synthesis of correct-­‐by-­‐ construction controllers holds the potential to develop complex yet reliable CPS applications while considerably reducing verification and validation costs.

Bio: Majid Zamani is an assistant professor in the Department of Electrical and

Computer Engineering at Technische Universität München where he leads the Hybrid Control Systems Group. He received a Ph.D. degree in Electrical Engineering and an MA degree in Mathematics both from University of California, Los Angeles in 2012, an M.Sc. degree in Electrical Engineering from Sharif University of Technology in 2007, and a B.Sc. degree in Electrical Engineering from Isfahan University of Technology in 2005. From September 2012 to December 2013, he was a postdoctoral researcher in the Delft Centre for Systems and Control at Delft University of Technology. Between December 2013 and May 2014, he was an assistant professor at Delft University of Technology.nd RSS). He is the Editor-­‐in-­‐Chief of the Springer journal Autonomous Robots.