Curriculum Vitæ

Francisco Martins

Lisboa, 25 de Junho de 2006

Conteudo

1 Dados Pessoais 31.1 Enderecos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Pessoa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.3 Graus Academicos . . . . . . . . . . . . . . . . . . . . . . . . . . 41.4 Frequencia de Escolas . . . . . . . . . . . . . . . . . . . . . . . . 41.5 Afiliacoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2 Cargos e actividades 52.1 Pegadogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.2 De Investigacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.3 De Consultoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52.4 De Desenvolvimento de software . . . . . . . . . . . . . . . . . . 6

3 Participacao em Projectos de Investigacao 73.1 Comunitarios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73.2 Nacionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

4 Orientacao Pedagogica e Cientıfica 84.1 Estagios de Licenciatura . . . . . . . . . . . . . . . . . . . . . . . 84.2 Monografias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

5 Publicacoes 105.1 Teses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2 Artigos incluıdos em Revistas . . . . . . . . . . . . . . . . . . . . 105.3 Artigos incluıdos em Actas de Conferencias . . . . . . . . . . . . 105.4 Relatorios Tecnicos . . . . . . . . . . . . . . . . . . . . . . . . . . 11

6 Servicos prestados a comunidade cientıfica 126.1 Actividade de avaliacao cientıfica . . . . . . . . . . . . . . . . . . 12

7 Palestras, participacoes em reunioes cientıficas 137.1 Palestras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137.2 Participacao em reunioes cientıficas . . . . . . . . . . . . . . . . . 147.3 Palestras de divulgacao da ciencia . . . . . . . . . . . . . . . . . 16

1

8 Motivacao Pessoal 17

9 Personalidades de reconhecida idoneidade 18

A Actividade Pedagogica 19A.1 Licenciatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19A.2 Inovacao Pedagogica . . . . . . . . . . . . . . . . . . . . . . . . . 20

B Actividade no sector bancario 22B.1 Consultoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22B.2 Gestao da equipa de Desenvolvimento do BCA . . . . . . . . . . 23B.3 Desenvolvimento de software . . . . . . . . . . . . . . . . . . . . 23

2

Capıtulo 1

Dados Pessoais

1.1 Enderecos

Residencia Habitual

Rua Padre Joao Jose Tavares, 6Rosario,9560-118 LagoaTelefone: 296 965 180

Local de Trabalho

Departamento do MatematicaUniversidade dos AcoresEdifıcio das Ciencias ExactasRua da Mae de Deus9500 Ponta DelgadaTelefone:

Geral: 296 650 000Secretariado: 296 650 073Gabinete: 296 650 515

Telefax: 296 650 072

Electronico fmartins@notes.uac.pt

URL http://www.uac.pt/∼fmartins

1.2 Pessoa

Nasceu no dia 13 de Agosto de 1972, na freguesia de Sao Sebastiao, conce-lho de Angra do Heroısmo, filho de Francisco Cipriano Martins e PalmiraTeresinha Ferreira da Cunha, portador do Bilhete de Identidade numero

3

9805543, emitido pelo arquivo de identificacao de Lisboa em 15 de Marcode 2005, contribuinte numero 168027852.

Casou com Maria do Carmo Carvalho Sousa, em 5 de Setembro de 1993.

Tem um filho Rafael Martins de 11 anos.

Passou a reserva territorial, nao cumprindo o servico militar.

1.3 Graus Academicos

1. Doutoramento em Informatica, Faculdade de Ciencias, Universidade deLisboa, orientador: Professor Vasco Manuel Thudichum Vasconcelos, Ja-neiro de 2006 (classificacao: Aprovado com distincao e louvor por unani-midade).

2. Provas de Aptidao Pedagogica e Capacidade Cientıfica, Universidade dosAcores, orientador: Professor Jose Felix Costa, Outubro de 2000 (classi-ficacao: Muito bom por unanimidade).

3. Licenciatura em Matematica/Informatica, Universidade dos Acores, Feve-reiro de 1995 (classificacao: Dezassete Valores).

4. Curso Tecnico Profissional de Informatica, Escola Secundaria das Laran-jeiras (Ponta Delgada), Junho de 1990 (classificacao: Dezassete Valores).

1.4 Frequencia de Escolas

1. Frequencia da EEF Global Computing Summer School, Julho de 2003,Edinburgh, Scotland.

