Curriculum Vitae. Luís Filipe Coelho Antunes Doutoramento em Ciência de Computadores, Universidade do Porto.

Transcrição

1 Curriculum Vitae Luís Filipe Coelho Antunes Morada Faculdade de Ciências da Universidade Porto Departamento Ciência de Computadores Rua do Campo Alegre 1021/ Porto Portugal Homepage: Dados pessoais Data de nascimento: 04/08/1971 Naturalidade: Luanda, Angola Nacionalidade: PORTUGAL Graus académicos 2002 Doutoramento em Ciência de Computadores, Universidade do Porto Mestrado em Ciência de Computadores, DI-UMinho Licenciatura em Ciência de Computadores, Faculdade de Ciências da Universidade do Porto. Posições académicas Presidente do Departamento de Ciência de Computadores dafaculdade de Ciências da Universidade do Porto Director do Centro de Competências em Cibersegurança e Privacidade da Universidade do Porto Professor Associado, Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto. Outras actividades ENISA (European Union Agency for Network and Information Security) expert para as áreas de eid, egov e ehealth Membro da comissão científica do Programa Doutoral em Ciência de Computadores.

2 2010- Membro do conselho científico da Faculdade de Ciências da Universidade do Porto Membro do Steering Committee da conferência Computability in Europe Conference Series Membro do conselho representantes da Faculdade de Ciências da Universidade do Porto. Visitante 2006 Computer Science Department University of Chicago. (Sabática) 02/ /2002 CWI - National Research Institute for Mathematics and Computer Science. (Post-Doc) 03/2001 CWI - National Research Institute for Mathematics and Computer Science. 06/ /2001 NEC Research Institute, Princeton, USA. (Summer internship) 11/2001 NEC Research Institute, Princeton, USA /2000 DIMACS - Center for Discrete Mathematics and Theoretical Computer Science, USA. Interesses de investigação actuais Segurança de informação (controlo de acesso, privacidade, anonimização e eid) Informática na Saúde Complexidade computacional Supervisão de estudantes PostDoc 2013 Compression and Image Denoising, Marco Almeida Kolmogorov complexity, induction and applications to probabilistic inductive logical programming, Bruno Bauwens. PhD Em preparação Complex Physiology, Teresa Henriques, (co-orientação com Cristina Santos). Concluídas Characterization of Cryptographic Primitives Based on Kolmogorov Complexity, Andreia Sofia Teixeira Modelling Access Control for Complex Information Systems, Ana Margarida Leite de Almeida Ferreira, (co-orientação com David Chadwick). Ganhou o The Fraunhofer Portugal Challenge 2010, para a melhor dissertação de Doutoramento Interactive Protocols: Knowledge Measures, André Nuno Carvalho Souto Applications of Kolmogorov Complexity to Cryptography, Alexandre Jorge Miranda Pinto, (co-orientação com Armando Matos).

3 Comissões de programa Evolution, Emergence, Generation a satellite workshop of the European Conference in Complex Systems Inforum 2009 and 2010: Simpósium de Informática, Lisboa, Portugal. Computability in Europe (CiE) 2010: Programs, Proofs, Processes. Açores, Portugal. Sixth International Conference on Computability, Complexity and Randomness International Conference on Complex Systems The Nature of Computation, 9th Conference on Computability in Europe, CiE th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013). CBMS Special Track Security and privacy in healthcare IT CBMS Special Track Fetal monitoring signal analysis Organização de conferências Computability in Europe (CiE) 2010: Programs, Proofs, Processes. Açores, Portugal. IEEE Computational Complexity Conference 2012, local organizer (chair). Participação em projectos de investigação CSI- Criptographic Security of Individual Instances, PTDC/EIA-CCO/099951/2008 (Fundação para a Ciência e Tecnologia), Investigador principal OFELIA - Open Federated Environments Leveraging Identity and Authorization, PTDC/EIA- EIA/104328/2008, (Fundação para a Ciência e Tecnologia) CANTE: Descriptional and computational complexity of formal languages, PTDC/EIA- CCO/101904/2008 (Fundação para a Ciência e Tecnologia) KCrypt - Security Measures for Public-key Cryptosystems, POSC/EIA/60819/2004 (Fundação para a Ciência e Tecnologia), Investigador principal Computability in Europe (CiE), European Research Network Criptography and Kolmogorov Complexity, ICCTI/Ambassade de France au Portugal CORE: Sistemas Formais e Complexidade Computacional, PRAXIS/P/ EEI/ 14233/ 98, FCT.

