Curriculum Vitae - DCCnam/web/resources/cv_nam_pt.pdf · 28. Nelma Moreira, Giovanni Pighizzini,...

Curriculum Vitae

Nelma Resende Araujo Moreira

Maio 2016

Conteudo

Morada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2Dados pessoais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2Graus academicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2Carreira academica e de investigacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2Unidades de Investigacao e Associacoes Cientıficas . . . . . . . . . . . . . . . . . . . . 2

Domınio de especializacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3Areas de interesse de investigacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3Trabalhos publicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3Comunicacoes e Seminarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13Actividade Cientıfica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15Actividade Pedagogica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26Actividades de gestao e de representacao . . . . . . . . . . . . . . . . . . . . . . . . . . . 30Actividades de Extensao Universitaria . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

1

Morada

Faculdade de Ciencias da Universidade PortoDepartamento Ciencia de ComputadoresRua do Campo Alegre 1021/10554169-007 PortoPortugalEmail: [email protected]:http://www.dcc.fc.up.pt/~nam

Dados pessoais

Data de nascimento: 4 de Junho de 1961Local de nascimento: Paris, Franca

Graus academicos

1997 Doutoramento em Ciencia de Computadores, Universidade do Porto.

1989 Provas de Aptidao Pedagogica e Capacidade Cientıfica, Universidade do Porto,com a classificacao de Muito Bom.

1984 Licenciatura em Matematica da Faculdade de Ciencias da Universidade doPorto, ramo de Matematica Aplicada, media final de 15 valores.

1978 Curso Complementar dos Liceus com a classificacao media de 16 valores, noLiceu Carolina Michaelis.

Carreira academica e de investigacao

1997- Professora Auxiliar no Departamento de Ciencia de Computadores (DCC) daFaculdade de Ciencias da Universidade do Porto (FCUP).

1996-1997 Assistente no Departamento de Ciencia de Computadores da FCUP.

1989–1996 Assistente no Grupo de Matematica Aplicada da FCUP, na area de Ciencia deComputadores.

1984-1989 Assistente Estagiaria no Grupo de Matematica Aplicada da FCUP, na area deCiencia de Computadores.

1983-1984 Professora na Escola Secundaria de Oliveira Martins, Porto.

Unidades de Investigacao e Associacoes Cientıficas