2. Frequencia da Summer School on Foundations of Internet Security, Dusz-niki Zdroi, Polonia, Junho de 2002.

3. Frequencia (e membro da organizacao local) da The LINEAR Internati-onal Summer School: Linear Logic and Applications, S. Miguel (Acores),Outubro de 2000.

1.5 Afiliacoes

1. European Association for Theoretical Computer Science (EATCS), a par-tir de Outubro de 2000.

2. Association for Computing Machinery (ACM), a partir de Outubro de2000.

4

Capıtulo 2

Cargos e actividades

2.1 Pegadogicos

1. Professor Auxiliar. Departamento de Matematica, Universidade dos Aco-res. Janeiro de 2006 ate ao presente. (§A.1)

2. Assistente. Departamento de Matematica, Universidade dos Acores. Ou-tubro de 2000 a Janeiro de 2006. (§A.1)

3. Assistente Estagiario. Departamento de Matematica, Universidade dosAcores. Maio de 1998 a Outubro de 2000. (§A.1)

4. Assistente Contratado. Departamento de Matematica, Universidade dosAcores. Outubro de 1997 a Abril de 1998. (§A.1)

5. Monitor. Departamento de Matematica, Universidade dos Acores. Outu-bro de 1994 a Outubro de 1997. (§A.1)

2.2 De Investigacao

1. Investigador. Laboratorio para Computacao Global (LabMOL), Departa-mento de Informatica, Faculdade de Ciencias, Universidade de Lisboa.

2. Investigador. Laboratorio de Arquitecturas Computacionais (LabMAC),Departamento de Informatica, Faculdade de Ciencias, Universidade deLisboa.

2.3 De Consultoria

1. Consultor do Conselho de Administracao do Banco Comercial dos Acorespara a area de Informatica. Maio de 1998 ate ao presente. (§B.1)

5

2.4 De Desenvolvimento de software

1. Responsavel pelo Departamento de Desenvolvimento de Software. BancoComercial dos Acores. Novembro de 1995 a Maio de 1998. (§B.2)

2. Analısta Coordenador de Organizacao e Metodos. Banco Comercial dosAcores. Marco 1995 a Novembro de 1995. (§B.3)

3. Programador. Banco Comercial dos Acores. Novembro de 1992 a Marco1995. (§B.3)

4. Programador (prestacao de servicos). Banco Comercial dos Acores. Feve-reiro de 1991 a Novembro de 1992. (§B.3)

6

Capıtulo 3

Participacao em Projectosde Investigacao

3.1 Comunitarios

1. Investigador post-doc. Projecto Sensoria—Software Engineering forService-Oriented Overlay Computers—Information Society TechnologiesProgramme, Global Computing, Contract IST-2005-016004. Fevereiro de2006 ate ao presente.

2. Investigador. Projecto MIKADO—Mobile Calculi Based on Domains—Information Society Technologies Programme, Contract IST-2001-32222.Janeiro de 2002 a Abril de 2005.

3.2 Nacionais

3. Investigador. Projecto MIMO—Models and Infrastructures for MobileComputing—POSI/CHS/39789/2001, Janeiro de 2002 a Dezembro de2003.

4. Investigador. Projecto DICOMO—Concorrencia, Distribuicao e Mobili-dade—PRAXIS/C/EEI/12059/1998. Novembro de 1999 a Julho de 2001.

7

Capıtulo 4

Orientacao Pedagogica eCientıfica

4.1 Estagios de Licenciatura

1. Orientacao cientıfica de estagiario do Curso de Matematica/Informaticada Universidade dos Acores efectuado na FuturInfor no segundo semestredo ano lectivo de 2001/2002.

2. Orientacao cientıfica de estagiarios do Curso de Matematica/Informaticada Universidade dos Acores efectuados no centro de informatica da mesmaUniversidade no segundo semestre do ano lectivo de 1998/1999.

3. Orientacao de estagiario de fim do Curso de Informatica do Centro deFormacao Profissional dos Acores efectuado no B.C.A. entre Julho e Se-tembro de 1997.

4. Orientador dos estagiarios do Curso de Matematica/Informatica da Uni-versidade dos Acores efectuados no B.C.A. no segundo semestre do anolectivo de 1995/1996.

4.2 Monografias

5. Ricardo Faria, Paradigmas da Programacao, Curso de Matematica/Infor-matica, ano lectivo de 2000/2001.

6. Dora Pereira, Algebras Combinatorias e Computabilidade, Curso de Ma-tematica (ensino de), ano lectivo de 1999/2000.

