Concept
Temporal logic
Related people (13)
Jean-Pierre Hubaux
Jean-Pierre Hubaux is a full professor at EPFL and head of the Laboratory for Data Security. Through his research, he contributes to laying the foundations and developing the tools for protecting privacy in today’s hyper-connected world. He has pioneered the areas of privacy and security in mobile/wireless networks and in personalized health. He is the academic director of the Center for Digital Trust (C4DT). He leads the Data Protection in Personalized Health (DPPH) project funded by the ETH Council and is a co-chair of the Data Security Work Stream of the Global Alliance for Genomics and Health (GA4GH). From 2008 to 2019 he was one of the seven commissioners of the Swiss FCC. He is a Fellow of both IEEE (2008) and ACM (2010). Recent awards: two of his papers obtained distinctions at the IEEE Symposium on Security and Privacy in 2015 and 2018. He is among the most cited researchers in privacy protection and in information security. Spoken languages: French, English, German, Italian
Stefano Spaccapietra
Stefano Spaccapietra is a full professor at EPFL, Switzerland, where he has been heading the database laboratory. He has been in academic positions all along his career. He got his PhD from the University of Paris VI, in 1978, where he first had his master in Computer Science in 1969. At that time, he has been teaching file systems, later turned into teaching database systems. He moved to the University of Burgundy, Dijon, in 1983 to take a professor position at the Institute of Technology. He left Dijon for EPFL in 1988.
Prof. Spaccapietra is a Fellow of the IEEE and recipient of the IFIP Silver Core Award and ER Award. He is an ER fellow.
He has been Editor-in-chief of the Journal of Data Semantics (LNCS subline), Springer.
He is member of the editorial boards of the Data and Knowledge Engineering Journal (Elsevier), the
Internet and Web Information Systems Journal (Kluwer), the Revue Internationale de Géomatique (Hermes), and the Computing Letters Journal (CoLe), VSP/Brill.
He was former Chair of the IFIP Working Group 2.6 "Databases" and of the ER Conferences Steering Committee.
Shawn Koppenhoefer
[ed: See the much more complete shawnkoppenhoefer.com pages] Originally from Canada, born in 1968, Shawn completed a double-honours degree (BSc in ‘Computer-Science’ and ‘Combinatorics & Optimization’ 1990) at the Faculty of Mathematics of the University of Waterloo. Six years later, at the EPFL while teaching the 1st-year course Introduction to Networks and Protocols, he published his doctoral thesis (PhD in Computer-Science ). He was invited to become 1st assistant in the Electrical Engineering Dept. at EPFL working on telecommunication-architectures with Alcatel/Orange/Siemens, developed relational databases at Charles Veillon S.A., worked on e-government applications (civilian and military) at Networkers S.A., performed system-administration/teaching/web-development at the World Health Organization collaborating center GFMER in Geneva, worked independently developing a few iOS applications in Objective-C, and finally returned to the EPFL and UNIL to do database-support, and IT-support. In addition to his work at LMOM lab LMOM.epfl.ch, Shawn also did a 3year stint at the LTP lab (principally Windows lab) http://LTP.epfl.ch, and at the ARVE lab replaced since with "DavisGroup" (Mac/Linux)(wp.unil.ch/davisgroup). He can be found in the usual places on social media (TW,FB,YT,FL,PI, LI, GoogleScholar, ResearcherID...).
Maryam Kamgarpour
Maryam Kamgarpour holds a Doctor of Philosophy in Engineering from the University of California, Berkeley and a Bachelor of Applied Science from University of Waterloo, Canada. Her research is on safe decision-making and control under uncertainty, game theory and mechanism design, mixed integer and stochastic optimization and control. Her theoretical research is motivated by control challenges arising in intelligent transportation networks, robotics, power grid systems and healthcare. She is the recipient of NASA High Potential Individual Award, NASA Excellence in Publication Award, and the European Union (ERC) Starting Grant.
Tony Alan Wood
Tony A. Wood received a B.Sc. degree in Information Technology and Electrical Engineering in 2010 and an M.Sc. degree in Robotics, Systems and Control in 2013, both from ETH Zurich, Switzerland. In 2018 he completed a Ph.D. at the Automatic Control Laboratory of ETH Zurich. From 2018 to 2021, he was a Research Fellow in the Department of Electrical and Electronic Engineering at the University of Melbourne, Australia. He is currently a Scientist in the Systems Control and Multiagent Optimization Research Group (Sycamore) at École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. His research interests lie in the fields of optimisation and automatic control with a particular focus on multi-agent systems. The specific topics he investigates include system identification, task allocation, path planning, model predictive control, delay compensation, and formal specification satisfaction for uncertain systems encountered in applications such as energy systems, smart buildings, biology, and robotics.