2011– Membro do Centro de Matematica da Universidade do Porto(CMUP - http://cmup.fc.up.pt) desde 2011.

2012– Membro do IFIP, Grupo de trabalho 1.2 - Complexidade Descritiva - http:

//www.informatik.uni-giessen.de/ifipwg1.2/

2

1986–2011 Membro do Laboratorio de Inteligencia Artificial e Ciencia de Computadores(LIACC - http://www.liacc.up.pt) desde a sua criacao (1986) ate 2011.

1986–1997 Membro da Associacao Portuguesa para a Inteligencia Artificial, APPIA (http://www.appia.pt)

Domınio de especializacao

Programacao em logicaProcessamento de linguagem naturalFormalismos gramaticaisResolucao de restricoes simbolicas

Areas de interesse de investigacao

Linguagens formais e teoria dos automatosComplexidade descritivaSistemas dedutivos logicos e assistentes de demonstracao interactivosVerificacao formal de programas

Trabalhos publicados

Teses

1. Nelma Moreira. Restricoes Complexas sobre Algebras de Arvores e Aplicacao a GramaticasLogicas, Tese de Doutoramento, Faculdade de Ciencias da Universidade do Porto, 1997.

2. Nelma Moreira. Representacao de Semantica de Referencias Temporais em Linguagem Na-tural, apresentado a Universidade do Porto no ambito das Provas de Aptidao Pedagogica eCapacidade Cientıfica, Outubro 1988.

Edicao de Livros

3. Rudolf Freund, Markus Holzer, Nelma Moreira, Rogerio Reis, Seventh Workshop on Non-Classical Models of computation and applications, NCMA 2015, Porto, Portugal, August 31- September 1, 2015. Proceedings. [email protected] 318, Osterreichische Computer Gesellschaft2015, ISBN 978-3-903035-07-2

4. Martin Kutrib, Nelma Moreira, and Rogerio Reis, editors. Descriptional Complexity ofFormal Systems, 14th International Workshop (DCFS 2012), volume 7386 of LNCS, Braga,Portugal, July 2012. Springer. DOI: 10.1007/978-3-642-31623-4. ISBN: 978-3-642-31622-4.

5. Nelma Moreira and Rogerio Reis, editors. Implementation and Application of Automata,17th International Conference (CIAA 2012), volume 7381 of LNCS, Porto, Portugal, July2012. Springer. DOI: 10.1007/978-3-642-31606-7. ISBN: 978-3-642-31605-0.

6. Miguel Filgueiras, Luıs Damas, Nelma Moreira, Ana Paula Tomas. Natural Language Pro-cessing – EAIA ’90 Proceedings. Lecture Notes in Artificial Intelligence, 476, Springer-Verlag. 1991.

3

Capıtulos em livro

7. Marco Almeida, Nelma Moreira, Rogerio Reis. Finite automata minimization algorithms.In Jiacun Wang, ed., Handbook of Finite State Based Models and Applications. pp 145-170.Chapman and Hall/CRC Press. Series Discrete Mathematics and Its Applications. 2012.

8. Luıs Damas, Nelma Moreira, Giovanni Varile. The Formal and Computational Theory ofComplex Constraint Solution, em Rupp, C., M. Rosner and R. Johnson, (eds), ”Constraints,Language, and Computation”. p 149-166. Academic Press, London, 1994.

9. Miguel Filgueiras, Nelma Moreira, and Ana Paula Tomas. General introduction. Em Fil-gueiras et al. (eds). Natural Language Processing – EAIA ’90 Proceedings, p. 1-3. LectureNotes in Artificial Intelligence, 476, Springer-Verlag 1991.

10. Miguel Filgueiras, Ana Paula Tomas, Nelma Moreira, Rogerio Reis, Jose Paulo Lea;. Natu-ral Language and Natural Menus Interfaces. p 299-306. In M. Carnevale, Mario Lucertini,Salvatore Nicosia (Eds.): Modelling the Innovation: Communications, Automation and In-formation Systems, Proceedings of the IFIP TC7 Conference on Modelling the Innovation:Communications, Automation and Information Systems, Rome, Italy, 21-23 March, 1990.North-Holland 1990, ISBN 0-444-88565-X.

Artigos publicados em revistas cientıficas

11. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. Average size ofautomata constructions from regular expressions. Bulletin of the European Association forTheoretical Computer Science, (116):167-192, June 2015.

12. Nelma Moreira, David Pereira, and Simao Melo de Sousa. Deciding Kleene algebra terms(in)equivalence in Coq. Journal of Logical and Algebraic Methods in Programming, 84(3):377-401, 2015.

13. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. A Hitchhiker’s Guideto Descriptional Complexity through Analytic Combinatorics. Theoretical Computer Science528:85-100, 2014.

14. Marco Almeida, Nelma Moreira and Rogerio Reis. Incremental DFA minimization. RAIRO- Theoretical Informatics and Applications, 48(2):173-186, 2014.

15. Nelma Moreira and Rogerio Reis. Preface. Special Issue - Implementation and Applica-tion of Automata (CIAA 2012). International Journal of Fundations of Computer Science,24(06):689-690, September 2013. [

16. Jurgen Dassow, Martin Kutrib, Nelma Moreira, and Rogerio Reis. Preface. selected papersof DCFS 2012. Journal of Automata, Languages and Combinatorics, 17(2-4):59-60, 2012.

17. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the AverageSize of Glushkov and Partial Derivative Automata. International Journal of Foundations ofComputer Science, 23(5):969-984, 2012.

18. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the average statecomplexity of partial derivative automata. International Journal of Foundations of ComputerScience, 22(7):1593-1606, 2011. DOI: 10.1142/S0129054111008908

19. Marco Almeida, Nelma Moreira and Rogerio Reis. Testing the equivalence of regular langua-ges. Journal of Automata, Languages and Combinatorics, 15(1/2):7-–25, 2010.

20. Marco Almeida, Nelma Moreira, and Rogerio Reis. Antimirov and Mosses’ rewrite systemrevisited. International Journal of Foundations of Computer Science, 20(4):669-684, August2009. DOI: 10.1142/S0129054109006802

4

21. Nelma Moreira and Rogerio Reis. Series-parallel automata and short regular expressions.Fundamenta Informaticae, 91(3-4):611-629, 2009.

22. David Pereira and Nelma Moreira. KAT and PHL in COQ. Computer Science and Infor-mation Systems, 05(02), December 2008.

23. Marco Almeida, Nelma Moreira, Rogerio Reis. Exact generation of minimal acyclic de-terministic finite automata. International Journal of Foundations of Computer Science.19(4):751-765, August 2008. MR2437812. DOI: 10.1142/S0129054108005930

24. Marco Almeida, Nelma Moreira, Rogerio Reis. Enumeration and Generation with a StringAutomata Representation. Theoretical Computer Science. 387(2):93-102, 2007. Special issue”Selected papers of DCFS 2006”. DOI:10.1016/j.tcs.2007.07.029

25. Nelma Moreira, Rogerio Reis, On the density of languages representing finite set partitions.Journal of Integer Sequences, 8, 05.2.8, 2005. MR2152288.

Artigos publicados em actas de conferencias internacionais publicadasem livro

26. Sabine Broda, Sılvia Cavadas, Miguel Ferreira, and Nelma Moreira. Deciding synchronouskleene algebra with derivatives. In Frank Drewes, editor, Implementation and Applicationof Automata, 20th International Conference (CIAA 2014), volume 9223 of LNCS. Springer-Verlag, 2015.

27. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. Partial derivativeautomaton for regular expressions with shuffle. In Jeffrey Shallit and Alexander Okhotin,editors, Proceedings of the 17th Int. Workshop on Descriptional Complexity of FormalSystems (DCFS15), number 9118 in LNCS, pages 21-32. Springer, 2015. DOI: http://dx.doi.org/10.1007/978-3-319-19225-3_2

28. Nelma Moreira, Giovanni Pighizzini, and Rogerio Reis. Universal disjunctive concatenationand star. In Jeffrey Shallit and Alexander Okhotin, editors, Proceedings of the 17th Int.Workshop on Descriptional Complexity of Formal Systems (DCFS15), number 9118 in LNCS,pages 197-208. Springer, 2015. DOI:http://dx.doi.org/10.1007/978-3-319-19225-3_17

29. Eva Maia, Nelma Moreira, and Rogerio Reis. Prefix and right-partial derivative automata.In Mariya Soskova and Victor Mitrana, editors, Computability in Europe (CiE 2015), num-ber 9136 in LNCS, pages 258-267. Springer, 2015. DOI:http://dx.doi.org/10.1007/978-3-319-20028-6_26

30. Nelma Moreira, Giovanni Pighizzini, and Rogerio Reis. Optimal state reductions of automatawith partially specified behaviors. In 41st SOFSEM - the International Conference on CurrentTrends in Theory and Practice of Computer Science, number 8939 in LNCS, pages 339-351.Springer, 2015. DOI:http://dx.doi.org/10.1007/978-3-662-46078-8_28

31. Eva Maia, Nelma Moreira, and Rogerio Reis.Partial derivative and position bisimilarityautomata. In Markus Holzer and Martin Kutrib, editors, Implementation and Applicationof Automata, 19th International Conference (CIAA 2014), volumee 8587 LNCS, pp-264-277.Springer-Verlag, 2014.

32. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the Equivalenceof Automata for KAT-expressions. In Arnold Beckmann, Erzsebet Csuhaj-Varju, and KlausMeer, editors, Language, Life, Limits - 10th Conference on Computability in Europe, CiE2014, Budapest, Hungary, June 23-27, 2014. Proceedings, volume 8493 of LNCS, pages73-83. Springer-Verlag, 2014.

5

33. Jason Bell, Janusz Brzozowski, Nelma Moreira, and Rogerio Reis. Symmetric groups andquotient complexity of boolean operations. In Javier Esparza, Pierre Fraigniaud, Thore Hus-feldt, and Elias Koutsoupias, editors, Automata, Languages, and Programming - 41st In-ternational Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings,Part II, volume 8573 of Lecture Notes on Computer Science, pages 1-12, 2014.

34. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the average size ofGlushkov and equation automata for KAT expressions. In 19th International Symposium onFundamentals of Computation Theory, number 8070 in LNCS, pages 72-83, Springer-Verlag,2013.

35. Eva Maia, Nelma Moreira, and Rogerio Reis. Incomplete Transition Complexity of BasicOperations on Finite Languages. In Stavros Konstantinidis, editor, CIAA 2013, number7982 in LNCS, pages 349-356. Springer-Verlag. DOI: 10.1007/978-3-642-39274-0-31

36. Eva Maia, Nelma Moreira, and Rogerio Reis. Incomplete transition complexity of some basicoperations. In Peter van Emde Boas et al., editor, SOFSEM 2013: Theory and Practiceof Computer Science, number 7741 in Lecture Notes on Computer Science, pages 319-330.Springer-Verlag, 2013.

37. David Pereira Nelma Moreira and Simao Melo de Sousa. Deciding regular expressions (in-)equivalence in Coq. In T. G. Griffin and W. Kahl, editors, 13th International Conference onRelational and Algebraic Methods in Computer Science (RAMiCS 13). Proceedings, volume7560 of Lecture Notes on Computer Science, pages 98-113, 2012.

38. Sabine Broda, Antonio Mahciavelo, Nelma Moreira, and Rogerio Reis. The average transi-tion complexity of Glushkov and partial derivative automata. In G. Mauri and A. Leporati,editors, Developments in Language Theory, 14th International Conference, DLT , volume6795 of of Lecture Notes on Computer Science, pages 93–104, Milano, Italy, July 2011.

39. Jose Bacelar Almeida, Nelma Moreira , David Pereira, Simao Melo de Sousa.Partial Deri-vative Automata Formalized in Coq. In Proceedings of the 15th International Conference onImplementation and Application of Automata (CIAA 2010) volume 6482 of Lecture Noteson Computer Science, pages 59-68, Winnipeg, MA, Canada, August, 2010. Springer-Verlag.2011

40. Marco Almeida, Nelma Moreira and Rogerio Reis.Incremental DFA minimization. In Procee-dings of the 15th International Conference on Implementation and Application of Automata,(CIAA 2010) volume 6482 of Lecture Notes on Computer Science, pages 39-48, Winnipeg,MA, Canada, August, 2010. Springer-Verlag. 2011

41. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the averagenumber of states of partial derivative automata. In Yuan Gao, Hanlin Lu, Shinnosuke Seki,and Sheng Yu, editors, Developments in Language Theory, 14th International Conference,DLT 2010, volume 6224 of Lecture Notes on Computer Science, pages 112-123, London, ON,Canada, August 2010. Springer-Verlag.

42. Andre Almeida, Marco Almeida, Jose Alves, Nelma Moreira, and Rogerio Reis. Fado andguitar: tools for automata manipulation and visualization. In S. Maneth, editor, CIAA2009: Fourteenth International Conference on Implementation and Application of Auto-mata, volume 5642 of Lecture Notes on Computer Science, pages 65-74. Sydney, Australia,Springer-Verlag, 2009.

43. Marco Almeida, Nelma Moreira, and Rogerio Reis. Antimirov and Mosses’s rewrite systemrevisited. In O. Ibarra and B. Ravikumar, editors, CIAA 2008: Thirteenth InternationalConference on Implementation and Application of Automata, volume 5448 of LNCS, pages46-56. San Francisco, CA, USA. Springer-Verlag, 2008

6

44. David Pereira, Eugenio Oliveira, Nelma Moreira. Formal Modelling of Emotions in BDIAgents. Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII),Porto, Portugal, 10-11/09/2007, number 5056 in LNAI, pages 62-81, Springer-Verlag.

45. Ana Paula Tomas, Nelma Moreira, Nuno Pereira. Designing a Solver for ArithmeticConstraints to Support Education in Mathematics. IFIP Conference on Artificial IntelligenceApplications & Innovations (AIAI) 2006, Athens, Greece. Springer-Verlag.

46. Jose Joao Morais, Nelma Moreira e Rogerio Reis. Acyclic Automata with easy-to-find shortregular expressions. Proccedings of the Tenth International Conference on Implementationand Application of Automata, CIAA 2005, pages 349-350, (Poster) volume 3845 of LectureNotes on Computer Science, Sophia-Anthiopolis, France Springer Verlag, 2006.

47. David Pereira, Eugenio Oliveira, Nelma Moreira e Luıs Sarmento. Towards an Architecturefor Emotional BDI Agents. Proc. of EPIA05 – 12th Portuguese Conference on Artificial.Universidade da Beira Interior. IEEE. 2005. ISBN 0-7803-9365-1.

48. Nelma Moreira, Rogerio Reis. Interactive Manipulation of Regular Objects with FAdo. InProceedings of 2005 Innovation and Technology in Computer Science Education (ITiCSE2005), ACM Digital Library, 2005.

49. Luıs Damas, Nelma Moreira. Constraint Categorial Grammars, em Nuno Mamede e CarlosPinto-Fereira (eds), ”Proceedings of the 7th Portuguese Conference on Artificial Intelligence(EPIA 95)”, LNAI 990, Springer-Verlag, 1995.

50. Luıs Damas, Nelma Moreira, Sabine Broda. Resolution of Constraints in Algebras of RationalTrees, em ”Progress in Artificial Intelligence — 6th Portuguese Conference on ArtificialIntelligence”, LNAI 727, Springer-Verlag, 1993.

51. Nelma Moreira. Semantic Analysis of Time and Tense in Natural Language: an implementa-tion , em J.P Martins, E.M. Morgado (eds.), ”Proceedings of the 4th Portuguese Conferenceof Artificial Inteligence”, LNAI 390, Springer-Verlag, Berlin, 1989.

Artigos publicados em actas de conferencias internacionais nao publica-das em livro (com sistema independente de revisao)

52. Cezar Campeanu, Nelma Moreira, and Rogerio Reis. The distinguishability operation on re-gular languages. In Suna Bensch, Rudolf Freund, and Friedrich Otto, editors, Non-ClassicalModels of Automata and Applications (NCMA 2014), pages 85-100. Oesterreichische Com-puter Gesellschaft, 2014.

53. Ricardo Almeida, Sabine Broda, and Nelma Moreira. Deciding KAT and Hoare logic withderivatives. In 3rd International Symposium on Games, Automata, Logics, and FormalVerification, Proceedings, volume 96, page 127–140, Napoli, Italy, September 6th-8th 2012.Electronic Proceedings in Theoretical Computer Science.

54. Eva Maia, Nelma Moreira, and Rogerio Reis, A static type inference for Python. In Proc. ofDYLA’11, 5th Workshop on Dynamic Languages and Applications, colocated with 49th IntlConf on Objects, Models, Components and Patterns (TOOLS 2011) July 1, 2011, Zurich,Switzerland, 2011.

55. Nelma Moreira, Davide Nabais, and Rogerio Reis.State elimination ordering strategies: Someexperimental results. In I. MacQuillan, G. Pighizzini, and B. Trost, editors, Proc. of 11thWorkshop on Descriptional Complexity of Formal Systems (DCFS10), pages 169-180, Sas-katoon, Saskatchewan, Canada, August 2010.

7

56. Hugo Gouveia, Nelma Moreira and Rogerio Reis, Small nfas from regular expressions: Someexperimental results. In Fernando Ferreira, Helia Guerra, Elvira Mayordomo, and JoaoRasga, editors, Proceedings of 6th Conference on Computability in Europe (CIE 2010),pages 194-203, Ponta Delgada, Azores, Portugal, June/July 2010. CMATI.

57. Marco Almeida, Nelma Moreira, and Rogerio Reis. Testing equivalence of regular languages.In Workshop on Descriptional Complexity of Formal Systems (DCFS09), Magdeburg, Ger-many, July 2009. Also in Electronic Proceedings in Theoretical Computer Science (eptcs 3)http://www.eptcs.org.

58. Marco Almeida, Nelma Moreira, and Rogerio Reis. Exact generation of acyclic determinis-tic finite automata. In Proc. Workshop on Descriptional Complexity of Formal Systems(DCFS08), Charlottetown, Canada, July 2008.

59. Marco Almeida, Nelma Moreira, and Rogerio Reis. On the performance of automata mi-nimization algorithms. In Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Lowe,editors, CiE 2008: Abstracts and extended abstracts of unpublished papers., 2008.

60. Marco Almeida, Nelma Moreira, and Rogerio Reis. Exact generation of minimal acyclicdeterministic finite automata. Proc. of Workshop on Descriptional Complexity of FormalSystems (DCFS07), HighTatras, Slovakia, 20-22/07/2007.

61. David Pereira, Eugenio Oliveira, Nelma Moreira. Modelling emotional bdi agents. Proc. ofWorkshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva del Garda,Italy, 2006.

62. Marco Almeida, Nelma Moreira, Rogerio Reis. Aspects of enumeration and generation with astring automata representation. Proc. of the 8th Int. Workshop on Descriptional Complexityof Formal Systems (DCFS06). H. Leung and G.Pighizzini, eds. Computer Science TechnicalReport NMSU-CS-2006-001. June 2006.

63. Rogerio Reis, Nelma Moreira, Marco Almeida. On the Representation of Finite Automata.Proc. of the 7th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS05),C. Mereghetti, B. Paalno, G. Pighizzini and D. Wotschkes,2005.

64. Joao Pedro Pedroso, Nelma Moreira, Rogerio Reis. A Web-Based System For Multi-AgentInteractive Timetabling, ICKEDS 2004, First International Conference on Knowledge Engi-neering and Decision Support, Porto,21-23 of July, 2004.

65. Jose Paulo Leal e Nelma Moreira. Using matching for automatic assessment in computerscience learning environments, Proceedings of Web-based Learning Environments Conference(WBLE 2000), Porto, Portugal, 2000.

66. Luıs Damas, Nelma Moreira, Giovanni Varile. Constraint Categorial Grammars, em RolfBackofen, Hans-Ulrich Krieger, S. Spackman e Hans Uszkoreit (eds), ”Report of the EAGLESWorkshop on Implemented Formalisms at DFKI”, 1993.

67. Jose Paulo Leal, Luıs Damas, Nelma Moreira. A History Based Interface, em ”Proceedingsof the ICLP preconference Workshop on Logic Programming Environments”, Paris, 1991.

68. Luıs Damas, N. Moreira, G. Varile. The Formal and Processing Models of CLG, em ”Proce-edings of the Fifth Conference of EACL”, Berlin, 1991.

69. Sergio Balari, L. Damas, N. Moreira, G. Varile. CLG(n): Constraint Logic Grammars,em ”Proceedings of the 13th International Conference on Computational Linguistics”, CO-LING90, H. Karlgren editor, Helsinki, ACL, 1990.

8

Artigos publicados em actas de conferencias nacionais

70. Andre Almeida, Nelma Moreira, and Rogerio Reis. GUItar and FAgoo: Graphical interfacefor automata visualization, editing, and interaction. In Inforum, Simposio de Informatica,Braga,Portugal, 9-10 Setembro 2010, pages 317-328.

71. Eva Maia, Nelma Moreira, and Rogerio Reis. Inferencia de tipos em Python. In Inforum,Simposio de Informatica, Braga,Portugal, 9-10 Setembro 2010, pages 515-518.

72. Jose Alves, Nelma Moreira and Rogerio Reis. XML Description for Automata Manipulations.Actas XATA 2010, XML: aplicacoes e tecnologias associadas. Alberto Simoes, Daniela Cruz,and Jose Carlos Ramalho, editors, pages 77-88, ESEIG, Vila do Conde, 2010.

73. Andre Almeida, Jose Alves, Nelma Moreira, and Rogerio Reis. Cgm: A context-free grammarmanipulator. In Corta 08, Braganca, Portugal, July 2008.

74. Silvestre Lacerda, Norberto Lopes, Nelma Moreira, Rogerio Reis. A Toolkit for an OralHistory Digital Archive Actas XATA 2008, XML: aplicacoes e tecnologias associadas. JoseCarlos Ramalho, Joao Correia Lopes (eds.). Universidade de Evora, 14-15/2, 2008.

75. Silvestre Lacerda, Norberto Lopes, Nelma Moreira, Rogerio Reis. Ferramentas para aConstrucao de Arquivos Digitais de Historia Oral. Actas XATA 2007, XML: aplicacoes etecnologias associadas. Jose Carlos Ramalho, Joao Correia Lopes e Luıs Carrico (eds.).Universidade de Lisboa, ISBN 978-972-99166-4-9, 2007.

76. Nelma Moreira, Rogerio Reis. FAdo: Interactive Tools for Learning Formal ComputationalModels. Encontro Nacional de Visualizacao Cientıfica 2005. Centro Multimeios de Espinho.

77. Angela Oliveira, Nelma Moreira. GerExa: Plataforma Integrada para a Organizacao, Ge-racao e Avaliacao de Exercıcios e Testes. In Actas da 3a Conferencia Nacional XML:Aplicacoes e Tecnologias Associadas, Universidade do Minho, ISBN 972-99166-1-6, 2005.

78. Jose Paulo Leal, Nelma Moreira, Pedro Ribeiro. EDIC: Uma Abordagem para Apresentacaode Conteudos Pedagogicos na Web, CINTEC 2001, 2001 Aveiro, Portugal.

79. Isabel Labouriau, Nelma Moreira. Solucoes Periodicas das Equacoes de Fitzhugh para oImpulso Nervoso, em ”Actas do VII Congresso do Grupo de Matematicos de ExpressaoLatina”, 1985.

Relatorios internos ou outras publicacoes

80. Eva Maia, Nelma Moreira, Rogerio Reis.Left Relations, Technical Report DCC-2014-09,DCC-FC & CMUP, Universidade do Porto, December, 2014.

81. Sabine Broda, Sılvia Cavadas, and Nelma Moreira. Kleene algebra completeness. TechnicalReport DCC-2014-07, DCC-FC & CMUP, Universidade do Porto, July 2014.

82. Eva Maia, Nelma Moreira, Rogerio Reis.On the Bisilimarity of the Position Automata, Te-chnical Report DCC-2014-02, DCC-FC & CMUP, Universidade do Porto, March, 2014.

83. Sabine Broda, Sılvia Cavadas, and Nelma Moreira. Derivative based methods for decidingSKA and SKAT. Technical Report DCC-2014-10, DCC-FC & CMUP, Universidade do Porto,May 2014.

84. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. Automata for KATExpressions. Technical Report DCC-2014-01, DCC-FC, Universidade do Porto, January2014.

9

85. Rafaela Bastos, Nelma Moreira, and Rogerio Reis. Manipulation of extended regular expres-sions with derivatives. Technical Report DCC-2013-11, DCC-FC, Universidade do Porto,September 2013.

86. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. Glushkov and Equa-tion Automata for KAT Expressions. Technical Report DCC-2013-07, DCC-FC, Universi-dade do Porto, July 2013.

87. Davide Nabais, Nelma Moreira, and Rogerio Reis. DesCo: a knowledge based system fordescriptional complexity of formal languages. Technical Report DCC-2013-12, DCC-FC Uni-versidade do Porto, July 2013.

88. Ricardo Almeida, Sabine Broda, and Nelma Moreira. KAT and Hoare logic with derivatives.Technical Report DCC-2013-04, DCC - FC & CMUP, Universidade do Porto, February 2013.

89. Eva Maia, Nelma Moreira, and Rogerio Reis. The operational incomplete transition comple-xity on finite languages. Technical Report DCC-2013-02, DCC - FC & CMUP, Universidadedo Porto, January 2013.

90. Nelma Moreira, David Pereira, and Simao Melo de Sousa. On the mechanisation of rely-guarantee in Coq. Technical Report DCC-2013-03, DCC - FC & LIACC, Universidade doPorto, January 2013.

91. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. An Introduction toDescriptional Complexity of Regular Languages through Analytic Combinatorics, TechnicalReport DCC-2012-05, DCC - FC, Universidade do Porto, July, 2012.

92. Nelma Moreira, David Pereira, and Simao Melo de Sousa. Mechanization of an algorithmfor deciding kat terms equivalence. Technical Report DCC-2012-04, DCC-FC, Universidadedo Porto, May 2012.

93. Eva Maia, Nelma Moreira, and Rogerio Reis. On the incomplete transition complexityof some basic operations on regular languages. Technical Report DCC-2012-02, DCC-FC,Universidade do Porto, April 2012.

94. Cezar Campeanu, Nelma Moreira, Rogerio Reis. Expected Compression Ratio for DFCA:experimental average case analysis, Technical Report DCC-2011-07, DCC-FC, Universidadedo Porto, July, 2011.

95. Yuan Gao, Nelma Moreira, Rogerio Reis, Sheng Yu. A Review on State Complexity ofIndividual Operations, Technical Report DCC-2011-08, DCC - FC, Universidade do Porto,December, 2011.

96. Nelma Moreira, David Pereira, Simao Melo de Sousa. Deciding Regular Expressions (In-)Equivalence in Coq, Technical Report DCC-2011-06, DCC - FC, Universidade do Porto,November, 2011.

97. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis.Study on the averagesize of Glushkov and partial derivative automata. Technical Report DCC-2011-03, DCC-FC,Universidade do Porto, 2011.

98. Nuno Silva, Nelma Moreira, Simao Melo de Sousa, Sabine Broda. A Tool for AutomaticModel Extraction of Ada/SPARK programs. Technical Report DCC-2011-02, DCC-FC,Universidade do Porto, 2011.

99. Nelma Moreira, Davide Nabais, and Rogerio Reis. DesCo: a web based information systemfor descriptional complexity results. Technical Report DCC-2011-10, DCC-FC, Universidadedo Porto, 2011

10

100. Andre Carvalho, Nuno Silva, Simao Melo de Sousa, and Nelma Moreira. A tool for auto-matic model extraction of ada/spark programs. Technical Report DCC-2010-05, DCC-FC &LIACC, Universidade do Porto, 08/2010.

101. Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. On the average size ofpd automata: an analytic combinatorics approach. Technical Report DCC-2010-04, DCC-FC& LIACC, Universidade do Porto, 07/2010.

102. Nelma Moreira, David Pereira, Simao Melo de Sousa. On the mechanization of Kleenealgebra in Coq. Technical Report DCC-2009-03, DCC - FC & LIACC, Universidade doPorto, 04/2009.

103. Marco Almeida, Nelma Moreira, Rogerio Reis. Testing Regular Languages Equivalence.Technical Report DCC-2009-01, DCC - FC & LIACC, Universidade do Porto, 06/2009.

104. Marco Almeida, Nelma Moreira, Rogerio Reis. Testing Regular Expressions Equivalence.Technical Report DCC-2007-07, DCC - FC & LIACC, Universidade do Porto, 2007.

105. Marco Almeida, Nelma Moreira, Rogerio Reis. On the performance of automata minimi-zation algorithms. Technical Report DCC-2007-03, DCC - FC & LIACC, Universidade doPorto, 2007.

106. David Pereira, Eugenio Oliveira, Nelma Moreira. Formal modelling of Emotions in BDIAgents. Technical Report DCC-2007-04, DCC - FC & LIACC, Universidade do Porto, 2007.

107. Marco Almeida, Nelma Moreira, Rogerio Reis. Exact Generation of Minimal Acyclic Deter-ministic Finite Automata. Technical Report DCC-2007-05, DCC - FC & LIACC, Universi-dade do Porto, 2007.

108. Marco Almeida, Nelma Moreira, Rogerio Reis. Enumeration and Generation of InitiallyConnected Deterministic Finite Automata. Technical Report DCC-2006-07, DCC-FC &LIACC, Universidade do Porto, December, 2006.

109. Ana Paula Tomas, Nelma Moreira, Nuno Pereira. Designing a Symbolic Solver for ArithmeticConstraints to Support Education in Mathematics. Technical Report DCC-2005-06, DCC -FC & LIACC, Universidade do Porto, August 2005.

110. David Pereira, Eugenio Oliveira, Nelma Moreira.Towards an architecture for emotional bdiagents. Technical Report DCC-2005-09, DCC - FC & LIACC, Universidade do Porto, July2005

111. Marco Almeida, Nelma Moreira, Rogerio Reis. On the Representation of Finite Automata,Technical Report DCC-2005-04, DCC - FC & LIACC, Universidade do Porto, April, 2005.

112. Jose Joao Morais, Nelma Moreira, Rogerio Reis. Acyclic Automata with easy-to-find shortregular expressions. Technical Report DCC-2005-03,DCC-FC& LIACC, Universidade doPorto, April 2005.

113. Nelma Moreira, Rogerio Reis. On the density of languages representing finite set partitions.Technical Report DCC-2004-07,DCC-FC& LIACC, Universidade do Porto,2004.

114. Rogerio Reis, Nelma Moreira, Joao Pedro Pedroso. Educated brute-force to get h(4). Tech-nical report DCC-2004-04, DCC-FC & LIACC, Universidade do Porto, 2004.

115. Rogerio Reis e Nelma Moreira. FAdo: tools for finite automata and regular expressions,Technical Report, DCC-2002-02, DCC - FC & LIACC, Universidade do Porto, August,2002.

116. Rogerio Reis, Nelma Moreira. Apoo: an Environment for a First Course in Assembly Lan-guage Programming, SIGCSE Bulletin-inroads, 2001, vol 33, n.2 , ACM Press.

11

117. Jose Paulo Leal, Nelma Moreira, Pedro Ribeiro. EDIC: Uma Abordagem para Apresentacaode Conteudos Pedagogicos na Web, Technical Report DCC-2001-5, DCC - FC & LIACC,Universidade do Porto, July, 2001.

118. Jose Paulo Leal, Nelma Moreira. Using Matching for Automatic Assessment in Compu-ter Science Learning Environments, Technical Report DCC-2000-3, DCC - FC & LIACC,Universidade do Porto, May, 2000.

119. Rogerio Reis, Nelma Moreira. Apoo: an Environment for a first Course in Assembly Lan-guage Programming, Technical Report DCC-98-9, DCC - FC & LIACC, Universidade doPorto, Novembro, 1998.

120. Jose Paulo Leal, Nelma Moreira. Automatic Grading of Programming Exercises, TechnicalReport DCC-98-4, DCC - FC & LIACC, Universidade do Porto, July, 1998.

121. Luıs Damas, Nelma Moreira. A Quantifier Elimination Algorithm for a First Order Logicwith Equality, Technical Report, Centro de Informatica da Universidade do Porto, 1991.

122. Isabel Labouriau, Nelma Moreira. Third order derivative of degenerate Hopf bifurcation innormal form, Technical Report, Grupo de Matematica Aplicada da Faculdade de Cienciasda Universidade do Porto, 1986.

Publicacoes didacticas

123. Ana Paula Tomas e Nelma Moreira. Modelos de Computacao, Departamento de Ciencia deComputadores, FCUP, 2005.

124. Nelma Moreira. Logica Computacional, Departamento de Ciencia de Computadores daFCUP,2004.

125. Nelma Moreira. Algums Exercıcios de Programacao em Linguagem C, Departamento deCiencia de Computadores, Faculdade de Ciencias da Universidade do Porto, 1997.

126. Ana Paula Tomas, Nelma Moreira. Alguns Exercıcios de Inteligencia Artificial. Departa-mento de Ciencia de Computadores, Faculdade de Ciencias da Universidade do Porto, 1997.

127. Ana Paula Tomas, Nelma Moreira. Bases de Numeracao e Representacao de Numeros emComputador. Departamento de Ciencia de Computadores, Faculdade de Ciencias da Uni-versidade do Porto, 1997.

128. Nelma Moreira. Logica Proposicional, Algebra de Boole e Circuitos Logicos. Departamentode Ciencia de Computadores, Faculdade de Ciencias da Universidade do Porto, 1997.

129. Nelma Moreira, Ana Paula Tomas. Notas e Exercıcios de Introducao aos Computadores, De-partamento de Ciencia de Computadores, Faculdade de Ciencias da Universidade do Porto,1996.

130. Nelma Moreira, Armando Matos. Complexidade de Kolmogorov e Informacao Algorıtmica,Departamento de Ciencia de Computadores, Faculdade de Ciencias da Universidade doPorto, 1996.

131. Armando Matos e Nelma Moreira. Decidibilidade e Teoria dos Problemas NP-completos, De-partamento de Ciencia de Computadores, Faculdade de Ciencias da Universidade do Porto,1996.

132. Nelma Moreira. Algumas Notas e Exercıcios de Teoria da Computacao, Departamento deCiencia de Computadores, Faculdade de Ciencias da Universidade do Porto, 1996.

12

133. Armando Matos, N. Moreira, A. P. Tomas, P. Vasconcelos. Exercıcios de Topicos de Ma-tematica Discreta. Departamento de Ciencia de Computadores, Faculdade de Ciencias daUniversidade do Porto, 1996.

134. Teoria dos problemas NP-completos, relatorio de uma aula pratica apresentado a Universi-dade do Porto no ambito das Provas de Aptidao Pedagogica e Capacidade Cientıfica, Outubro1988.

Comunicacoes e Seminarios

Comunicacoes em painel (poster)

2009 J. Barbosa, J. Caramelo, J. Cunha, A. Ferreira, L. Lacerda, N. Lopes, M.Loff, M. Matias, T. Medina, B. Monteiro, N. Moreira, C. Nogueira, R. Reis, I.Ribeiro, J. Rocha, P. Rocha, C. F. Silva, C. R. Silva. Education and Languagein Memories of Labour. Concurso Investigacao na Pre-graduacao 2007, IPG18. Apresentado no IJUP 2008, Universidade do Porto, 27/02/2009.

2007 C. Amaral, R. Cruz, M. Florido, N. Moreira, R. Reis. Compiling for the ApooVirtual Machine, CoRTA07, Universidade da Beira Interior, Covilha, 07/2007.

2006 Flavio Miranda, Joana Sequeira, Norberto Lopes, Manuel Loff, Nelma Moreira,Teresa Medina, Cristina Nogueira. Memorias, Vivencias e Identidade dos Tra-balhadores Texteis do Porto - Percursos de Vida e de Trabalho na IndustriaTextil, concurso Investigacao na Pre-graduacao 2006, Universidade do Porto,20/9/2006.

2005 Nelma Moreira, Rogerio Reis. FAdo:Interactive Tools for Learning FormalComputational Models. Encontro Nacional de Visualizacao Cientıfica, CentroMultimeios de Espinho, Portugal, 17/9/2005.

Jose Joao Morais, Nelma Moreira, Rogerio Reis. Acyclic Automata with easy-to-find short regular expressions (Poster)Tenth International Conference onImplementation and Application of Automata, CIAA 2005.

2000 Jose Paulo Leal, Nelma Moreira. Using matching for automatic assessment incomputer science learning environments, WBLE 2000, Porto, Portugal.

Comunicacoes orais

2015 Sabine Broda, Antonio Machiavelo, Nelma Moreira, and Rogerio Reis. Par-tial derivative automaton for regular expressions with shuffle. DCFS 2015,Waterloo, Ontario, Canada June 25-2015.

2012 Nelma Moreira, Rogerio Reis. FAdo: tools for finite automata manipulation,Demo session, CIAA 2012, Porto July 19-2012.

2010 Hugo Gouveia, Nelma Moreira and Rogerio Reis, Small nfas from regular ex-pressions: Some experimental results. 6th Conference Computability in Europe(CIE 2010), Ponta Delgada, Azores, July 2010.

2009 Marco Almeida, Nelma Moreira, and Rogerio Reis. Testing equivalence of re-gular languages. In Workshop on Descriptional Complexity of Formal Systems(DCFS09), Magdeburg, Germany, July 2009.

2008 Marco Almeida, Nelma Moreira, and Rogerio Reis. Exact generation of acy-clic deterministic finite automata. Workshop on Descriptional Complexity ofFormal Systems (DCFS08), Charlottetown, Canada, July 2008.

13

2006 Marco Almeida, Nelma Moreira, Rogerio Reis. Aspects of enumeration andgeneration with a string automata representation. Workshop on DescriptionalComplexity of Formal Systems (DCFS06). June 2006, Las Cruces, NM.

1996 Luıs Damas, Nelma Moreira. Resolution of Constraints on Trees and HigherOrder Tree Descriptions. 5rd Portuguese Advanced School on AI – ConstraintProgramming, Estoril, 10/1996.

1995 Luıs Damas, Nelma Moreira. Constraint Categorial Grammars. 7th Portu-guese Conference on Artificial Intelligence, EPIA 95, 1995.

1994 Luıs Damas, Nelma Moreira. Constraint Categorial Grammars. EuropeanResearch Conference on Logic, Language and Information: Inference and In-formation Structure within Computational Semantics, Espinho, 12/1994.

1993 Luıs Damas, Nelma Moreira, Sabine Broda. Resolution of Constraints in Al-gebras of Rational Trees,6th Portuguese Conference on Artificial Intelligence,1993.

1989 Nelma Moreira, Semantic Analysis of Time and Tense in Natural Language:an implementation, 4th Portuguese Conference of Artificial Inteligence, 1989.

Seminarios

2014 How small machines can be, on average?, MAPI Seminar, 26/11/2014.

2014 Automata for KAT expressions, Workshop Voices of Cante, CMUP, 24/01/2014.

2012 Average-case Complexity of Regular Languages. CMUM, Universidade do Mi-nho. 19/10/2012.

2011 Average-case Complexity of Regular Languages. CMUP’s Open Day 2011.25/11/2011

2010 FAdo and GUitar:an interactive environment for regular languages manipula-tion University of Waterloo, Ontario, Canada. 3/12/2010.

2008 Kleene Algebras for Program Verification, Workshop RESCUE project, Uni-versidade da Beira Interior, Covilha, 25/1/2008.

2007 Contributo para um arquivo digital de historia oral, Seminario Memoria dotrabalho - questoes metodologicas e epistemologicas, Faculdade de Psicologiae Ciencias da Educacao, Universidade do Porto, Porto, 14/12/2007.

2006 Uma Forma Normal para Automatos Finitos Determinısticos e suas Consequen-cias, Jornada de Ciencias da Computacao, DCC-FCUP Junho 2006.

2000 O Isomorfismo de Curry-Howard, DCC-FCUP, Julho 2000.

2000 O Estado do Ensino da Programacao, no ambito do Seminario sobre o Ensinoda Programacao, realizado na Faculdade de Ciencias e Tecnologia da Univer-sidade Nova de Lisboa, Julho 2000.

1998 CCLG: Gramaticas de Categorias com Restricoes, no Centro de Linguıstica daUniversidade do Porto, Junho 1998.

14

Actividade Cientıfica

Envolvimento em projectos de investigacao

De 1988 a 2010 a actividade de investigacao tem sido desenvolvida no Laboratorio de InteligenciaArtificial e Ciencia de Computadores (LIACC) da Universidade do Porto (UP), nas areas: Pro-gramacao por Restricoes; Logica, Linguagens e Computacao; Ensino assistido por Computador;de 2007 a 2010 Linguagens, Complexidade e Criptografia. Desde de 2010 integrou o Centro deMatematica da Universiade do Porto (CMUP), no grupo de Semigrupos, Linguagens e Automatos.

Participou ou participa nos seguintes projetos:

AVIACC (Analise e Verificacao de Programas Concorrentes Crıticos), FCT PTDC/ EIA-CCO/117590/2010. Investigador Principal Jorge Sousa Pinto (Universidade do Minho). Percenta-gem: 15

Pagina do projeto: http://wiki.di.uminho.pt/twiki/bin/view/Research/Aviacc/WebHome

CANTE (Descriptional and Computational Complexity of Formal Languages), FCT/ PTDC/EIA-CCO/101904/2008 2010-2012. Investigador Principal Rogerio Ventura dos Santos Reis (Uni-versidade do Porto/ LIACC) Percentagem: 20.

Pagina do projeto: www.dcc.fc.up.pt/cante

CSI (Cryptographic Security of Individual Instances) FCT/ PTDC/EIA-CCO/099951/2008, 2010-2012. Investigador Principal Luıs Filipe Coelho Antunes (Universidade do Porto/ IT).Percentagem:15

IJUP 2010 Analise Social e Linguıstica nas Memorias do Trabalho IJUP 162, integrado no pro-grama Investigacao Cientıfica na pre-graduacao da Universidade do Porto, 2010 (Coordena-tor: A signataria) (financiamento: 3500 euros).

RESCUE (Reliable and Safe Code Execution for Embedded Systems), FCT/ PTDC/ EIA/ 65862/2006, FCT, 2008-2011. Investigador Principal Simao Melo de Sousa (Universidade da BeiraInterior/ LIACC). Percentagem: 20 Pagina do projeto: http://twiki.di.uminho.pt/

twiki/bin/view/Research/Rescue/WebHome/.

IPG 2007 Education and Language in Memories of Labour, IPG 118, integrado no programaInvestigacao Cientıfica na pre-graduacao da Universidade do Porto, 2007 (Coordenator: asignataria) (financiamento: 4000 euros).

Pagina do projeto: www.ncc.up.pt/~nam/elml.

ASA Automata, Semigroups and Applications, PTDC/ MAT/ 65481/ 2006, FCT, 2007-2010.Investigador Principal Manuel Delgado (FCUP, CMUP). Percentagem: 20

Pagina do projeto: www.fc.up.pt/asa.

Memorias Memorias do trabalho: processos de obtencao duma identidade operaria, POCI/ CED/60786/ 2004, projeto de I&D da FCT, 2006-2009. Investigador Principal: Natercia Pacheco(Faculdade de Psicologia e Ciencias da Educacao da UP). Percentagem: 15

Pagina do projeto: www.ncc.up.pt/memorias.

IPG 2005 Memorias e Vivencias de Trabalhadores Texteis do Porto - Condicoes de Vida ede Trabalho na Industria Textil, integrado no programa Investigacao Cientıfica na pre-graduacao da Universidade do Porto, 2006. Coordenador: Manuel Loff (Faculdade de Letras,UP) (financiamento: 3000 euros)

15

Em 2004, no ambito de um concurso de projetos de I&D, da FCT, participou na proposta dosprojetos do LIACC FAdo: ambiente interactivo para a investigacao de linguagens formais(Investigador principal: a signataria) e Tipos: Fundamentos e Aplicacoes (Investigador prin-cipal: Sabine Broda, FCUP/LIACC) que nao foram considerados para financiamento.

AGILMAT Geracao Automatica de Exercıcios Interactivos para Ensino de Matematica, POSI/CHS/ 48565/ 2002, 2003-2006, FCT. Investigador Principal Ana Paula Tomas (FCUP/ LI-ACC). Pagina do projeto: www.ncc.up.pt/agilmat. Percentagem: 20

Em 2003 no ambito de um concurso de projetos de I&D, da FCT, participou na proposta do pro-jeto RADICAE: sistemas formais e acomplexidade computacional, que nao foi financiado.

GANESH Um Ambiente Modular e Distribuıdo para Aprendizagem de Ciencia de Computado-res, Programa PRAXIS XXI (contrato PRAXIS/ P/ EEI/ 14232/ 98), 6/1999 – 6/2001.Investigador Principal Jose Paulo Leal (FCUP/ LIACC).

Pagina do projeto: www.ncc.up.pt/~zp/ganesh.

CORE Sistemas Formais e Complexidade Computacional, no ambito do Programa PRAXIS XXI(contrato PRAXIS/ P/ EEI/ 14233/ 98), 6/1999 – 6/2001. Investigador Principal LuısDamas (FCUP/LIACC).

PROLOPPE Programacao em Logica Paralela com Extensoes. Projeto conjunto do LIACCe CENTRIA (UNL), no ambito do Programa Base de Investigacao Cientıfica e Tecnologica(contrato Praxis 3/3.1/TIT/24/94), 3/1995–4/1998.

CLG Constraint Logic Grammars da Universidade do Porto e CCE, 1989–1991.

EUROTRA No ambito do Projeto Eurotra da Comissao das Comunidades Europeias (CCE),colaborou na implementacao do prototipo Mark2, desenhado e desenvolvido por Luıs Damase Giovanni Varile (CCE), 1988–1990.

Interfaces Naturais para Acesso a Bases de Dados FCUP e INESC-Norte, 1987/1988.

Processamento de Linguagem Natural da Linha de Acao no¯ 4 (Linguagens e Programacao

Logica) do Centro de Informatica da Universidade do Porto - INIC, de Maio de 1988 a 1989.

Traducao Assistida por Computador sob contrato com a Junta Nacional de Investigacao Ci-entıfica e Tecnologica, FCUP, 1986–87.

Orientacoes de projetos de investigacao

No ambito da atribuicao de bolsas para iniciacao a investigacao e investigacao orientou ou orientaos seguintes projetos:

2015 Implementation of decision procedures for KAT and SKAT using BDDs. Mi-guel Ferreira. (co-supervised with Sabine Broda). 02/2015-04/2015. ProjectAVIACC , FCT PTDC/ EIA-CCO/ 117590/2010.

2014 Conversion of extended regular expressions to alternating finite automata, Ra-faela Bastos, (co-supervised with Rogerio Reis). 10/2014-12/2014. CMUP.

2013 Decidable procedures for Concurrent Kleene Algebras. Sılvia Cavadas. (co-supervised with Sabine Broda). 12/2013-08/2014. Project AVIACC , FCTPTDC/ EIA-CCO/ 117590/2010.

2013 Implementation of automata and KAT terms equivalence algorithms, AndreOliveira (co-supervised with Sabine Broda). Project CANTE PTDC/ EIA-CCO/ 101904/ 2008. 5/2013-7/2013.

16

2012 MinFA and Res: mininal NFAs and extended regular expressions, Rafaela Bas-tos, (co-supervised with Rogerio Reis). Project CANTE PTDC/ EIA-CCO/101904/ 2008. 2012-2013

2011 Desco: a Web based information system for Descriptional Complexity, DavideNabais (co-supervised with Rogerio Reis). Project CANTE PTDC/ EIA-CCO/101904/ 2008. 2011-2013.

2011 Guitar: Visualization tools for automata, Rizo Isrof, (co-supervised with Ro-gerio Reis). Project CANTE PTDC/EIA-CCO/101904/2008. 2011-2013.

2010 Verificacao de programas Ada usando Automatos temporizados, Nuno Silva,(co-orientacao com Simao Melo de Sousa). Project Rescue FCT/ PTDC/ EIA/65862/ 2006, FCT.

2010 Metodos de obtencao de expressoes regulares pequenas, Davide Nabais, (co-orientacao com Rogerio Reis).

2009 Obtencao de automatos finitos nao determinısticos pequenos, Hugo Gouveia,(co-orientacao com Rogerio Reis).

2008 Ambiente grafico interactivo para diagramas de automatos finitos, Jose Alves,(co-orientacao com Rogerio Reis).

2008 Visualizacao e Edicao de diagramas de automatos finitos, Andre Almeida, (co-orientacao com Rogerio Reis).

2005 Metodos de conversao de automatos finitos em expressoes regulares pequenas,Marco Almeida, (co-orientacao com Rogerio Reis).

2005 Sistemas dedutivos para logicas de descricao, Ricardo Gomes, (co-orientacaocom Rogerio Reis).

Orientacoes de teses de mestrado e doutoramento

Orientou as seguintes teses de mestrado:

2013 DesCo: a Web Information System For Description Complexity Results, Da-vide Nabais, (Mestrado em Ciencia dos Computadores), 2013. (co-orientacaode Rogerio Reis)

2012 Decision Algorithms for Kleene Algebra with Tests and Hoare Logic, RicardoAlmeida, Mestrado em Ciencia de Computadores (FCUP),2012. (co-orientacaode Sabine Broda)

2010 An Interactive System for Automata Manipulations, Jose Daniel da Silva Alves,Mestrado em Ciencia de Computadores (FCUP). (co-orientacao de RogerioReis)

2010 Inferencia de tipos em Python, Eva Catarina Gomes Maia, Mestrado em Cien-cia de Computadores (FCUP). (co-orientacao de Rogerio Reis).

2010 Towards Automata Diagram Drawings, Andre Emanuel Bernardo Almeida,Mestrado em Ciencia de Computadores (FCUP). (co-orientacao de RogerioReis).

2007 Logic frameworks for reasoning about emotions in BDI Agents. David Pereira,Mestrado em Informatica, Faculdade de Ciencias da Universidade do Porto,5/2007 (co-orientacao com Eugenio Oliveira).

17

2006 GerExa: uma plataforma para a manipulacao de exercıcios e exames em XML.Angela Oliveira, Mestrado em Informatica, Faculdade de Ciencias da Univer-sidade do Porto. 12/2006.

2006 Specification of a Language for Timetabling Problems, Dora Melo, Mestradoem Informatica, Faculdade de Ciencias da Universidade do Porto,12/2006. (co-orientacao com Joao Pedro Pedroso e Rogerio Reis).

2005 Obtencao de expressoes regulares pequenas a partir de automatos finitos. JoseJoao Goncalves Morais, Mestrado em Informatica, Faculdade de Ciencias daUniversidade do Porto,01/2005 (co-orientacao com Rogerio Reis).

Orienta ou orientou as seguintes teses de doutoramento:

• Equivalence of regular languages: an algorithmic approach and complexity analysis. MarcoAlmeida. Tese de doutoramento, Programa doutoral em Ciencia de Computadores, FCUP.(co-orientacao com Rogerio Reis). Abril 2011.

• Towards certified program logics for the verification of imperative programs. David Pereira.Tese de doutoramento, Programa doutoral MAP-i 2007 (co-orientacao com Simao Melo deSousa). 2013.

• Complexidade descritiva de linguagens regulares e sua aplicacao no desempenho pratico dealgoritmos. Eva Maia. Tese de doutoramento. Programa doutoral em Ciencia de Computa-dores, FCUP.(co-orientacao com Rogerio Reis). Conclusao prevista 2015.

Visitas de trabalho

2015 LAbri, Bordeaux, France: visiting Synvain Lombardy e Jacques SAkarovitch(16-19/02).

2015 University of Charles, Prague, Czech Republic: visiting Frantisek Mraz (29/01-1/02).

2014 Universita degli Studi di Milano, Italia: visiting Giovanni Pighizzini, February.

2014 University of Prince Edward Island, Charlottetown. PEI Canada, visiting Ce-zar Campeanu, April

2014 University of St. Mary, Halifax, Nova Scotia, Canada, visiting Stavros Kons-tantinidis, May

2010 University of Western Ontario, London, Ontario, Canada: visiting Sheng Yu:September-December.

Participacao em Juris

2016 Arguente nas provas de doutoramento de Gabriela Susana Martin Torres, dis-sertacao intitulada Rough Approximations in Varieties of Regular Languages,Universitat Rovira i Virgili, department de Filologies Romaniques, Tarragona,Spain.

2014 Membro do juri das provas de dotoramento de Besik Dundua, dissertacao in-titulada Programming with Sequence and Context Variables: Foundations andApplications, Universidade do Porto.

2014 Membro do juri das provas de doutoramento de Dora Regina Oliveira Melo,dissertacao intitulada Sistemas de Pergunta-Resposta para a Web semantica,Universidade de Evora.

18

2012 Arguente das provas de mestrado em Matematica e Computacao, Escola deCiencias, Universidade do Minho, de Isabel Maria Ventura Santos, dissertacaointitulada Logica da separacao e verificacao formal de programas.

2011 Arguente das provas de mestrado em Engenharia de Computadores, Escola deEngenharia, Universidade do Minho, de Andre de Matos Pedro, dissertacaointitulada Learning and testing stochastic discrete event systems.

2009 Arguente das provas de doutoramento de Paulo Filipe Araujo da Silva, disser-tacao intitulada On the Design of a “Galculator”, Universidade do Minho.

2009 Arguente das provas de doutoramento de Jose Miguel Ferreira Vilaca, disser-tacao intitulada Visual Functional Programming, Universidade do Minho.

2009 Arguente das provas de trabalho de estagio do Mestrado em Ciencia de Compu-tadores, FCUP de Ricardo Alberto Teixeira Batista, relatorio intitulado ”SpaceAqua - Automated Qualification Framework for Space Applications”.

2008 Membro do juri das provas de mestrado em Engenharia Matematica, FCUP deAlexandra Goreti Pinto Queiros, dissertacao intitulada Votacoes Electronicase a Cifra de Paillier.

2007 Membro do juri das provas de doutoramento de Jorge Manuel Neves Coelho,dissertacao intitulada XML Processing in Logic Programming, Universidade doPorto.

2006 Membro do juri de equivalencia ao grau de Doutor requerido por Rosaldo JoseFernandes Rosseti, dissertacao intitulada BDI-based approach for the assess-ment of drivers’ decision-making in commuter scenarios.

2002 Membro do juri das provas de doutoramento de Luıs Filipe Coelho Antunes,dissertacao intitulada Useful Information, Universidade do Porto.

2001 Membro do juri das provas de doutoramento de Alneu de Andrade Lopes,dissertacao intitulada Regras e Casos: Uma Abordagem a Aprendizagem Rela-cional Multi-Estrategia, Universidade do Porto.

2005 Membro do juri das provas de mestrado em Informatica da FCUP de Lilianada Conceicao Monteiro Salvador, dissertacao intitulada Seguranca Absoluta emSistemas de Cifra de Chave Simetrica.

2001-2006 Presidente do juri de diversas provas de mestrados em Informatica e em Inte-ligencia Artificial e Computacao da FCUP.

Presidente do juri das provas de mestrado em Informatica, dos seguintes licen-ciados:

• Hugo Jorge Pinto Ribeiro (11/2003), que apresentou uma dissertacao in-titulada Webneighbours: uma cache distribuıda usando um modelo P2P.

• Rolando da Silva Martins (7/2003), que apresentou uma dissertacao in-titulada Um Sistema Baseado na Separacao de Ambientes para ExecucaoDistribuıda de Prolog.

• Ricardo Jorge Nogueira Fernandes (3/2003), que apresentou uma disser-tacao intitulada Interfaces Web para aplicacoes SCADA.

• Miguel Ferreira Pereira Gomes (2/2003), que apresentou uma dissertacaointitulada Canal SCADA na Web.

19

• Rogerio Filipe Pinho Ferreira (3/2003), que apresentou uma dissertacaointitulada Metodologia de Partilha de Dados entre Sistemas HeterogeneosUsando XML.

• Jorge Manuel Neves Coelho (11/2002), que apresentou uma dissertacaointitulada Processamento de XML em Prolog.

• Pedro Miguel Figueiredo Medas (9/2002), que apresentou uma dissertacaointitulada Aplicacoes da Complexidade de Kolmogorov a Criptografia.

• Paula Marina Goncalves Fonseca (11/2002), que apresentou uma disser-tacao intitulada Analise Automatica de Logs em Sistemas Unix.

• Mario Joao Goncalves Antunes (FCUP, 10/2001), que apresentou umadissertacao intitulada Administracao Centralizada de Grupos de SistemasUnix.

Presidente do juri das provas de mestrados em Inteligencia Artificial e Compu-tacao, dos seguintes licenciados:

• Guilherme Pereira (3/2006), que apresentou uma dissertacao intituladaMulti-Agent System for Turistic Agency.

• Sergio Fernando Grilate Louro (9/2004), que apresentou uma dissertacaointitulada Sistema Multi-Agente para Visualizacao 3D de jogos de futebolrobotico simulado.

• Luıs Antonio Diniz Fernandes de Morais Sarmento (5/2004), que apresen-tou uma dissertacao intitulada Arquitecturas de Agentes Emocionais.

• Joao Paulo da Costa Cordeiro (10/2003), que apresentou uma dissertacaointitulada Extracao de Elementos Relevantes em Texto/Paginas da WorldWide Web.

Participacao em congressos e cursos

• 17th International Workshop on Descriptional Complexity of Formal Systems (DCFS15),Waterloo, Ontario, Canada, 25-27/06/2015.

• Brzozowski 80: The Role of Theory in Computer Science, Waterloo, Ontario, Canada,24/06/2015.

• 2015 AMS-EMS-SPM International Meeting, Porto, Portugal, 10-13/06/2015.

• AutoMathA 2015. Jewels of Automata:from Mathematics to Applications, Leipzig, Ger-many, 6-9/05/2015.

• 41st SOFSEM-the International Conference on Current Trends in Theory and Practice ofComputer Science,24-29/01/2015,Pec pod Snezkou, Czech Republic.

• 16th International Workshop on Descriptional Complexity of Formal Systems (DCFS14),Turku, Finland, 5-8/08/2014.

• 19th International Conference on Implementation and Applications of Automata, (CIAA14),Giessen, Germany, 30/07-2/08/2014.

• 6th Workshop on Non-Classical Models of Automata and Applications (NCMA 2014), Kassel,Germany, 28-29/07/2014.

• 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal,9-11/07/2014.

20

• 15th International Workshop on Descriptional Complexity of Formal Systems (DCFS13),London, Ontario, Canada, 22-25/07/2013.

• 18th International Conference on Implementation and Applications of Automata, (CIAA13),Halifax, Nova Scotia, Canada, 16-19/07/2013.

• 39th International Conference on Current Trends in Theory and Practice of Computer Sci-ence (SOFSEM 2013), Spindleruv Mlyn, Czech Republic, 26-31/01/2013.

• 14th International Workshop on Descriptional Complexity of Formal Systems (DCFS12),Braga, Portugal, 23-25/07/2012.

• 17th International Conference on Implementation and Applications of Automata, (CIAA12),Porto, Portugal, 17-20/07/2012.

• 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS11),Limburg, Germany, 25-27/07/2011.

• 15th International Conference on Developments in Language Theory (DLT2011), Milan,Italy, 19-22/07/2011.

• 16th International Conference on Implementation and Applications of Automata, (CIAA11),Blois, France, 13-16/07/2011.

• 14th International Conference on Developments in Language Theory (DLT2010), London,Ontario, Canada, 17-20/08/2010.

• 15th International Conference on Implementation and Applications of Automata, (CIAA10),Winnipeg, Canada, 12-15/08/2010.

• 12th International Workshop on Descriptional Complexity of Formal Systems (DCFS10),Saskatoon, Canada, 8-10/08/2010.

• Computability in Europe 2010, (CIE 2010), Ponta Delgada, Acores, Portugal, 30/6-4/7/2010.

• Automata, Semigroups and Applications’ days, Junho 2010, Faculdade de Ciencias da Uni-versidade do Porto.

• 8a Conferencia Nacional XML: aplicacoes e tecnologias associadas (XATA 2010) ESEIG,Vila do Conde, Portugal, 19-20/5/2010.

• Days in Logic, DCC-FCUP, Porto, Portugal, 28-30/1/2010.

• 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS09),Magdeburg, Germany, 6-9/07/2009.