7. Sandra Moura, Analise de Sistemas Orientada a Objectos, Curso de Ma-tematica/Informatica, ano lectivo de 1999/2000.

8

8. Joao Maurıcio, Programacao nao linear, Curso de Matematica (ensino de),ano lectivo de 1998/1999.

9. Vanda Costa, Algoritmos Geneticos aplicados a populacoes nao-haploides,Curso de Matematica (ensino de), ano lectivo de 1998/1999.

10. Paulo Henrique Camara, Factorizacao de Inteiros num Sistema Distribuıdo,Curso de Matematica/Informatica, ano lectivo de 1998/1999.

11. Antonio Cesar Costa, Algoritmos Geneticos, Curso de Matematica (ensinode), ano lectivo de 1997/1998.

9

Capıtulo 5

Publicacoes

5.1 Teses

1. Francisco Martins. Controlling Security Policies in a Distributed Envi-ronment. Tese de doutoramento, Faculdade de Ciencias, Universidade deLisboa, 2005.

2. Francisco Martins. Computacao com Redes Idiotıpicas. Provas de Ap-tidao Pedagogica e Capacidade Cientıfica, Universidade dos Acores, 2000.

3. Francisco Martins. Protocolos de Comunicacao. Tese de Licenciatura,Universidade dos Acores, 1991.

5.2 Artigos incluıdos em Revistas

4. Francisco Martins and Vasco T. Vasconcelos. History-based access controlfor distributed processes. In TGC’05, volume 3705 of LNCS, pages 98–115. Springer-Verlag, 2005.

5. Francisco Martins, Luıs Lopes, and Vasco T. Vasconcelos. The Impact ofLinearity Information in the Performance of TyCO. In TIP’02, ENTCS.Elsevier Science Publishers, 2002.

5.3 Artigos incluıdos em Actas de Conferencias

6. Vasco T. Vasconcelos and Francisco Martins. A Multithreaded TypedAssembly Language. In Proceedings of TV’06, 2006. (to appear).

7. Francisco Martins, Liliana Salvador, Vasco T. Vasconcelos, and Luıs Lo-pes. MiKO: Mikado Koncurrent Objects. In Foundations of Global Com-puting, Dagstuhl Seminar 05081, 2005.

10

8. Francisco Martins and Antonio Ravara. Typing migration control in lsdpi.In Proceedings of FCS’04, volume 31, pages 1–12. Turku Centre for Com-puter Science, July 2004.

5.4 Relatorios Tecnicos

9. Francisco Martins and Vasco Vasconcelos. Controlling Security Policiesin a Distributed Environment. Technical Report DI/FCUL TR 04-01.Departamento de Informatica, Universidade de Lisboa, 2004.

10. Francisco Martins and Vasco Vasconcelos. TyCO + Linear Channels.Technical Report DI/FCUL TR 01-11. Departamento de Informatica,Universidade de Lisboa, 2001.

11

Capıtulo 6

Servicos prestados acomunidade cientıfica

6.1 Actividade de avaliacao cientıfica

6.1.1 Avaliacao de artigos para revistas

1. Mathematical Structures in Computer Science. 2006.

6.1.2 Avaliacao de artigos para conferencias

2. International Colloquium on Theoretical Aspects of Computing. 2006.

3. 8th IFIP International conference on Formal Methods for Open Object-based Distributed Systems. 2006.

4. 20th European Conference on Object-Oriented Programming. 2006.

5. Fundamental Approaches to Software Engineering. 2006.

6. 7th IFIP International conference on Formal Methods for Open Object-based Distributed Systems. 2005.

7. 3rd International Workshop on Foundations of Coordination Languagesand Software Architectures. 2004.

8. 18th European Conference on Object-Oriented Programming. 2004.

9. Fundamental Approaches to Software Engineering. 2004.

12

Capıtulo 7

Palestras, participacoes emreunioes cientıficas

7.1 Palestras

1. Departamento de Informatica, Faculdade de Ciencia, Universidade de Lis-boa, “A Multithreaded Typed Assembly Language”, Encontros de Quarta,Maio de 2006.

2. Departamento de Matematica, Universidade dos Acores, “Miko: um calculodistribuıdo baseado em membranas”, Outubro de 2005.

3. Departamento de Ciencia de Computadores, Faculdade de Ciencias, Uni-versidade do Porto, “History-based access control for distributed proces-ses”, Seminario do Departamento, Fevereiro de 2005.

