Postdoctoral Scholar yshoukry@eecs.berkeley.edu EECS, University of California, Berkeley, EE, University of California, Los Angeles, ESE, University of Pennsylvania
I am joining the Electrical and Computer Engineering Deaprtment at UMD in Fall 2017 as an assistant professor. I am looking for bright PhD students with interests and expertise in cyber-physical systems, formal methods, control theory, and machine learning!
I am a postdoctoral scholar at UC Berkeley/UCLA/UPenn. I work with Prof. George J. Pappas (UPenn), Prof. Sanjit A. Seshia (UC Berkeley), and Prof. Paulo Tabuada (UCLA). I received my Ph.D. in Electrical Engineering from UCLA in 2015, where I worked with both Prof. Paulo Tabuada and Prof. Mani Srivastava. My main research interests lie in the general area of designing and implementing cyber-physical systems (CPS) and Internet of Things (IoT) with specific interest on security and privacy problems. My research draws on tools from both electrical engineering (e.g. control theory and optimization theory) and computer science (e.g. embedded systems and formal methods). I enjoy building new hardware artifacts, devise new algorithms that work well in practice as well as analyzing their performance from a theoretical point of view.
Avelabs is a supplier of embedded solutions and services for the automotive industry. My roles as a consultant are to design, architect, and impelemnt new generation of secure automotive embedded systems.
In this period,I was working in the field of model-based development. Bridge Point (BP) is a Mentor tool which executes and verifies xtUML models. These models are then used to generate correct-by-design embedded real-time applications. My role was to add a new feature called "SystemC Model Compiler". By introducing this feature, BP will be able to generate SystemC hardware descriptions from xtUML models. This is a new trend in the top-notch Electronic Systems Level (ESL) technologies.
In this period, I was assigned to different projects in the field of automotive networking. My roles varied from developing embedded software modules to the development of PC-based, automated black-box regression test suites using a language called TTCN-3. Our work targets a wide set of automotive networking technologies like OSEK and AUTOSAR standards and different automotive networking protocols like CAN, LIN, and FlexRay.
Development of automotive safety-critical applications requires support of testing tools. In this project it is required to develop testing tool which is able to inject bit-level errors on CAN packets to emulate the behavior of arbitration loss.
Developing Java applets for simulation of wave propagation inside wave guides.