• 13th International Conference on Implementation and Applications of Automata, (CIAA08),San Francisco, CA, USA, 21-24/07/2008.

• 10th International Workshop on Descriptional Complexity of Formal Systems (DCFS08),Charlottetown, PEI, Canada, 16-18/07/2008.

• 6a Conferencia Nacional XML: aplicacoes e tecnologias associadas (XATA 2008) Universi-

dade de Evora, Evora, Portugal, 14-15/2/2008.

• Days in Logic, Universidade Tecnica de Lisboa, Lisboa, Portugal, 16-18/1/2008.

• 9th International Workshop on Descriptional Complexity of Formal Systems (DCFS07),HighTatras, Slovakia, 20-22/07/2007.

• ETAPS, Satellite Events, Braga, Portugal, 24/03-1/04/2007.

21

• 12th International Conference on Implementation and Applications of Automata, (CIAA07),Prague, Czek Republic, 16-18/07/2007.

• 5a Conferencia Nacional XML: aplicacoes e tecnologias associadas (XATA 2007) Universi-dade de Lisboa, Lisboa, Portugal, 15-16/2/2007.

• 8th International Workshop on Descriptional Complexity of Formal Systems (DCFS06) LasCruces, New Mexico, USA, 21-23/6/2006.

• Days in Logic, Universidade de Coimbra, Coimbra, Portugal, 19-21/1/2006.

