Adriana Gogonel is an INRIA Research Engineer in Statistics. Her research with INRIA concerns the probabilistic analysis of real-time systems based on Extreme Value Theory. She has a PhD degree in Statistics (in the short-term forecasting of the extreme events area). Currently she is helping the TRIO team in their research of an adaptation of classical theory of statistics and probability to the area of real-time systems.
People
Andrea Baldovin
Andrea Baldovin is a PhD student in Computer Science at the University of Padua. He received his Bachelor's and Master's Degree from the same institution, where he has been involved in the EU-FP6 SPADE project. As for his involvement in PROARTIS, his research interests include Worst-Case Execution Time (WCET) Analysis of hard real-time systems, with particular attention to time-composable architectures and real-time operating systems.
Elisa Turrini
Elisa Turrini received a PhD degree in Computer Science from the University of Bologna, Italy, where she has been a research associate at the Department of Computer Science. Prior to PROARTIS, she worked in a FP5 funded project (TAPAS) and in a project at the University of Bologna (AlmaTwo). Her research interests span many areas including distributed systems, system performance evaluation, cloud computing, coordination languages, and workflow systems. She has co-authored a book chapter and papers in internationally refereed workshops, conferences, and journals.
Zoe Stephenson
Zoë Stephenson is a Senior Software Engineer at Rapita Systems Ltd. Her responsibilities are mainly focused around provision of qualification information for customers in critical domains. She received her PhD from the University of York in 2002 and has worked on academic research projects with a number of industrial partners including Esterel, BAE Systems, Rolls-Royce, Goodrich Control Systems, Aero Engine Controls and Jaguar Landrover. For PROARTIS, Zoë is involved with management of tool support for the new analysis techniques being developed by the project. She is also the main contributor to the structure of certification arguments, providing a framework for validation evidence to help convince method user and regulators of the soundness of the proposed techniques.
Ian Broster
Dr Ian Broster is a founder and Director of Rapita Systems Ltd, a company specializing in real-time software timing analysis. He earned his PhD in 2003 at the Real-time Systems group of the University of York for work on the timing analysis of real-time communication. He has been involved in significant real-time research projects involving scheduling analysis, predictable multi-core, real-time communication and fault tolerance. He has a valuable mix of academic and industrial experience of real-time and embedded systems. He is actively involved in the transfer of research technologies to practical industrial uses in the domain of reliable embedded systems.
Cristian Maxim
Cristian Maxim has been working with the INRIA team for the last two years. His main concerns are the extreme value theory and its applications in real-time systems. He has a Bachelor’s degree in Computer Science and a Masters degree in Information Security.
Dorin Maxim
Dorin Maxim is currently working on his Ph.D. at the INRIA research center in Nancy, France, in the field of Real Time Systems, with a focus on Probabilistic Real Time Systems. He obtained a masters degree in computer sciences in 2010 and a double bachelor’s degree in mathematics and computer sciences in 2008, both from the Lower Danube University in Galati, Romania.
Codé Lo
Codé Lo is a research engineer at INRIA Nancy. He holds a master's degree in statistics and econometrics from the university of Paris I Panthéon Sorbonne and a dual bachelor's degree in applied mathematics and Mathematics & Computer Science. He is currently working on statistical and probabilistic approaches in the PROARTIS project.
Xavier Salazar
Xavier Salazar has 4 years of professional experience in innovation and project management. In BSC-CNS he manages the portfolio of external scholarships of the center and the projects for Performance Tools’ and Storage Systems’ research groups. Since April 2012 Xavier started also giving support to Computer Architecture / OS interface group, including the projects parMERASA and PROARTIS. He holds a diploma in Electrical Engineering for Technical University of Catalonia (UPC) and a Master’s degree in Innovation Management in Chalmers University of Technology in Sweden.
Jaume Abella
Dr. Jaume Abella is a Senior Research Scientist in the group on Interaction between the Computer Architecture and the Operating System (CAOS) at BSC where he leads hard real-time reliability and ultra-low power activities. He worked for more than 4 years at the Intel Barcelona Research Center, where he was responsible for activities on hardware degradation and multi-level memory hierarchies and had an outstanding contribution to Intel’s IP portfolio (15 patents filed). He participated in the FP4 MHAOTEU project and currently participates actively in the hardware designs for the PROARTIS FP7 project. Jaume is also involved in two research projects with the ESA. Jaume has wide experience in reliability, memory hierarchy design, low power and compilers. He has co-authored more than 40 papers in top conferences and journals (17 of them on reliability) and holds several awards. He is co-advisor of five PhD students.
Leonidas Kosmidis
Leonidas Kosmidis holds a MSc in Computer Architecture, Networks and Systems from Universitat Politècnica de Catalunya and a BSc in Computer Science from University of Crete with valedictorian, where he was ranked 1st among the students of all the Departments of Science and Engineering. He has spent a summer as an intern in the MAS Laboratory at École Centrale de Paris and served as a student research assistant in the CARV Laboratory at ICS-FORTH. Currently he is pursuing a PhD in Computer Architecture from Barcelona Supercomputing Center and he is the main contributor of the simulation infrastructure used in PROARTIS.