This is a property of type Text.
Pages using the property "Shortbio"
Showing 7 pages using this property.
|José Rufino +||José Rufino is Assistant Professor at the Departmento de Informática, Faculdade de Ciências da Universidade de Lisboa (FCUL), and a senior researcher of LaSIGE, the Large-Scale Informatics Systems Laboratory, since 2003. He has lectured at Instituto Superior Técnico (IST), no Departamento de Engenharia Electrotécnica e de Computadores, from 1992 to 2003. From 1985 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at Instituto de Engenharia de Sistemas e Computadores (INESC). From 1996 to 2003, he was a researcher at Centro de Sistemas Telemáticos e Computacionais (IST), in the areas of fault-tolerance and distributed embedded real-time systems. He participated and contributed to several national and international projects such as, Delta-4, DINAS-DQS, Codicom, DEAR-COTS, HIDENETS and KARYON. He was the field responsible of Codicom. He was the Principal Investigator (PI) of national projects DARIO and READAPT, funded by FCT, and of the international projects AIR and AIR-II, sponsored by the European Space Agency (ESA). He was responsible for the European transnational cooperation projects SAPIENT and PROPHECY. Currently, he is a member of the Management Committee of COST Action IC1402 - Runtime Verification beyond Monitoring (ARVI). His current research interests include fault-tolerant and real-time distributed systems, wired and wireless sensor/actuator and fieldbus networks, controller area networks (CAN and CAN FD), real-time operating system kernels, embedded systems design, including time and space partitioning (TSP), and runtime verification. He has more than 80 publications in these areas. He is a member of the Ordem dos Engenheiros, ACM and IEEE.|
|João Pedro Craveiro +||João Pedro Craveiro has a M.Sc. (2009) in Informatics Engineering from the University of Lisbon, Portugal, and is a Ph.D. candidate in Informatics at the same institution, performing his research work at LaSIGE (Large-Scale Informatics Systems Laboratory). His research is based around embedded and real-time systems, and he is currently focused on time- and space-partitioned (TSP) architectures, multiprocessor real-time scheduling, and (self-)adaptability. His current research is aligned with projects which obtained funding through competitive programmes, namely national project READAPT (funded by FCT) and international consortium project KARYON (funded by the European Commission - 7th Framework Programme). Previously, he has been involved in the international consortium projects AIR and AIR-II (sponsored by the European Space Agency). He is co-author of several refereed publications on these topics. He has also performed teaching duties at the Lisbon pole of the Carnegie-Mellon University-Portugal partnership and the Faculty of Sciences of the University of Lisbon (FCUL). He is a graduate student member of ACM, IEEE, IEEE CS and IEEE IES.|
|João Rico +||Financial & Administrative Manager: Integrated management of various research projects of the unity and coordination of the activity of the unit. Financial Management and Management of Project Folders. Master of Science (MSc) in Management by ISCTE / INDEG Business School and a Executive Master in Business Management in the same School. Business Management Degree by the UAL – Universidade Autónoma de Lisboa Luís de Camões, also. He was involved, during 10 years in national and international Audit and Consultancy Projects.|
|Miguel Garcia +||I am a PhD student at the Faculty of Sciences University of Lisbon and I am also a junior researcher at LaSIGE research group. My adivsors are Professor Alysson Bessani and Professor Nuno Neves. My mains research interests are Intrusion-tolerance, Diversity and Rejuvenations. I am also interested in topics such as Advanced Persistent Threats, DDoS attacks, Privacy concerns and Smart-grids security. In 2011 I have finished my M.Sc on Diversity Management in Intrusion Tolerant Systems, advised by Professor Alysson Bessani and Professor Nuno Neves. My thesis' contribution was a study on operating system vulnerabilities that showed that there is empirical evidence supporting the idea that the use of different operating systems on a replicated system makes the system more resilient. In 2008, while finishing my bachelor, I became a junior member of LaSIGE. I have contributed to FOREVER, advised by Professor Paulo Sousa and Professor Alysson Bessani. I have implemented a replicated system using virtualization (Xen Hypervisor) with different operating systems, and also a proactive recovery mechanism to replace the virtual machines with differente operating systems.|
|Paulo Verissimo +||Paulo Verissimo is currently at the University of Luxemburg.|
|Pedro Costa +||I'm a Research Staff Member/Assistant in Large-Scale Informatics Systems Laboratory (LASIGE) at University of Lisboa (UL), Faculty of Sciences (FCUL). I'm also a PhD student in Computer Science at University of Lisbon with a topic related to Byzantine Fault-Tolerant execution engines. My advisor is Prof. Fernando Ramos(FCUL-UL).|
|Rui Pedro Caldeira +||Finishing his masters degree in Computer Science, Rui collaborates with [http://lasige.di.fc.ul.pt LaSIGE] (Large-Scale Informatics Systems Laboratory) under the [http://www.navigators.di.fc.ul.pt/wiki/Project:KARYON Karyon] and [http://www.navigators.di.fc.ul.pt/wiki/Project:READAPT READAPT] projects since September 2012. His research interests revolve around Computer Networks, Embedded and Real-Time Systems, Wireless Sensor Networks and Time and Space Partitioned Systems.<br /> <br /> '''Current Contributions:'''<br /> *[http://www.navigators.di.fc.ul.pt/wiki/Project:KARYON Karyon Project:]<br /> **Deliverable 3.2: [http://goo.gl/YQGJTb http://goo.gl/YQGJTb]<br /> **Deliverable 3.3: [http://goo.gl/hxZcmE http://goo.gl/hxZcmE]<br /> **Deliverable 3.5: [http://goo.gl/DWSsX9 http://goo.gl/DWSsX9]|