• Encontro Nacional de Visualizacao Cientıfica, Centro Multimeios de Espinho, Espinho, Por-tugal, 17/9/2005.

• Structures and Deduction: The quest for the essence of proofs, ICALP Workshop, Lisboa,Portugal, 16-17/07/2005.

• 7th International Workshop on Descriptional Complexity of Formal Systems (DCFS05),Como,Italy, 30/06-1/07/2005.

• 10th International Conference on Implementation and Application of Automata (CIAA05),Sophia Antipolis, France, 27-29/06/2005.

• 3a Conferencia Nacional XML: Aplicacoes e Tecnologias Associadas (XATA 2005), Braga,10-11/2/2005.

• Workshop on Computational Logic in Multi-Agent Systems ( CLIMA V), Lisboa, 28/09/2004.

• 1st International Conference on Knowledge Engineering and Decision Support (ICKEDS 04),ISEP, Porto Portugal, 21-24/7/2004.

• Days in Logic, Universidade do Minho, Braga, Portugal 22-24/1/2004.

• Summer School on Discrete Mathematics, Universidade de Coimbra, Portugal, 25-27/6/2002.

• International Conference on New Technologies in Science Education, CINTEC 2001, Aveiro,Portugal, 4-6/7/2001.

• II Encontro Interactivo de E-learning, Porto, Portugal, 3/2001.