4. Matematicki odjel, Sveuciliste u Zagrebu, “Security in distributed mobilesystems”, Seminar za teorijsko racunarstvo, Janeiro de 2005.

5. Departamento de Informatica, Faculdade de Ciencia, Universidade de Lis-boa, “History-based access control for distributed processes”, Encontros deQuarta, Novembro de 2004.

6. Departamento de Matematica, Universidade dos Acores, “Controlo dePolıticas de Seguranca num Ambiente Distribuıdo”, Maio de 2004.

7. Departamento de Informatica, Faculdade de Ciencias, Universidade deLisboa, “Resource access typing in Open Systems”, Encontros de Quarta,Maio de 2004.

8. Departamento de Informatica, Faculdade de Ciencias, Universidade deLisboa, “Controlo de polıticas de seguranca num ambiente distribuıdo”,Seminarios Doutorais, Marco de 2004.

13

9. Departamento de Informatica, Faculdade de Ciencias, Universidade deLisboa, “Controlling security policies in a distributed environment”, En-contros de Quarta, Marco de 2004.

10. Departamento de Informatica, Faculdade de Ciencias, Universidade deLisboa, “A lexically scoped distributed π-calculus: security issues”, Semi-narios Doutorais, Maio de 2003.

11. Departamento de Matematica, Universide dos Acores. “lsdπ—a LexicallyDistributed π-calculus”, Seminarios do Departamento de Matematica, Fe-vereiro de 2003.

12. School of Cognitive and Computing Sciences, University of Sussex. “Atype system to control migration and remote name creation in lsdπ”, De-zembro de 2002.

13. Departamento de Informatica, Instituto Superior Tecnico. “O SistemaImunitario como um Sistema Computacional”, IX Semana de Informatica,Marco de 2002.

14. Departamento de Matematica, Universidade dos Acores. “TyCO: Sintaxee Semantica”, Novembro de 2001.

15. Faculdade de Ciencias, Universidade de Lisboa. “Linear Channels detec-tion for TyCO”, Outubro de 2001

16. Faculdade de Ciencias, Universidade de Lisboa. “Computations with theImmune System”, Novembro de 2000.

17. Departamento de Matematica, Universidade dos Acores. “Computacaoem Redes Idiotıpicas”, Marco de 2000.

18. Departamento de Matematica, Instituto Superior Tecnico. “Computacaoem Redes Idiotıpicas”, Janeiro de 2000.

7.2 Participacao em reunioes cientıficas

7.2.1 Com apresentacao de comunicacao

1. Intelligent Information Systems. “Computing with Idiotypic Networks”.Gdansk, Polonia. Junho de 2005.

2. Symposium on Trustworthy Global Computing. “History-based access con-trol for distributed processes”. Edimburgo, Escocia. Abril de 2005.

3. Mikado Workshop. “Miko by Example”. Dipartimento di Informatica,Universita di Torino, Turim, Italia. Janeiro de 2005.

14

4. Global Computing Workshop. “Controlling security policies in a distribu-ted environment”. Universita Degli Studi di Trento, Trento, Italia. Marcode 2004.

5. Myths-Mikado Workshop. “Extending security policies to lsdπ calculus”.University of Sussex, Brighton, Reino Unido. Junho de 2003.

6. Global Computing Workshop. “Typing migration-control in lsdπ”. Uni-versita Degli Studi di Trento, Trento, Italia. Fevereiro de 2003.

7. Workshop on Types in Programming. “The Impact of Linearity Informa-tion on the Performance of TyCO”. Dagstuhl, Alemanha. Julho de 2002.

7.2.2 Sem apresentacao de comunicacao

8. Sensoria Workshop. Bolonha, Italia. Junho de 2006.

9. Symposium on the Foundations of Software Engineering. Lisboa, Portu-gal. Setembro de 2005.

10. European Software Engineering Conference. Lisboa, Portugal. Setembrode 2005.

11. Principles and Practice of Declarative Programming. Lisboa, Portugal.Julho de 2005.

12. 32nd International Colloquium on Automata, Languages and Program-ming. Lisboa, Portugal. Julho de 2005.

13. European Joint Conferences on Theory and Practice of Software. Edim-burgo, Escocia. Abril de 2005.

14. Global Computing: Myths-Mikado-Dart Joint Workshop. Venice, Italy.Junho de 2004.

