itrust-logo

Biographies

Aditya Mathur
Aditya has designed and taught numerous courses in Computer Science ranging from freshman to senior graduate levels. Focus on student engagement and active learning are two critical components of Aditya’s teaching style. He has authored several textbooks. His most well-known book “Introduction to Microprocessors” was first published in 1980 by Tata McGraw Hill and its third edition is now in its 36th reprint. This book, the first on the subject in India, led to the initiation and subsequent proliferation of undergraduate courses in microprocessors. His most recent book is titled “Foundations of Software Testing” and was published by Addison Wesley Professional in 2008. In collaboration with Barry Wittman and Tim Korb, Mathur has co-authored “A Gentle Introduction to Programming Using Java”. This book is intended to serve as a text in freshman programming courses.

Aditya’s research spans software testing, reliability, and process control. His foundational work, published in over 130 papers, relates to investigations into the effectiveness of testing techniques and their applicability to the testing of sequential and distributed software systems, methods for the estimation of software system reliability, and techniques and tools for managing a collection of Internet-enabled devices.

Aditya was a member of a small team of faculty members who started the first computer science department in India. Subsequently Aditya served as the head of this department. Later Aditya served as the associate head and head of Computer Science, Associate Dean of College of Science, and Director of the Software Engineering Research Centre – all at Purdue University.

Alvaro A. Cárdenas
Alvaro is an Assistant Professor at the Department of Computer Science in the Erik Jonsson School of Engineering at the University of Texas at Dallas. He holds M.S. and Ph.D. degrees from the University of Maryland, College Park.Before joining UT Dallas he was a postdoctoral scholar at the University of California, Berkeley, and a research staff at Fujitsu Laboratories of America in Sunnyvale California working on Smart Meter deployments. He has also been an invited visiting professor at the University of Cagliari in Italy, an intern at INRIA-LORIA in France, and a SCADA intern working with PLCs.
His research interests focus on computer security, cyber-physical systems, network intrusion detection, and wireless networks. He has received the best paper award from the IEEE Smart Grid Communications Conference, and the Army Science Conference.

Avi Ostfeld
Avi is a Professor at the Faculty of Civil and Environmental Engineering at the Technion – Israel Institute of Technology, and the Editor in Chief of the Journal of Water Resources Planning and Management Division, ASCE. Avi was a Senior Engineer and Project Manager at TAHAL – Consulting Engineers Ltd. in Tel – Aviv from 1997 to 2000; a Research Associate at the Department of Civil Engineering, the University of Arizona, Tucson, AZ, from 1996 to 1997; and a Research Associate at the Technion Water Research Institute from 1994 to 1996. During 2008/2009 he spent sabbaticals as Visiting Professor at the University of Illinois at Urbana Champaign and at the University of Kyoto. Avi’s research activities are in the fields of water resources systems, hydrology, and in particular in the area of water distribution systems optimization using evolutionary computation: water distribution systems security, optimal design and operation of water distribution systems, and integrating water quality and reliability into water distribution systems management and control.

Bruno Sinopoli
Bruno received the Dr. Eng. degree from the University of Padova in 1998 and his M.S. and Ph.D. in Electrical Engineering from the University of California at Berkeley, in 2003 and 2005 respectively. After a postdoctoral position at Stanford University, Bruno joined the faculty at Carnegie Mellon University where he is an associate professor in the Department of Electrical and Computer Engineering with courtesy appointments in Mechanical Engineering and in the Robotics Institute and co-director of the Smart Infrastructure Institute, a research centre aimed at advancing innovation in the modelling analysis and design of smart infrastructure. Bruno was awarded the 2006 Eli Jury Award for outstanding research achievement in the areas of systems, communications, control and signal processing at U.C. Berkeley, the 2010 George Tallman Ladd Research Award from Carnegie Mellon University and the NSF Career award in 2010.

Daniel Trivellato
Daniel received his PhD in computer security from the Eindhoven University of Technology in 2012. During his PhD, he worked in collaboration with Thales Netherlands on the design and implementation of an access control framework for protecting confidential data in dynamic distributed systems. In 2012, Daniel joined SecurityMatters as a project leader; his responsibilities encompassed marketing and sales, account management, and the organization and management of deployment projects at customers. Since 2014, Daniel is product manager for SecurityMatters’ Industrial Products portfolio, and is responsible for the evolution and commercialisation of the line of products targeting the industrial control systems domain.