• Novas Tecnologias e Pedagogia: Estudo de Casos Universitarios, Porto, Portugal,12-14/7/2000.

• Web-Based Learning Environments, WBLE 2000, Porto, Portugal, 5-6/6/2000.

• Projeto Piloto para o Ensino a Distancia, seminario de trabalhos, Porto, 3/2000.

• 5rd Portuguese Advanced School on AI – Constraint Programming, Estoril, 10/1996.

• 7th Portuguese Conference on Artificial Intelligence, Funchal, 10/1995.

• European Research Conference on Logic, Language and Information: Inference and Infor-mation Structure within Computational Semantics, Espinho, Portugal, /12/1994.

• 6th Portuguese Conference on Artificial Intelligence, Porto, Portugal, 10/1993.

• 5th European Summer School in Natural Language Processing, Logic and Knowledge Re-presentation, Lisboa, Portugal, 08/1993.

• 3rd International Workshop in Logic Program Synthesis and Transformation, ”LOPSTR’93’”,Louvain-la-Neuve, Belgica, 07/1993.

• 3rd Portuguese Advanced School on AI - ”Logic and Information”, Furnas, S.Miguel, 09/1992.

22

• 4th International Symposium on Programming Language Implementation and Logic Pro-gramming, Leuven, Belgica, 08/1992.