15. Mikado workshop. INRIA Rhone-Alpes, Grenoble, Franca. Janeiro de2004.

16. Types for Global Computing. Ecole Normale Superieure. Paris, Franca.Janeiro de 2003.

17. 6th International Conference on Mathematics of Program Construction.Dagstuhl, Alemanha. Julho de 2002.

18. 28th Symposium on Principles of Programming Languages. Londres, In-glaterra. Janeiro de 2001.

15

7.3 Palestras de divulgacao da ciencia

1. Escola Profissional da Ilha de Sao Jorge. “Matematica: Flagrantes daVida Real”, Semana da Matematica, Maio de 2002.

2. Eprosec: Escola Profissional do sindicato de escritorio e comercio de S.Miguel e Sta. Maria. “Linux: Perspectivas para a Regiao Acores”, Jor-nadas da Informatica, Junho 2001.

3. Escola G/B Antero de Quental. “Mente vs. Computacao”, Semana daMatematica, Marco 2001.

4. Escola Profissional Monsenhor Joao Maurıcio de Amaral Ferreira. “Inte-ligencia Artificial”, Marco 2001.

5. Escola G/B Antero de Quental. “A utilizacao da Internet como ferramentade estudo”, Semana da Matematica, Abril de 1999.

6. Escola G/B das Laranjeiras. “Desenvolvimento e Correccao de Software”,LaranjInfor 99, Janeiro de 1999.

7. Escola G/B das Laranjeiras. “Euro e Ano 2000, que futuro?”, LaranjInfor99, Janeiro de 1999.

8. Departamento de Matematica, Universidade dos Acores. “Ferramentas daAnalise Estruturada de Sistemas”, Dezembro de 1998.

9. Departamento de Matematica, Universidade dos Acores. “Dos Primos aosPseudoPrimos: Seguranca de dados e Criptografia”, Abril de 1994.

16

Capıtulo 8

Motivacao Pessoal

As razoes que me levam a formalizar a candidatura a vaga para a area de CTPno DI/FCUL sao as seguintes, sem qualquer ordem especıfica:

Importancia e Qualidade de Ensino. A Faculdade de Ciencias em geral,e o Departamento de Informatica em particular, formam uma unidadede ensino de referencia no espectro das universidades portuguesas, sendoreconhecida a sua qualidade no ensino que ministra, na oferta de cursos, enos profissionais que prepara. A comprova-lo esta a procura manifestadapelos alunos dos tres nıveis de ensino superior que sao oferecidos.

Qualidade na Investigacao. A qualidade e quantidade de investigacao quese produz no Departamento de Informatica e outro factor preponderantena minha motivacao pessoal. A capacidade para captar projectos, quer na-cionais, quer internacionais demonstra a importancia da escola no ambitoda investigacao e constitui um factor fundamental no financiamento dainvestigacao dos seus membros.

Conhecimento do Grupo. Estou ligado ao grupo de CTP desde 2001, pri-meiro como aluno de doutoramento e actualmente como pos-doc do pro-jecto Sensoria. Conheco e tenho boas relacoes com todos os membros dogrupo. Este facto nao so faz antever uma boa e rapida integracao no grupo,como tambem me permite vislumbrar um bom ambiente de trabalho, noqual a minha inclusao nao alterara a sua estabilidade.

A Area de CTP. A area da Ciencia e Tecnologia da Programacao e a areaque mais aprecio na Informatica e foi aquela onde fiz a minha formacaodoutoral. Sera muito motivante para mim ter a oportunidade de lecci-onar conteudos que valorizo em conjunto com um grupo de pessoas dereconhecida competencia, que admiro.

17

Capıtulo 9

Personalidades dereconhecida idoneidade

As seguintes personalidades poderao emitir apreciacao a meu respeito.

1. Jose Luız Fiadeiro, Department of Computer Science, University of Lei-cester.

2. Gerard Boudol, Research Director at INRIA, Sophia-Antipolis.

3. Rocco De Nicola, Dipartimento di Sistemi e Informatica Universita‘ degliStudi di Firenze.

18

Apendice A

Actividade Pedagogica

A.1 Licenciatura

1. Analise Numerica (2 ano, obrigatoria). 1994/1995 a 1995/1996. AulasPraticas, Licenciaturas em Matematica (ensino de) e Matematica/Informa-tica, Departamento de Matematica, Universidade dos Acores.