Dina Hadžiosmanović
Dina is a postdoctoral researcher in the Cyber Security Chair of TU Delft, at TBM / Engineering Systems and Services – ICT Section, since September 2013. She is part of the TUD team for analysing different aspects of security in critical infrastructures like smart grids and flood barriers. In addition, Dina is closely involved in TREsPASS project, where she works on extracting and analysing various data sources from cloud and telecom infrastructure.
Dina obtained her PhD in the Distributed and Embedded Security research group under the supervision of Prof Pieter Hartel and Dr. Damiano Bolzoni at the University of Twente, The Netherlands. She received her dipl.ing university degree from the University of Sarajevo, Faculty of Electrical Engineering, on the Department of Computer Science and Informatics.

Justin Ruths
Justin is an Assistant Professor at the Singapore University of Technology and Design (SUTD). At SUTD, Justin develops theoretical tools that determine the fundamental properties of large-scale control systems and also computational methods to solve the optimal control problems corresponding to these dynamical systems, which are usually analytically intractable. In particular, his work is motivated by applications in the control of quantum systems and neuroscience as well as understanding the role of structure in the control of dynamical networks.
Justin received his PhD in Systems Science & Mathematics at Washington University in 2011, following his BS in Physics from Rice University in 2004 and his MS in Mechanical Engineering from Columbia University in 2006.

Kasper Bonne Rasmussen
Kasper completed his Masters degree in Computer Science (Information Technology and Mathematics) from the Technical University of Denmark (DTU) in December 2005. His Masters thesis was on optimisation of path protection in circuit switched networks. Kasper did his Ph.D. with Prof. Srdjan Capkun at the Department of Computer Science at ETH Zurich. During his Ph.D. he worked mainly on security issues relating to secure time synchronization and secure localisation with a particular focus on distance bounding. After completing his Ph.D., Kasper worked as a postdoc at University of California, Irvine, with Prof. Gene Tsudik.
Kasper joined University of Oxford in 2013 as a Lecturer in the Computer Science Department.

Mardavij Roozbehani
Mardavij is a principal research scientist at the Laboratory for Information and Decision systems (LIDS). He received the Ph.D. degree in Aeronautics and Astronautics from MIT (2008), focusing on developing a control theoretic framework for verification of software systems. Between 2008 and 2011 he held postdoctoral and research scientist positions at LIDS. His main research interests include distributed and networked control systems, software and finite-state systems, and dynamics and economics of power systems with an emphasis on robustness and risk. Mardavij is a recipient of the 2007 AIAA graduate award for safety verification of real-time software systems.

Marina Krotofil
Marina is Senior Security Consultant at European Network for Cyber Security. Most recently she completed her doctoral degree in ICS security at Hamburg University of Technology, Germany. Marina has maintained her practical and industry-oriented research focus through collaborations with several industrial partners, white-hat hackers and participation in EU projects. She is the author of the Damn Vulnerable Chemical Process framework – an open-source platform for cyber-physical security experimentation based on the realistic models of chemical plants.  Marina has written more than a dozen of papers on the on cyber-physical exploitation and defense. She is a frequent speaker at the leading ICS security and hacking venues worldwide. She holds an MBA in Technology Management, MSc in Telecommunications, MSc in Information and Communication Systems.

Nils Ole Tippenhauer
Nils joined SUTD in February 2014 as an Assistant Professor at the Information Systems Technology and Design Pillar. He is also an adjunct research scientist with the Advanced Digital Sciences Centre (ADSC) in Singapore. Nils earned his Dr. Sc. in Computer Science from Swiss Federal Institute of Technology in Zurich (ETHZ) in 2012.
Before ETH Zürich, Nils received a degree in Computer Engineering (Dipl. Ing.) from the Hamburg University of Technology (Germany) in 2007, for which he received the K.-H. Ditze Award for best Master’s Thesis, which was on side-channel attack-resistant embedded crypto.
Nils is interested in information security aspects of practical systems. In particular, he is currently working on security analysis of large heterogeneous systems such as (smart) power grids. In addition, Nils is interested in physical layer security aspects of wireless and embedded systems, for example secure ranging, distance measurements and communication using wireless signals. To date, he has (co-)authored more than a dozen publications in this field and received the best paper award at IFIP Wireless Days 2012.

