Trandisciplinary Keynote
Pedro Almeida
November 7 | 14:15 - 15:00
Title: IBEB@Ciências
In this talk we will present the activities of the IBEB@Ciências (Instituto de Biofísica e Engenharia Biomédica da Faculdade de Ciências). The main objectives, lines of research and mais results will be highlighted with special emphasis on Medical Imaging, Brain Connectivity and Brain Stimulation. Possible links between these activities and the activities of the LASIGE will be discussed.
Biography
Pedro Almeida was born on December the 12th 1968 in Portugal. After a High School education on natural and technology sciences, he enrolled the Faculty of Sciences of the University of Lisbon from where he obtained a degree in Applied Physics in 1992. His last year of studies was done at the Portuguese National Institute for Engineering and Industrial Technology where he used nuclear techniques to investigate the microstructure of new materials. During this period he also collaborated with the Universidad Autónoma de Madrid in Spain and with the Institut für Strahlen und Kernphysic of the University of Bonn in Germany. At this point his scientific interests were attracted by Biophysics and Medical Physics and he enrolled in the first Master Degree Course in Biophysics held in the Lisbon area by the University of Lisbon, producing experimental work in collaboration with the Service Hospitalier Frédéric Joliot in Orsay - France. He obtained his Master Degree (Medical Physics and Biomedical Engineering specialty) in 1994 and a Ph.D. degree in Biomedical Engineering (specialty Nuclear Medicine) by the University of Paris in 1999. He is currently Assistant Professor in Physics and Biomedical Engineering at the Physics Department of Faculty of Sciences of the University of Lisbon. He is also Consultant for Nuclear Medicine Departments in the Lisbon area and has been Physics Consultant for the Portuguese Health Ministry. Pedro Almeida is currently developing is research work at the Biophysics and Biomedical Institute of the Faculty of Sciences of the University of Lisbon where he is the scientific coordinator since 2010. His main research interests focus on image reconstruction and processing in multi-modality imaging (especially PET-MRI) and new technological developments for improved med al imaging systems.
Computer Science Keynote
Luís Rodrigues
November 7 | 15:00 - 15:45
Title: Finding the Root Cause for Concurrency Bugs
In this talk I will briefly overview ongoing work at INESC-ID in the design and implementation of tools to help programmers to find the root cause for concurrency bugs in parallel programs. With that goal in mind, our tools provide differential schedule projections (DSPs); a DSP shows the small set of memory operations and data-flows responsible for a failure, as well as a reordering of those elements that avoids the failure. I will describe how we can find non-failing schedules from failing schedules but also how we can leverage on non-failing schedules to guide the search for bugs. This work is mainly driven buy my PhD student Nuno Machado and has been performed in cooperation with Brandon Lucia (CMU)
Biography
Luís Rodrigues graduated (1986), has a Master (1991) and a PhD (1996) in Electrical and Computer Engineering, by the Instituto Superior Técnico da Universidade Técnica Lisboa (IST). He obtained the "Agregação" in Informatics (2003) by the Universidade de Lisboa
He is a Professor (Professor Catedrático) at Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade Técnica de Lisboa. From 1996 to July 2007 he served at the Departmento de Informática, Faculdade de Ciências (Faculty of Sciences), Universidade de Lisboa. He initiated his academic career at the Electrotechnic and Computers Engineering Department of Instituto Superior Técnico de Lisboa (IST) in 1989. From 1986 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at INESC. From 1997-2007, he was a (founding) member of the LASIGE laboratory at University of Lisbon, first as a member of the Navigators group and later as the leader of the Distributed Algorithms and Network Protocols group. He served as Director of the LASIGE in 2004-2005. From July 2007 he is a member of the Distributed Systems Group at INESC-ID Lisboa. He currently serves in the board of directors of INESC-ID Lisboa. His current interests include fault-tolerant distributed systems, concurrency, replicated data management, cloud computing, dynamic networks, information dissemination, and autonomic computing. He is co-author of two books on distributed computing.
Industry Keynote
Paulo Sousa
November 7 | 17:15 - 18:00
Title: Creating a Secure, Integrated and Palpable PHR
Typical healthcare patients visit many different clinics, hospitals and private doctors, and thus their personal health records - such as blood test results, MRI images or hospital release letters - are scattered all over. Some patients store their accumulated medical records, paper files and CDs at home, but rarely have the information available when it’s really needed. In a typical doctor’s visit, most of the information is obtained through a dialogue between doctor and patient. Depending on the type of patient, this process takes time and is highly error-prone.
On the other hand, emergency scenarios, such as when catastrophic events happen, typically require access to health records in order that medical crews may provide proper diagnosis & treatment. This access is needed even if the communication infrastructure is partially or totally destroyed.
In this talk, we describe myClinidata®, a novel user-centric PHR (personal health record) product built on the results of the PCAS European project (https://www.pcas-project.eu/)
Biography
Paulo Sousa is CEO of Maxdata Software (www.maxdata.pt), a privately owned Portuguese SME that develops healthcare software solutions (Clinidata® software) for more than 30 years, with a strong presence in the largest Portuguese hospitals. Paulo Sousa has more than 30 publications in international journals, conferences and workshops, and he is co-author of one book. He was an Invited Assistant Professor at the Department of Informatics of the University of Lisbon Faculty of Sciences, where he lectured many courses and was a co-instructor at the CMU/FCUL MSc in Information Security. He received a PhD degree in Computer Science (Informatics) from the University of Lisbon and a Licenciatura in Computer Science from the same university. He was ranked best computer science student in 2000 and 2001, and his PhD work (a novel paradigm on security – proactive resilience) was awarded with the IBM Scientific Prize in 2007. Paulo Sousa was a member of the LaSIGE laboratory and the Navigators research group, where he was involved in several international and national research projects related to real-time, intrusion tolerance and security, including the CORTEX, HIDENETS and CRUTIAL EC-IST projects, and the ReSIST NoE.