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/1055 4169-007 Porto Portugal Email: lfa@dcc.fc.up.pt Homepage:http://www.dcc.fc.up.pt/~lfa 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. 1996 Mestrado em Ciência de Computadores, DI-UMinho. 1993 Licenciatura em Ciência de Computadores, Faculdade de Ciências da Universidade do Porto. Posições académicas 2014- Presidente do Departamento de Ciência de Computadores dafaculdade de Ciências da Universidade do Porto. 2013- Director do Centro de Competências em Cibersegurança e Privacidade da Universidade do Porto. 2012- Professor Associado, Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto. Outras actividades 2013- ENISA (European Union Agency for Network and Information Security) expert para as áreas de eid, egov e ehealth. 2010- Membro da comissão científica do Programa Doutoral em Ciência de Computadores.
2010- Membro do conselho científico da Faculdade de Ciências da Universidade do Porto. 2010-2012 Membro do Steering Committee da conferência Computability in Europe Conference Series. 2011 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-09/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-08/2001 NEC Research Institute, Princeton, USA. (Summer internship) 11/2001 NEC Research Institute, Princeton, USA. 02-07/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. 2011 Kolmogorov complexity, induction and applications to probabilistic inductive logical programming, Bruno Bauwens. PhD Em preparação2010-14 Complex Physiology, Teresa Henriques, (co-orientação com Cristina Santos). Concluídas 2008-12 Characterization of Cryptographic Primitives Based on Kolmogorov Complexity, Andreia Sofia Teixeira. 2006-09 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. 2006-09 Interactive Protocols: Knowledge Measures, André Nuno Carvalho Souto. 2003-07 Applications of Kolmogorov Complexity to Cryptography, Alexandre Jorge Miranda Pinto, (co-orientação com Armando Matos).
Comissões de programa Evolution, Emergence, Generation a satellite workshop of the European Conference in Complex Systems 2006. 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 2011. International Conference on Complex Systems 2012. The Nature of Computation, 9th Conference on Computability in Europe, CiE 2013. 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013). CBMS 2013 - Special Track Security and privacy in healthcare IT CBMS 2013 - 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 2010-2012 CSI- Criptographic Security of Individual Instances, PTDC/EIA-CCO/099951/2008 (Fundação para a Ciência e Tecnologia), Investigador principal. 2010-2012 OFELIA - Open Federated Environments Leveraging Identity and Authorization, PTDC/EIA- EIA/104328/2008, (Fundação para a Ciência e Tecnologia). 2010-2012 CANTE: Descriptional and computational complexity of formal languages, PTDC/EIA- CCO/101904/2008 (Fundação para a Ciência e Tecnologia). 2005-2008 KCrypt - Security Measures for Public-key Cryptosystems, POSC/EIA/60819/2004 (Fundação para a Ciência e Tecnologia), Investigador principal. 2004-2008 Computability in Europe (CiE), European Research Network. 2003-2005 Criptography and Kolmogorov Complexity, ICCTI/Ambassade de France au Portugal. 1999 2001 CORE: Sistemas Formais e Complexidade Computacional, PRAXIS/P/ EEI/ 14233/ 98, FCT.
Palestras 1. 2013 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 2013. 2. European Conference of the Data Protection Authorities, Single out or how to find the needle in the haystack, Lisbon 15-17 May 2013, 3. 3rd Iberian Mathematical Meeting, Sophistication Revisited, Braga, 2010. 4. Philosophy of Information. Info-Metrics Institute, American University Campus, Washington DC, October, 2011. 5. Special Session on Open Problems in the Philosophy of Information, Turing Centenary Conference CiE 2012. 6. 5th Conference on Logic, Computability and Randomness, Computational Depth: Concepts and Applications, Notre Damme, USA, 2010. 7. 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 2013 2. Andreia Teixeira, Armando Matos, and Luis Antunes. Conditional rényi entropies. IEEE Transactions on Information Theory, 58(7):4273 4277, 2012 3. L. Antunes, L. Fortnow, A. Pinto, and A. Souto. Low-depth witnesses are easy to find. Computational Complexity, 21:479 497, 2012. 10.1007/s00037-011-0025-1 4. 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 511 514, 2011 5. A. Teixeira, A. Matos, A. Souto, and L. Antunes. Entropy measures vs. kolmogorov complexity. Entropy, 13(3):595 611, 2011 6. C. Costa-Santos, L. Antunes, A. Souto, and J. Bernardes. Assessment of disagreement: A new informationbased approach. Annals of Epidemiology, 20(7):554 561, 2010 7. L. Antunes and A. Souto. Information measures for infinite sequences. Theoretical Computer Science, 411(26-28):2602 2611, 2010 8. A. Ferreira, L. Antunes, D. Chadwick, and R. Correia. Grounding information security in healthcare. International Journal of Medical Informatics, 79(4):268 283, 2010
9. A. Pinto, A. Souto, A. Matos, and L. Antunes. Commitment and authentication systems. Designs, Codes, and Cryptography, 53(3):175 193, 2009 10. L. Antunes, A. Matos, A. Souto, and P. Vitányi. Depth as randomness deficiency. Theory of Computing Systems, 45(4):724 739, 2009 11. L. Antunes and L. Fortnow. Sophistication revisited. Theory of Computing Systems, 45(1):150 161, 2009 12. L. Antunes, L. Fortnow, D. Van Melkebeek, and N.V. Vinodchandran. Computational depth: Concept and applications. Theoretical Computer Science, 354(3):391 404, 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), 2013 2. 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, 2013 3. Luís Antunes, Andre Souto, and Andreia Teixeira. Robustness of logical depth. In CiE 2012 - How the World Computes, volume 7318 of Lecture Notes in Computer Science, pages 29 34. Springer Berlin Heidelberg, 2012 4. 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, 2011 5. Maria Joao Campos, Manuel E. Correia, and L. Antunes. Leveraging identity management interoperability in ehealth. In Proceedings - International Carnahan Conference on Security Technology, 2011 6. 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, 2011 7. Ana Ferreira, Ricardo Correia, Marta Brito, and Luis Antunes. Usable access control policy and model for healthcare. In Computer-Based Medical Systems (CBMS), 2011 24th International Symposium on, pages 1 6, june 2011 8. 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 666 670, 2010 9. 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 2010-3rd International Conference on Health Informatics, pages 114 120, 2010 10. A. Teixeira, A. Souto, A. Matos, and L. Antunes. Entropy measures vs. algorithmic information. In Proceedings - IEEE International Symposium on Information Theory, pages 1413 1417, 2010 11. 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, 2009 12. 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:195 210, 2009
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, 2009 14. L. Antunes and L. Fortnow. Worst-case running times for average-case algorithms. In Proceedings of the Annual IEEE Conference on Computational Complexity, pages 298 303, 2009 15. 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 2008-1st International Conference on Health Informatics, volume 1, pages 215 218, 2008 16. 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 2008-1st International Conference on Health Informatics, Proceedings, volume 1, pages 182 185, 2008 17. 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 135 141, 2008 18. 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, 2008 19. 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, 2007 20. 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, 2007 21. 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, 2007 22. 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 847 851, 2006 23. 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 685 690, 2006 24. 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, 2004 25. 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:303 310, 2003 26. L. Antunes and L. Fortnow. Sophistication revisited. 30th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 2719:267 277, 2003 27. L. Antunes, L. Fortnow, and D. Van Melkebeek. Computational depth. In Proceedings of the Annual IEEE Conference on Computational Complexity, pages 266 273, 2001