4 Palestras European day of Data Protection invited by the Portuguese Data Protection Commission, talk givrn at the Portuguese Parliament. Privacy an individual right in a digital world. Lisbon European Conference of the Data Protection Authorities, Single out or how to find the needle in the haystack, Lisbon May 2013, 3. 3rd Iberian Mathematical Meeting, Sophistication Revisited, Braga, Philosophy of Information. Info-Metrics Institute, American University Campus, Washington DC, October, Special Session on Open Problems in the Philosophy of Information, Turing Centenary Conference CiE th Conference on Logic, Computability and Randomness, Computational Depth: Concepts and Applications, Notre Damme, USA, Kolmogorov Complexity and Applications, Dagstuhl Seminar 03181, Time-Bounded Universal Distributions, Janeiro 2006, Germany. 8. Centennial Seminar on Kolmogorov Complexity and Applications, Dagstuhl Seminar 03181, Computational Depth Abril de 2003, Germany. Publicações seleccionadas Revista 1. Teresa Henriques, Luis Antunes, Joao Bernardes, Mara Matias, Diogo Sato, and Cristina C. Santos. Information-based measure of disagreement for more than two observers: a useful tool to compare the degree of observer disagreement. BMC Medical Research Methodology, 13(1):47+, March Andreia Teixeira, Armando Matos, and Luis Antunes. Conditional rényi entropies. IEEE Transactions on Information Theory, 58(7): , L. Antunes, L. Fortnow, A. Pinto, and A. Souto. Low-depth witnesses are easy to find. Computational Complexity, 21: , /s C. Costa-Santos, J. Bernardes, L. Antunes, and D. Ayres-de Campos. Complexity and categorical analysis may improve the interpretation of agreement studies using continuous variables. Journal of Evaluation in Clinical Practice, pages , A. Teixeira, A. Matos, A. Souto, and L. Antunes. Entropy measures vs. kolmogorov complexity. Entropy, 13(3): , C. Costa-Santos, L. Antunes, A. Souto, and J. Bernardes. Assessment of disagreement: A new informationbased approach. Annals of Epidemiology, 20(7): , L. Antunes and A. Souto. Information measures for infinite sequences. Theoretical Computer Science, 411(26-28): , A. Ferreira, L. Antunes, D. Chadwick, and R. Correia. Grounding information security in healthcare. International Journal of Medical Informatics, 79(4): , 2010

5 9. A. Pinto, A. Souto, A. Matos, and L. Antunes. Commitment and authentication systems. Designs, Codes, and Cryptography, 53(3): , L. Antunes, A. Matos, A. Souto, and P. Vitányi. Depth as randomness deficiency. Theory of Computing Systems, 45(4): , L. Antunes and L. Fortnow. Sophistication revisited. Theory of Computing Systems, 45(1): , L. Antunes, L. Fortnow, D. Van Melkebeek, and N.V. Vinodchandran. Computational depth: Concept and applications. Theoretical Computer Science, 354(3): , 2006 Actas de Conferência 1. H. Rodrigues, L. Antunes, and M. Correia. Proposal of a secure electronic prescription system. In International Conference on Information Society (i-society 2013), H. Rodrigues, L. Antunes, M. Correia, and C. Costa-Santos. Physician s awareness of e-prescribing security risks. In Proceedings - IEEE Symposium on Computer-Based Medical Systems, Luís Antunes, Andre Souto, and Andreia Teixeira. Robustness of logical depth. In CiE How the World Computes, volume 7318 of Lecture Notes in Computer Science, pages Springer Berlin Heidelberg, Gustavo Bacelar-Silva, Carlos Vicente, Margarida David, and L. Antunes. Comparing security and privacy issues of ehr - portugal, netherlands and united kingdom. In 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, Maria Joao Campos, Manuel E. Correia, and L. Antunes. Leveraging identity management interoperability in ehealth. In Proceedings - International Carnahan Conference on Security Technology, A. Ferreira, R. Correira, and L. Antunes. Usability of authentication and access control: a case study in healthcare. In Proceedings - International Carnahan Conference on Security Technology, Ana Ferreira, Ricardo Correia, Marta Brito, and Luis Antunes. Usable access control policy and model for healthcare. In Computer-Based Medical Systems (CBMS), th International Symposium on, pages 1 6, june A. Ferreira, R. Correia, D. Chadwick, and L. Antunes. Access control in healthcare: The methodology from legislation to practice. In Proceedings - 13th World Congress on Medical and Health Informatics Medinfo, volume 160, pages , P. Farinha, R. Cruz-Correia, L. Antunes, F. Almeida, and A. Ferreira. From legislation to practice - a case study of break the glass in healthcare. In Proceedings - HEALTHINF rd International Conference on Health Informatics, pages , A. Teixeira, A. Souto, A. Matos, and L. Antunes. Entropy measures vs. algorithmic information. In Proceedings - IEEE International Symposium on Information Theory, pages , A. Ferreira, D. Chadwick, P. Farinha, R. Correia, G. Zao, R. Chilro, and L. Antunes. How to securely break into rbac: The btg-rbac model. In Proceedings - Annual Computer Security Applications Conference, ACSAC, pages 23 31, L. Antunes, S. Laplante, A. Pinto, and L. Salvador. Cryptographic security of individual instances. International Conference on Information Theoretic Security, Lecture Notes in Computer Science, 4883 LNCS: , 2009