• 5th Portuguese Conference on AI, Albufeira, Portugal, 10/1991.

• 3th International Workshop on Natural Language Understanding and Logic Programming,Stockholm, Sweden, 05/1991.

• 2nd Portuguese Advanced School on AI – ”Natural Language Processing”, Guarda, Portugal,10/1990.

• 4th Portuguese Conference on AI, Lisboa, Portugal, 9/1989.

• 1st European Summer School in Natural Language Processing, Logic and Knowledge Repre-sentation, Groningen, Holanda, 06/1989.

• 1st Portuguese Advanced School on AI - ”Knowledge Representation”, Mira, 10/1988.

• Workshop ”Computational Linguistics and Formal Semantics”, Lugano, Suica, 09/1988.

• 3th Portuguese Conference on AI, Braga, 10/1987.

• 2th Portuguese Conference on AI, Lisboa, 10/1986.

Participacao em comissoes cientıficas de conferencias

2015 7th Workshop on Non-Classical Models of Automata and Applications (NCMA2015), 31/08-01/09/2015, Porto, Portugal. Co-presidente da comissao de pro-grama.

2015 17th International Worshop on Descriptional Complexity of Formal Systems,Waterloo, Canada, 25-27/07/2015. Membro da comissao de programa.

2014 19th International Conference on Implementation and Application of Automata(CIAA 2014), Giessen, Germany. Membro da comissao de programa.