2. Arquitectura de Sistemas (5 ano, opcional). 1999/2000. Responsavelpelas teoricas e praticas, Licenciatura em Matematica/Informatica, De-partamento de Matematica, Universidade dos Acores.

3. Calculo Automatico I (1 ano, obrigatoria). 1997/1998 a 1998/1999.Responsavel pelas teoricas, teorico-praticas e praticas, Licenciatura emMatematica (ensino de), Departamento de Matematica, Universidade dosAcores. 1995/1996 a 1996/1997. Aulas praticas, Licenciatura em Ma-tematica/Informatica, Departamento de Matematica, Universidade dosAcores.

4. Calculo Automatico II (1 ano, obrigatoria). 2001/2002. Responsavel pe-las teoricas, teorico-praticas e praticas, Licenciaturas em Matematica (en-sino de), Matematica/Informatica, Informatica (ensino de) e Informaticade Gestao, Departamentos de Matematica e de Economia e Gestao, Uni-versidade dos Acores. 2000/2001. Responsavel pelas praticas, Li-cenciaturas em Matematica (ensino de) e Matematica/Informatica, De-partamento de Matematica, Universidade dos Acores. 1997/1998 a1998/1999. Responsavel pelas teoricas, teorico-praticas e praticas, Li-cenciatura em Matematica (ensino de), Departamento de Matematica,Universidade dos Acores.1995/1996 a 1996/1997. Aulas praticas, Li-cenciatura em Matematica/Informatica, Departamento de Matematica,Universidade dos Acores.

5. Compiladores (4 ano, opcional). 2000/2001. Responsavel pelas teoricas,teorico-praticas e praticas, Licenciatura em Matematica/Informatica, De-partamento de Matematica, Universidade dos Acores.

19

6. Introducao aos Computadores (1 ano, obrigatoria). 1997/1998 a1998/1999. Responsavel pelas teoricas, teorico-praticas e praticas, Li-cenciatura em Fısica e Quımica (ensino de), Departamento de CienciasTecnologicas e Desenvolvimento, Universidade dos Acores.

7. Linguagens de Programacao (2 ano, obrigatoria). 1995/1996. Au-las praticas, Licenciatura em Matematica/Informatica, Departamento deMatematica, Universidade dos Acores.

8. Processamento de Dados II (2 ano, obrigatoria). 1999/2000 a2001/2002. Responsavel pelas teoricas, teorico-praticas e praticas, Li-cenciaturas em Matematica/Informatica, e Informatica (ensino de), De-partamento de Matematica, Universidade dos Acores.

9. Programacao com Objectos (2 ano, obrigatoria). 2005/2006. Responsavelpelas teoricas e praticas, Licenciaturas em Ciencia e Tecnologia da Com-putacao e Eng. Informatica e de Computadores, Departamento de Mate-matica, Universidade dos Acores.

10. Processamento de Dados I (2 ano, obrigatoria). 2005/2006. Responsavelpelas teoricas e praticas, Licenciaturas em Informatica (ensino de) e GestaoInformatica, Departamento de Matematica, Universidade dos Acores.

A.2 Inovacao Pedagogica

1. Calculo Automatico I. Reformulei a disciplina intoduzindo o ensino daprogramacao em pequena escala seguindo a metodologia de Dijkstra. Oobjectivo era fomentar nos alunos o desenvolvimento de programas tendoem conta a correccao relativamente a uma especificacao formal. Lingua-gem de Programacao: Pascal.

2. Calculo Automatico II. Intoduzi o ensino da programacao em grande es-cala, centrada na especificacao de tipos de dados abstractos, na resolucaodos problemas utilizando os tipos especificados e, finalmente, na reificacaodo tipo de dados e da solucao problema. A partir de 2001 introduzi opardigma orientado a objectos e a metodologia baseada em contratos.Linguagem de Programacao: Pascal (ate 2001), Java em ambiente Eclipse(de 2001 em diante).

3. Compiladores. Intoduzi o ensino deste assunto. Ensinei a construcao decompiladores primeiro utilizando a linguagem de programacao C (quandoa cadeira dava pelo nome de Arquitectura de Computadores) e no anoseguinte passei a leccionar em linguagem Java. Adoptei a metodologiaapresentada por Andrew Appel nos livros “Modern Compiler Implemen-tation in C” e “Modern Compiler Implementation in Java”.

20