6 13. A. Pinto, A. Souto, A. Matos, and L. Antunes. Commitment and authentication systems. International Conference on Information Theoretic Security, Lecture Notes in Computer Science, 4883 LNCS:1 22, L. Antunes and L. Fortnow. Worst-case running times for average-case algorithms. In Proceedings of the Annual IEEE Conference on Computational Complexity, pages , P. Vieira-Marques, A. Cunha, L. Antunes, R. Cruz-Correia, and A. Costa-Pereira. A first approach for a regional wide vepr. In Proceedings - HEALTHINF st International Conference on Health Informatics, volume 1, pages , A. Ferreira, L. Antunes, C. Pinho, C. Sá, E. Mendes, Silva F. Santos, E and, F. Sousa, F. Gomes, F. Abreu, F. Mota, F. Aguiar, F. Faria, F. Macedo, S. Martins, and R. Cruz-Correia. Who should access electronic patient records. In HEALTHINF st International Conference on Health Informatics, Proceedings, volume 1, pages , R. Santos, M.E. Correia, and L. Antunes. Securing a health information system with a government issued digital identification card. In Proceedings - International Carnahan Conference on Security Technology, pages , A. Ferreira, R. Cruz-Correia, D. Chadwick, and L. Antunes. Improving the implementation of access control in emr. In Proceedings - International Carnahan Conference on Security Technology, pages 47 50, A. Ferreira, R. Cruz-Correia, L. Antunes, and D. Chadwick. Access control: how can it improve patients healthcare? International Council on Medical & Care Compunetics, Studies in health technology and informatics, 127:65 76, A. Ferreira, A. Correia, A. Silva, A. Corte, A. Pinto, A. Saavedra, A.L. Pereira, A.F. Pereira, R. Cruz- Correia, and L.F. Antunes. Why facilitate patient access to medical records. International Council on Medical & Care Compunetics, Studies in health technology and informatics, 127:77 90, L. Antunes, L. Fortnow, A. Pinto, and A. Souto. Low-depth witnesses are easy to find. In Proceedings of the Annual IEEE Conference on Computational Complexity, pages 46 51, A. Ferreira, R. Cruz-Correia, L. Antunes, P. Farinha, E. Oliveira-Palhares, and Costa-Pereira A. Chadwick, D.W. How to break access control in a controlled manner. In Proceedings - IEEE Symposium on Computer-Based Medical Systems, volume 2006, pages , C. Costa Santos, P.M.B. Vitányi, J. Bernardes, and L. Antunes. Clustering fetal heart rate tracings by compression. In Proceedings - IEEE Symposium on Computer-Based Medical Systems, volume 2006, pages , A. Ferreira, R. Correia, L. Antunes, E. Palhares, P. Marques, P. Costa, and A. Da Costa Pereira. Integrity for electronic patient record reports. In Lee D.J. Nutter B. Zhang M. Long R., Antani S., editor, Proceedings of the IEEE Symposium on Computer-Based Medical Systems, volume 17, pages 4 9, L. Antunes, L. Fortnow, and N.V. Vinodchandran. Using depth to capture average-case complexity. 14th International Symposium on Fundamentals of Computation Theory, Lecture Notes in Computer Science, 2751: , L. Antunes and L. Fortnow. Sophistication revisited. 30th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 2719: , L. Antunes, L. Fortnow, and D. Van Melkebeek. Computational depth. In Proceedings of the Annual IEEE Conference on Computational Complexity, pages , 2001