2014 6th Non-Classical Models of Automata and Applications, NCMA 2014, Kassel,Germany. Membro da comissao de programa.

2014 Inforum, Simposio de Informatica, 2014. Membro da comissao de Programado topico “Sistemas Embebidos e de Tempo-Real”.

2013 18th International Conference on Implementation and Application of Auto-mata (CIAA 2013), Halifax, Nova Scotia, Canada. Membro da comissao deprograma.

2013 15th International Worshop on Descriptional Compelxity of Formal Systems,London,Ontario, Canada. Membro da comissao de programa.

2013 Inforum, Simposio de Informatica,2013. Membro da comissao de Programa dotopico “Sistemas Embebidos e de Tempo-Real”.

2012 17th International Conference on Implementation and Application of Automata(CIAA 2012), Porto, Portugal. Co-presidente da Comissao de Programa.

2012 14th International Worshop on Descriptional Compelxity of Formal Systems,Braga, Portugal. Co-presidente da Comissao de Programa.


23

2011 3rd Non-Classical Models of Automata and Applications, NCMA 2011. Mem-bro da comissao de programa.


2010 Inforum, Simposio de Informatica,2010. Membro da comissao de Programa dotopico ”Especificacao, Verificacao, e Teste de Sistemas Crıticos”.

Participacao em comissoes organizadoras de eventos e associacoes cien-tıficas

2015 7th Workshop on Non-Classical Models of Automata and Applications (NCMA2015), 31/08-01/09/2015, Porto, Portugal. Co-presidente da comissao de or-ganizacao.

2014 10th International Workshop on Automated Deduction in Geometry, Coimbra,Portugal.

2012 17th International Conference on Implementation and Application of Automata(CIAA 2012), Porto, Portugal. Co-presidente da Comissao de Organizacao.

2012 14th International Worshop on Descriptional Compelxity of Formal Systems,Braga, Portugal. Co-presidente da Comissao de Organizacao.

1993 Membro da Comissao Organizadora da 6th Portuguese Conference on ArtificialIntelligence, realizada no Porto em 10/1993 sob a egide da APPIA.

1991-1992 Membro da Direcao da APPIA.

1990 Membro da Comissao Organizadora da 2a¯ Escola Avancada de Inteligencia

Artificial, realizada em 10/1990 sob a egide da APPIA.

Avaliacao de artigos

E membro da equipa de revisao da Mathematical Reviews, desde 2005. A media de artigos revistose de 5 por ano. Foi avaliadora de artigos para as seguintes revistas e conferencias internacionais:

2016 1. Special Issue LATA 2015 in Journal of Computer and System Sciences

2. Frontiers of Information Technology & Electronic Engineering

2015 1. ACM-SIAM Symposium on Discrete Algorithms, SODA 2015

2. 9th International Conference on Language and Automata Theory andApplications, LATA 2015

3. 27th International Conference on Formal Power Series and Algebraic Com-binatorics, FPSAC2015

4. 20th International Conference on Implementation and Application of Au-tomata, CIAA 2015

5. 47th ACM Technical Symposium on Computer Science Education, SIGCSE2016

6. Journal of Computer and System Sciences (LATA 2015 special issue)

2014 1. Formal Methods, FM 2014.

2. 18th International Conference on Developments in Language Theory, DLT2014.

24

3. International Journal of Foundations of Computer Science (DCFS’s 2013Special Issue)

4. 45th ACM Technical Symposium on Computer Science Education, SIGCSE2015.

2013 1. 17th International Conference on Developments in Language Theory, DLT2013.

2. Theoretical Computer Science

3. Information and Computation. (Special Issue LATA’2013)


5. 8th International Conference on Language and Automata Theory andApplications, Lata 2014.

6. Boletim da Sociedade Portuguesa de Matematica.

2012 1. 4th Non-Classical Models of Automata and Applications, Ncma 2012.

2. Theoretical Informatics and Applications (RAIRO ITA)

3. Theoretical Computer Science (Special Issue CIAA’2011)

4. International Journal of Foundations of Computer Science (Special IssueLATA’2011)

5. Theoretical Computer Science (Special Issue DCFS’2011)


2011 1. International Journal of Computer Mathematics


3. Discrete Applied Mathematics

4. Workshop on Descriptional Complexity of Formal Systems, DCFS 2011.

5. International Conference on Implementation and Applications of Auto-mata, CIAA 2011.

6. Formal Methods, FM 2011.

2010 1. Symposium of Theoretical Aspects of Computer Science, STACS 2011.


3. International Journal of Foundations of Computer Science.

4. Fundamenta Informaticae.

5. International Conference on Implementation and Applications of Auto-mata, (CIAA10),


2009 1. 40th ACM Technical Symposium on Computer Science Education, SIGCSE2009.

2. Innovation and Technology in Computer Science Education (ITiCSE 2009).

2008 1. International Journal “Intelligent Decision Technologies”, IOS Press, De-cember 2008.

25


3. 2nd International Conference on Language and Automata Theory andApplications, LATA 2008.


2007 1. Innovation and Technology in Computer Science Education (ITiCSE 2007).


3. 20th International Joint Conference on Artificial Intelligence, IJCAI 2007.

2006 1. Developments in Computational Models, DCM 2006, Satellite Worshopof ICALP 2006.


2005 15th Portuguese Conference on Artificial Intelligence (EPIA’05).

2004 IX Ibero-American Conference on Artificial Intelligence, IBERAMIA’04.


2002 29th International Colloquium on Automata, Languages, and Programming,ICALP’02.

2001 1. 10th Portuguese Conference on Artificial Intelligence (EPIA’01).

2. 2001 Joint Conference on Declarative Programming, Appia-Gulp-Prode,AGP’01.


Actividade Pedagogica

Actividade Docente

2014/2015 Logia Computacional (2T,4x2P)- Licenciatura em Ciencia de Computadores(LCC) e Mestrado Integrado de Engenharia de Sistemas e Redes Informati-cos (MIESRI); Modelos de Computacao (4x2P)- - Licenciatura em Ciencia deComputadores (LCC) e Mestrado Integrado de Engenharia de Sistemas e RedesInformaticos (MIESRI);

2013/2014 Introducao a Programacao (T, TP, P) - Licenciatura em Ciencia de Com-putadores (LCC) e Mestrado Integrado de Engenharia de Sistemas e RedesInformaticos (MIESRI); Automatos e Aplicacoes (Programa Doutoral MAPI);Licenca sabatica no segundo semestre.

2012/2013 Introducao a Programacao (T, TP, P) - Licenciatura em Ciencia de Com-putadores (LCC) e Mestrado Integrado de Engenharia de Sistemas e RedesInformaticos (MIESRI); Verificacao Formal de Software - Mestrado em Cien-cia de Computadores (MCC), Mestrado Integrado de Engenharia de Sistemase Redes Informaticos (MIESRI).

2011/2012 Introducao aos Computadores (P) - Licenciatura em Ciencia de Computadores(LCC) e Mestrado Integrado de Engenharia de Sistemas e Redes Informaticos(MIESRI);Logica e Programacao (T, P) Licenciatura em Ciencia de Compu-tadores (LCC) e Mestrado Integrado de Engenharia de Sistemas; VerificacaoFormal de Software - Mestrado em Ciencia de Computadores (MCC), MestradoIntegrado de Engenharia de Sistemas e Redes Informaticos (MIESRI).

26

2010/2011 Licenca sabatica no primeiro semestre; Logica e Programacao (T, P) Licencia-tura em Ciencia de Computadores (LCC) e Mestrado Integrado de Engenhariade Sistemas; Verificacao Formal de Software - Mestrado em Ciencia de Com-putadores (MCC), Mestrado Integrado de Engenharia de Sistemas e RedesInformaticos (MIESRI).

2009/2010 Introducao aos Computadores (P) - Licenciatura em Ciencia de Computadores(LCC) e Mestrado Integrado de Engenharia de Sistemas e Redes Informaticos(MIESRI); Logica e Programacao (T, P) Licenciatura em Ciencia de Compu-tadores (LCC) e Mestrado Integrado de Engenharia de Sistemas; VerificacaoFormal de Software - Mestrado em Ciencia de Computadores (MCC), MestradoIntegrado de Engenharia de Sistemas e Redes Informaticos (MIESRI).

2008/2009 Introducao aos Computadores (P) - Licenciatura em Ciencia de Computadores(LCC) e Mestrado Integrado de Engenharia de Sistemas e Redes Informaticos(MIESRI); Fundamentos de Linguagens de Programacao (T,P), VerificacaoFormal de Software - Mestrado em Ciencia de Computadores (MCC), MestradoIntegrado de Engenharia de Sistemas e Redes Informaticos (MIESRI); ProgramSemantics, Verification and Construction, Programa Doutoral MAPI.