4. Processamento de Dados I. Iniciei o ensino da programacao funcional.(O curso de Matematica/Informatica sofreu uma restruturacao interna, einiciou-se o ensino do paradigma funcional nesta cadeira). A abordagemseguida centrava-se no ensino dos fundamentos da programacao funcionalutilizando o calculo-λ e a parte pratica era efectuada utilizando a lingua-gem CAML.

5. Programacao com Objectos. Restruturei a disciplina de modo a introduziro ensino dos padroes de desenvolvimento. Linguagem de Programacao:Java.

21

Apendice B

Actividade no sectorbancario

B.1 Consultoria

1. Solucao de Balcoes. Membro da comissao de steering. O objectivo doprojecto era o de modernizar a solucao de atendimento aos clientes nobalcoes, bem como o de uniformizar os procedimentos operativos nos doisbancos do grupo. A minha colaboracao centrou-se no uniformizacao dosprocedimentos entre o Banif e o BCA e na supervisao do desenvolvimentointerno das transaccoes do BCA.

2. Middleware multicanal. Membro da comissao de steering. O projectotinha como objectivo dotar o grupo Banif de uma plataforma que abs-traısse os sistemas centrais do banco, permitisse a reutilizacao das tran-saccoes bancarias em diversos canais (e.g. balcao, ATMs internas, bancaelectronica) e oferecesse uma plataforma que permitisse realizar tran-saccoes cruzadas entre as duas instituicoes. A minha colaboracao centrou-se no desenho da plataforma para a realizacao de transaccoes cruzadas ena comunicacao com os orgaos decisores. As tecnologias envolvidas noprojecto abrangem iSeries (com DB/2 e RPG), message queuing (MQSe-ries da IBM), WSDL para especificacao do interface das transaccoes comos diversos canais, Windows 2000 server, etc.

3. Banca Electronica. Responsavel (por parte do BCA) pelo projecto debanca electronica. A minha missao, enquanto membro da comissao desteering, foi definir a integracao entre a aplicacao de banca electronica (emambiente Windows) e o sistema AS/400. Foram utilizadas tecnologias ba-seadas em asynchronous message queuing. Adicionalmente supervisioneio desenvolvimento interno do BCA.

4. Adaptacao ao EURO. Responsavel pelo projecto de adaptacao do softwaree de migracao de dados para adesao ao EURO no BCA.

22

5. Alteracao de software para compatibilidade com ano 2000. Responsavelpelo projecto de revisao e adaptacao do software interno do BCA.

B.2 Gestao da equipa de Desenvolvimento doBCA

6. Definicao de Metodologias de Desenvolvimento. Defini um conjunto demetodologias de programacao que permitiam aos programadores o usode templates na construcao de programas. O principal objectivo era auniformizacao do codigo desenvolvido pela equipa (de seis programadores),facilitar a manutencao do software e combater uma pratica comum entreos programadores: serem “donos” dos programas que produziam.

7. Grandes projectos. Durante o tempo que fui responsavel pelo departa-mento procedeu-se ao desenvolvimento de inumeros projectos. De entreestes realco o sistema de controlo de objectivos comerciais, o calculo deprovisoes de credito e de cobranca duvidosa, e o sistema de elaboracaode estatısticas economicas e financeiras, todos ainda actualmente em ex-ploracao.

B.3 Desenvolvimento de software

8. Gestao de Sistemas. (fim de 1994 e parte de 1995) Fiz a administracaodos sistemas AS/400 do banco, centrando o meu trabalho nas tarefas dedefinicao de seguranca e no ajuste de parametros de performance. Lin-guagens de programacao utilizadas: CL e RPG.

9. Migracao do sistema de informacao central. (1994) Desenvolvimento desoftware para migracao dos dados da aplicacao central do banco (de de-senvolvimento interno) residentes num sistema S/36 (da IBM) para umaaplicacao adquirida a um fornecedor externo, em sistema AS/400 (daIBM). O software foi desenvolvido na linguagem RPG e utilizando scriptsde SQL. A migracao ocorreu em big-bang, sendo convertida toda a in-formacao do banco num fim-de-semana.

10. Aplicacao de Moeda Estrangeira. (de 1991 a 1993) Desenvolvimento deuma aplicacao para informatizar o tratamento de moeda estrangeira noBCA. Esta aplicacao procedia a todo o tratamento de contas em moedaestrangeira, contabilizacao, apuramento de resultados, comunicacao comclientes, calculo de impostos, etc.

23