Roland Bouffanais
Roland is an Assistant Professor in the Engineering Product Development (EPD) Pillar at the Singapore University of Technology and Design. He has been a postdoctoral fellow and associate at MIT and still is a research associate with the Department of Mechanical Engineering at MIT. Roland received his PhD Science from the Swiss Federal Institute of Technology Lausanne, (EPFL) Switzerland in 2007. He has two MScs – one in Fundamental Physics from the École Normale Supérieure, (ENS) Lyon, France (1999) and another in Physics of Fluids from the University of Paris VI – Pierre & Marie Curie, (UPMC) Paris, France (1998). Roland has received several awards including the prestigious IBM Research Prize in Computational Sciences (2008).
Roland’s research group – the Applied Complexity Group – focuses on both fundamental and applied interdisciplinary problems rooted in the field of Complexity. Specifically, Roland’s group investigates complexity in multiagent adaptive systems and networked control systems.

Sicun Gao
Sicun is a Postdoctoral Researcher at MIT CSAIL. His research focuses on automated and reliable methods for the design, analysis, and security of cyber-physical systems. He is a recipient of the Carnegie Mellon School of Computer Science Distinguished Dissertation Award Honourable Mention, and a Silver Medal from the Kurt Goedel Research Fellowship Prize. He obtained his PhD from Carnegie Mellon University and BS from Peking University.

Stefano Galelli
Stefano graduated in Environmental and Land Planning Engineering at Politecnico di Milano in 2007, and received a Ph.D. in Information and Communication Technology from the same university in early 2011. Before joining SUTD, he spent two years as Post-Doctoral Research Fellow at Singapore-Delft Water Alliance (National University of Singapore), where he was leading the Hydro-informatics group. He carries out research in systems analysis, data-driven modelling and optimisation, particularly focusing on their application to water resources modelling and management. He is member of the IFAC Technical Committee TC8.3 on Modelling and Control of Environmental Systems, and he serves as reviewer for different international journals. He received the Environmental Modelling & Software 2011 Outstanding Reviewer Award and an Early Career Excellence Award (2014) by the international Environmental Modelling & Software society.

Sun Jun
Jun received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. In 2007, he received the prestigious Lee Kuan Yew postdoctoral fellowship in School of Computing of NUS. Since 2010, he joined Singapore University of Technology and Design as an Assistant Professor. He was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, formal methods, software engineering, programme analysis and cyber-security. He is the co-founder of the PAT model checker. To date, he has more than 100 journal articles (including TSE, TOSEM, etc.) or peer-reviewed conference papers (including ICSE, FSE, CAV, TACAS, FM, etc.). Jun is also the general co-chair of ICECCS’13 and PRDC’s and program co-chair of FM’14. He is a number of conference programme committee including FM’15 and ICSE’16.

Yuval Elovici
Yuval joined iTrust in Sep 2014 as Research Director. In addition to his role at iTrust, he is also the director of the Telekom Innovation Laboratories at Ben-Gurion University of the Negev (BGU), head of BGU Cyber Security Research Centre, and a Professor in the Department of Information Systems Engineering at BGU.
Yuval holds B.Sc. and M.Sc. degrees in Computer and Electrical Engineering from BGU and a Ph.D. in Information Systems from Tel-Aviv University. He served as the head of the software engineering program at BGU for two and a half years. For the past 11 years he has led the cooperation between BGU and Deutsche Telekom. Yuval has published articles in leading peer-reviewed journals and in peer-reviewed conferences. In addition, he has co-authored books on social network security and on information leakage detection and prevention.
His primary research interests are computer and network security, cyber security, web intelligence, information warfare, social network analysis, and machine learning. Yuval also consults professionally in the area of cyber security and is the co-founder of Morphisec, a startup company that develops innovative cyber-security mechanisms that relate to moving target defence.