2007/2008 Estruturas de Dados (2TP, Total 24), Monografia (1TP, Total 5TP), Esta-gio Pedagogico (2TP, Total 14) - Licenciatura em Ciencia de Computadores(LCC); Fundamentos de Linguagens de Programacao (3.5T,1.5P, Estudantes15), Verificacao Formal de Software (3.5T,1.5P, Estudantes 15)– Mestrado emCiencia de Computadores (MCC), Mestrado Integrado de Engenharia de Sis-temas e Redes Informaticos (MIESRI); Program Semantics, Verification andConstruction (0.5T, Total 3T 6 Regentes), Programa Doutoral MAPI.

2006/2007 Logica Computacional (3.5T,4P, TOTAL 10.5, Estudantes132); Introducao aosComputadores (1T,1.5TP, Total 17, Dois regentes, Estudantes 147), EstagioPedagogico (3TP, Total 15, 5 regentes) Inteligencia Artificial 3PL Total: 10.5)-Licenciatura em Ciencia de Computadores e Licenciatura de Engenharia deSistemas e Redes Informaticos (LERSI); Topicos Avancados de Informatica(4h, Total 56) - Mestrado em Informatica (MI).

2005/2006 Logica Computacional (3.5T,2P, Total 13, 5, Estudantes 123) - Matematicapara Ciencia de Computadores (1TP , Total 29); - Programacao Imperativa(1TP , Total 25)- Licenciatura em Ciencia de Computadores e Licenciatura deEngenharia de Sistemas e Redes Informaticos; ; Topicos Avancados de Infor-matica (8h Total: 56) - Mestrado em Informatica; Sabatica 2 semestre.

2004/2005 Logica Computacional (3.5T,4P, Total 11.5, Estudantes 123), Modelos de Com-putacao (3.5T,2P,Total 13.5), Estagio Pedagogico (2TP, Estudantes 4) - Licen-ciatura em Ciencia de Computadores e Licenciatura de Engenharia de Sistemase Redes Informaticos; Topicos Avancados de Informatica (6TP (Total: 28TP ,Estudantes 5) - Mestrado em Informatica.

2003/2004 Logica Computacional (3.5T,8P, Estudantes 129), Modelos de Computacao(3.5T, Total 12.5, Estudantes 100) - Licenciatura em Ciencia de Computado-res e Licenciatura de Engenharia de Sistemas e Redes Informaticos; TopicosAvancados de Informatica (0.5T, Total 3, 6 regentes, Estudantes 5) - Mestradoem Informatica.

2002/2003 Sabatica 1 Semestre; Modelos de Computacao (T,P) - Licenciatura em Cienciade Computadores.

27

2001/2002 Introducao aos Computadores (T), Programacao Imperativa (T,P), Modelosde Computacao (T) - Licenciatura em Ciencia de Computadores; AplicacoesDistribuıdas e Internet II (8T) - Mestrado em Informatica e em InteligenciaArtificial e Computacao.

2000/2001 Introducao aos Computadores (T), Programacao Imperativa (T,P), Modelos deComputacao (T), Monografia (2) - Licenciatura em Ciencia de Computadores.

1999/2000 Introducao aos Computadores (T), Programacao Imperativa (T,P), Monografia(1) - Licenciatura em Ciencia de Computadores; Seminiario (1), Mestrado emInformatica.

1998/1999 Introducao aos Computadores (T), Programacao Imperativa (T,P), InterfacesGraficas (P) - Licenciatura em Ciencia de Computadores; Processamento deLinguagem Natural (15T) - Mestrado em Linguıstica Portuguesa Descritiva daFaculdade de Letras da Universidade do Porto.

1997/1998 Introducao aos Computadores (T), Programacao Imperativa (T), InteligenciaArtificial (P) e Interfaces Graficas (P) - Licenciatura em Ciencia de Computa-dores.

1996/1997 Introducao aos Computadores (P), Inteligencia Artificial (P), Interfaces Homem-Maquina (P) - Licenciatura em Ciencia de Computadores.

1995/1996 Complexidade (T), Introducao aos Computadores (P), Topicos de MatematicaDiscreta (P) - Licenciatura em Matematica, ramo Ciencia de Computadores.

1994/1995 Introducao aos Computadores (T), Teoria da Computacao (P), Complexidade(P) - Licenciatura em Matematica, ramo Ciencia de Computadores.

1989-1991 Calculo Automatico (T).

1986-1991 Calculo Automatico (P), Teoria da Computacao (P), Teoria da Complexidade(P), Introducao aos Computadores (P) - Licenciatura em Matematica, ramoCiencia de Computadores.

1985/1986 Probabilidades e Estatıstica (P) - Licenciatura em Matematica; Bioestatıstica(P) - Licenciatura em Biologia.

1984/1985 Analise Linear (P) e Calculo Automatico (P) - Licenciatura em Matematica.

Monografia Orientou os seguintes trabalhos:

2008 Automatos e Transdutores com Pesos, Teresa Alexandra Matos Soares.

2000 Implementacao de analisadores sintacticos em Prolog, Helena Nogueira.

2001 Relacoes de ordem e reticulados, Joana Marques.

Algoritmos basicos de ordenacao, Jorge Monteiro.

Orientacoes de estagio pedagogico Orientou os seguintes trabalhos correspondentes aos pro-jetos cientıficos:

2008 O Tangram, por Telmo Leandro.

Cirlog: Implementacao de Circuıtos Logicos, por Jose Fernandes.

2007 Caderneta do Professor por Joao Paulo Costa.

2005 Portal Escolar por Carla Gomes e Carlos Vicente.

28

Orientacoes de estagio

Orientou e co-orientou diversos estagios curriculares no ambito da disciplina de Estagio (ou Pro-jeto) da Licenciatura de Ciencia de Computadores e dos cursos de Mestrado.

2013 Projeto Conversao de expressoes KAT para automatos nao determinısticos porArtur Peniche, Licenciatura em Ciencia de Computadores (co-orientacao comSabine Broda);

2012 Contribuicao para o Desenvolvimento de um Sistema de Routing por FilipeBoaventura, estagio do Mestrado em Engenharia de Redes em Sistemas Infor-maticos (co-orientacao com Alexandre Gomes da InfoPortugal).

2011 Projeto Arquivo Escolar por Pedro Coutinho, estagio do Mestrado em Cienciade Computadores (co-orientacao com Lıgia Ribeiro e Joao Baptista)

2010 Projeto ImageBrowser por Antonio Marques, Licenciatura em Ciencia de Com-putadores (co-orientacao com com Rogerio Reis);

2009 Projeto Obtencao de automatos nao determinısticos pequenos e minimais porHugo Gouveia, Licenciatura em Ciencia de Computadores (co-orientacao comRogerio Reis);

Projeto Classificacao e indexacao de documentos associados a entrevistas porRui Paulo, Licenciatura em Ciencia de Computadores (co-orientacao com Ro-gerio Reis);

Projeto Livraria Poetria on-line por Eduardo Magalhaes e Nuno Pinto, Licen-ciatura em Ciencia de Computadores.

2008 Projeto CGM: ambiente interactivo para a manipulacao de gramticas indepen-dentes de contexto, Licenciatura em Ciencia de Computadores , por AndreAlmeida e Jose Alves (co-orientacao com Rogerio Reis).

2007 Desenvolvimento de tecnologias XML para a indexacao e pesquisa em docu-mentos, por Norberto Machado Lopes (co-orientacao de Rogerio Reis).

Analisador Sintactico GLR para o Yappy, por Ricardo Leite (co-orientacao deRogerio Reis).

Manipulacao de formulas de logica proposicional em Python, por Xu Yi.

2006 Ferramentas para geracao e enumeracao de linguagens regulares, por MarcoAlmeida (co-orientacao de Rogerio Reis).

2005 Ferramentas WEB para acesso a um thesaurus, por Marina Sofia CamposSousa.

Interface grafico para a edicao e a visualizacao de automatos finitos, por VeraJoao (co-orientacao de Rogerio Reis).

2004 Sistema de informacao para a gestao de pessoas e actividades da UPP, porVitor Hugo Lopes Felix.

2003 Automatic: editor de diagramas de automatos finitos, por Pedro Angelo (co-orientacao de Rogerio Reis).

2001 Desenvolvimento Centro de Informacao da Universidade Popular do Porto, porLuıs Pessoa.

1998 Gestao da base de dados da biblioteca do CIUP (DCC e LIACC), por RaquelMaria Castro da Silva.

29

Actividades de gestao e de representacao

Integra ou integrou as seguintes comissoes:

2015-2017 Director da Licenciatura em Ciencia de Computadores (inicio 09/2015).

2015-2016 Membro da Direcao do Centro de Matematica da Universidade do Porto.

2014– Membro da comissao coordenadora da Workshop on Non-classic models of au-toma and aplications (NCMA)

2013 Membro do Painel de Avaliacao de Matematica do Concurso para Atribuicaode Bolsas Individuais de Doutoramento, Doutoramento em Empresas e de Pos-Doutoramento da FCT (Fundacao para a Ciencia e a Tecnologia)– 2013.

2012-2014 Membro da Direcao do Centro de Matematica da Universidade do Porto.

2011-2012 Membro da Comissao Cientıfica da Licenciantura em Ciencia de Computadores(primeiro ciclo) (LCC).

2008-2010 Membro da Comissao Executiva do Departamento de Ciencias de Computado-res.

2007-2009 Membro da Comissao Cientıfica da Licenciantura em Ciencia de Computadores(primeiro ciclo) (LCC).

2006-2008 Coordenadora da Comissao de Pratica Pedagogica Supervisonada da area deInformatica da FCUP.

2003-2005 Coordenadora da Comissao Pedagogica da Licenciatura em Engenharia de Sis-temas e Redes Informaticas.

2002-2004 Membro da Comissao de Mestrado em Informatica da FCUP.

1999-2001 Coordenadora da Comissao de Mestrado em Inteligencia Artificial e Computa-cao (FCUP, FEUP e FEP).

1999-2001 Coordenadora da Comissao de Mestrado em Informatica da FCUP.

1996-2005 Membro da Comissao Executiva do Departamento de Ciencia de Computadoresda FCUP.

Actividades de Extensao Universitaria

2001- Colabora com a Universidade Popular do Porto, no desenvolvimento informa-tico do Centro de Informacao e Documentacao sobre o Movimento Operarioe Popular do Porto (cdi.upp.pt), que foi criado com o apoio da Porto 2001S.A.

2000 Colaborou na Exposicao Matematica Viva, organizada pela Associacao Atrac-tor, sendo responsavel pelo desenvolvimento de um modulo sobre circuitos lo-gicos e adicao binaria.

Pagina do modulo: www.dcc.fc.up.pt/~nam/sbexplica/.

1987-1989 Colaborou nos Cursos de Formacao Profissional de Programadores e de Ope-radores, da responsabilidade da Reitoria da Universidade do Porto (e AURN)e subsidiados pelo Fundo Social Europeu.

14 de Junho de 2016

30

Curriculum Vitae - DCCnam/web/resources/cv_nam_pt.pdf · 28. Nelma Moreira, Giovanni Pighizzini,...

Documents

Transcript of Curriculum Vitae - DCCnam/web/resources/cv_nam_pt.pdf · 28. Nelma Moreira, Giovanni Pighizzini,...