Jorge Miguel de Matos Sousa Pinto. É Professor Associado na Universidade do Minho. Publicou 15 artigos em revistas especializadas e 26 trabalhos em actas de eventos. Possui 28 itens de produção técnica. Recebeu 1 prémio e/ou homenagem. Actua na área de Ciências da Computação e da Informação Nas suas actividades profissionais interagiu com 49 colaboradores em co-autorias de trabalhos científicos.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=1251864508814335

Nome completo Full name	Jorge Miguel de Matos Sousa Pinto
Nome em citações bibliográficas Quoting name	Sousa Pinto, Jorge
Categoria profissional Position	Professor Associado
Domínio científico de atuação Scientific domain	Ciências Exactas-Ciências da Computação e da Informação.

Endereço profissional Professional address

Universidade do Minho Escola de Engenharia Centro de Ciências e Tecnologias da Computação (CCTC) Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604470 Fax: (+351)253604471 Correio electrónico: jsp@di.uminho.pt Homepage: http://www.di.uminho.pt/~jsp

Sexo Gender

Masculino»Male

1998-2001	Doutoramento Phd
Doctorat de L Ecole Polytechnique, esp. Sémantique, Preuves, et Langages (3 anos » years) . École Polytechnique, França. Instituição portuguesa que atribuiu reconhecimento/equivalência/registo » Portuguese Instituition providing acknowledgement/equivalence/registry : Universidade do Minho. Com o tipo » With the type: Registo » Registry.

1992-1995	Mestrado Master degree
Mestrado em Informática / Ciências da Computação (2 anos » years) . Universidade do Minho, Portugal.

1987-1992	Licenciatura Licentiate degree
Engenharia Electrotécnica e de Computadores (5 anos » years) . Universidade do Porto, Portugal.

2000-2000	Curso de curta duração Short course
The EU TMR LINEAR International Summer School. Universidade dos Açores, Portugal.

2000-2000	Curso de curta duração Short course
International Summer School on Applied Semantics. Universidade do Minho, Portugal.

1999-1999	Curso de curta duração Short course
20th International Summer School on Foundations of Secure Computation. Adv. Study Institute of the NATO Science for Peace and Security Programme, Alemanha.

1998-1998	Curso de curta duração Short course
10th European Summer School in Logic, Language and Information. Saarland University, Alemanha.

Universidade do Minho

Ago/2012-Actual

Professor Associado

Universidade do Minho

Jun/2006-Jul/2012

Professor Auxiliar

Jun/2001-Mai/2006

Professor Auxiliar

Out/1994-Out/1995

Assistente Estagiário

Universidade do Minho

Mai/2005-Actual	Escola de Engenharia
- Director Adjunto de Unidade

Participação como Investigador responsável Participation as responsible Researcher

2005-2009 Engenharia de Linguagens e Desenvolvimento Formal de Software-Language Engineering and Rigorous Software Development

Referência do projeto»Project reference: LerNet. ALFA (Comissão Europeia) Financiador(es)»Funding: Comissão Europeia.

2007-2008 Programação Visual-Visual Programming

Referência do projeto»Project reference: ProgVis. Treaty of Windsor (CRUP/FUP) Parceiro(s)»Partners: University of London. Financiador(es)»Funding: Brithish Council; Fundação das Universidades Portuguesas.

Participação como Investigador Participation as Researcher

2010- FAVAS - A FormAl Verification PlAtform for real-time Systems -FAVAS - A FormAl Verification PlAtform for real-time Systems

Referência do projeto»Project reference: PTDC/EIA-CCO/105034/2008. Parceiro(s)»Partners: Universidade da Madeira; Universidade da Beira Interior.

2009- Reinvigorating Mathematics for the Information Society-Reinvigorating Mathematics for the Information Society

Referência do projeto»Project reference: Matisse. PTDC (FCT) Financiador(es)»Funding: Fundação para a Ciência e a Tecnologia.

2008- Execução Fiável e Segura de Programas em Sistemas Embebidos-REliable and Safe Code execUtion for Embedded systems

Referência do projeto»Project reference: RESCUE. PTDC (FCT) Parceiro(s)»Partners: Universidade do Porto; Instituto Politécnico do Porto; Universidade da Beira Interior. Financiador(es)»Funding: Fundação para a Ciência e a Tecnologia.

2008- Computer-aided Cryptographic Engineering-Computer-aided Cryptographic Engineering

Referência do projeto»Project reference: CACE. FP7 Financiador(es)»Funding: Comissão Europeia.

2003-2006 Program Understanding and Reengineering: Calculi and Applications-Program Understanding and Reengineering: Calculi and Applications

Referência do projeto»Project reference: PURe. POSI (FCT) Financiador(es)»Funding: Fundação para a Ciência e a Tecnologia.

2003-2005 Semântica Aplicada-Applied Semantics

Referência do projeto»Project reference: APPSEM II. FP5 (CE) Financiador(es)»Funding: Comissão Europeia.

Compreende Understandig	Português (Bem), Inglês (Bem), Francês (Bem), Espanhol (Bem).
Fala Speaking	Português (Bem), Inglês (Bem), Francês (Bem), Espanhol (Razoavelmente).
Lê Reading	Português (Bem), Inglês (Bem), Francês (Bem), Espanhol (Bem).
Escreve Writing	Inglês (Bem), Francês (Razoavelmente), Espanhol (Pouco).

2011	Membro Sénio, Association for Computing Machinery.

Out/1992 - Actual

ACM, Membro.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Almeida, José B; Barbosa, Manuel; Sousa Pinto, J; Vieira, Bárbara. 2009. "Deductive Verification of Cryptographic Software", Innovations in Systems and Software Engineering -- a NASA Journal, 1: 1 - 50.

2.	Cunha, Alcino; Pinto, Jorge S. 2005. "Point-free Program Transformation", Fundamenta Informaticae 66, 4: 315 - 352.

3.	Barbosa, Manuel; Cunha, Alcino; Pinto, Jorge S. 2005. "Recursion patterns and time-analysis", ACM SIGPLAN Notices 40, 5: 45 - 54.

4.	Mackie, Ian; Pinto, Jorge S. 2002. "Encoding Linear Logic with Interaction Combinators", Information and Computation 176, 2: 153 - 186.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Sousa Pinto, J; Brito, Eduardo. 2010. "Program Verification in SPARK and ACSL: A Comparative Case Study", Trabalho apresentado em The 15th International Conference on Reliable Software Technologies (Ada-Europe’10), In Lecture Notes in Computer Science, Valência.

2.	Cruz, Daniela; Henriques, Pedro R; Sousa Pinto, J. 2010. "Gamaslicer: an Online Laboratory for Program Verification and Analysis", Trabalho apresentado em The 10th. Workshop on Language Descriptions Tools and Applications (LDTA’10), In To appear in ACM digitial library, Paphos.

3.	Sousa Pinto, J; Cruz, Daniela; Areias, Sérgio. 2010. "Contract-based Slicing Helps on Safety Reuse", Trabalho apresentado em 18th IEEE International Conference on Program Comprehension (ICPC’10), In IEEE Xplore digital library, Braga.

4.	Barros, José; Cruz, Daniela; Henriques, Pedro R; Sousa Pinto, J. 2010. "Assertion-based Slicing and Slice Graphs", Trabalho apresentado em Eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM’10), In IEEE , Pisa.

5.	Carvalho, André; Carvalho, Joel; Sousa Pinto, J; Sousa, Simão M.. 2010. "Model-Checking Temporal Properties of Real-Time HTL Programs", Trabalho apresentado em 4th International Symposium On Leveraging Applications of Formal Methods, Veriification and Validation (ISoLA’10), In Lecture Notes in Computer Science, Heraklio.

6.	Cruz, Daniela; Henriques, Pedro R; Sousa Pinto, J. 2010. "Contract-based Slicing", Trabalho apresentado em 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’10), In Lecture Notes in Computer Science, Heraklio.

7.	Sousa Pinto, J; Almeida, José B; Barbosa, Manuel; Vieira, Bárbara. 2009. "Verifying Cryptographic Software Correctness with Respect to Reference Implementations", Trabalho apresentado em Formal Methods for Industrial Critical Systems , In Lecture Notes in Computer Science , Eindhoven. Artigo recebeu o prémio "best paper award" atribuído pela EASST.

8.	Mackie, Ian; Sousa Pinto, J; Vilaça, Miguel. 2009. "Iterators, Recursors and Interaction Nets", Trabalho apresentado em 1o. Fórum Nacional na Área de Informática -- INFORUM'09, In Relatório técnico DI-FCUL TR-09-13, Lisboa.

9.	Almeida, José B; Barbosa, Manuel; Sousa Pinto, J; Vieira, Bárbara. 2009. "Deductive Verification of Cryptographic Software", Trabalho apresentado em The First NASA Formal Methods Symposium (NFM 2009), In NASA conference publication CP-2009-215407, Moffett Field, California.

10.	Hassan, Abubakar; Mackie, Ian; Pinto, and J. S. 2008. "Visual Programming with Interaction Nets", Trabalho apresentado em Diagrams'08, In Lecture Notes in Computer Science , Herrsching.

11.	Cruz, Daniela; Henriques, Pedro R; Sousa Pinto, J. 2008. "Property Preservation during Transformation", Trabalho apresentado em CoRTA’08, In Proceedings of 2nd. Intl. Workshop on Compiler and Related Technologies and Applications, Bragança.

12.	Fialho, Diogo; Sousa Pinto, J. 2008. "A Comparative Study of Verification Condition Generators", Trabalho apresentado em CoRTA’08, In Proceedings of 2nd. Intl. Workshop on Compiler and Related Technologies and Applications, Covilhã.

13.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2007. "A Local Graph-rewriting System for Deciding Equality in Sum-product Theories", Trabalho apresentado em TERMGRAPH'06, In Electronic Notes in Theoretical Computer Science, Wien.

14.	Mackie, Ian; Pinto, Jorge S; Vilaça, Miguel. 2007. "Visual Programming with Recursion Patterns in Interaction Nets", Trabalho apresentado em GT-VMT'07, In Electronic Communications of the European Association of Software Science and Technology, Braga.

15.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2007. "Token-passing Nets for Functional Languages", Trabalho apresentado em WRS'07, In Electronic Notes in Thoeretical Computer Science, Paris.

16.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2007. "A Tool for Programming with Interaction Nets", Trabalho apresentado em RULE'07, In Electronic Notes in Thoeretical Computer Science, Paris.

17.	Sousa Pinto, J; Correia, José P; Magalhães, José P. 2007. "Formally Verifying Imperative Programs", Trabalho apresentado em CoRTA’07, In Proceedings of the 1st Intl. Workshop on Compiler and Related Technologies and Applications, Covilhã.

18.	Cunha, Alcino; Pinto, Jorge S; Proença, José. 2006. "A Framework for Point-free Program Transformation", Trabalho apresentado em IFL'05, In Lecture Notes in Computer Science, Dublin.

19.	Pinto, Jorge S. 2003. "Weak Reduction and Garbage Collection in Interaction Nets", Trabalho apresentado em WRS'03, In Electronic Notes in Theoretical Computer Science, Valência.

20.	Fernández, Maribel; Mackie, Ian; Pinto, Jorge S. 2002. "A Higher-order Calculus for Graph Transformation", Trabalho apresentado em TERMGRAPH'02, In Electronic Notes in Theoretical Computer Science, Barcelona.

21.	Pinto, Jorge S. 2001. "Parallel Implementation Models for the lambda-calculus Using the Geometry of Interaction (Extended Abstract)", Trabalho apresentado em TLCA'01, In Lecture Notes in Computer Science, Krakow.

22.	Pinto, Jorge S. 2001. "Parallel Evaluation of Interaction Nets with MPINE", Trabalho apresentado em RTA'01, In Lecture Notes in Computer Science, Utrecht.

23.	Sousa Pinto, J; Mackie, Ian; Fernández, Maribel. 2001. "Combining Interaction Nets with Externally Defined Programs", Trabalho apresentado em APPIA-GULP-PRODE 2001, In Proceedings of the APPIA-GULP-PRODE 2001 joint conference on Declarative Programming, Évora.

24.	Pinto, Jorge S. 2000. "Sequential and Concurrent Abstract Machines for Interaction Nets", Trabalho apresentado em FOSSACS, In Lecture Notes in Computer Science, Berlin.

25.	Miranda, José E. P; Pinto, Jorge S. 1996. "Using Internet technology for course support", Trabalho apresentado em ITiCSE'96, In ACM Proceedings, Barcelona, Spain.

Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing

1.	Bacelar Almeida, J; Barbosa, M.; Pinto, J.S.; Vieira, B.. 2013. "Formal verification of side-channel countermeasures using self-composition", Science of Computer Programming 78, 7: 796 - 812.

2.	Barros, J.B.; Da Cruz, D; Henriques, P.R.; Pinto, J.S.. 2012. "Assertion-based slicing and slice graphs", Formal Aspects of Computing 24, 2: 217 - 248.

3.	Areias, S.; da Cruz, D; Henriques, P.R.; Pinto, J.S.. 2011. "GammaPolarSlicer", Computer Science and Information Systems 8, 2: 477 - 499.

4.	Frade, M.J.; Pinto, J.S.. 2011. "Verification conditions for source-level imperative programs", Computer Science Review 5, 3: 252 - 277.

5.	Da Cruz, D; Henriques, P.R.; Sousa Pinto, J. 2010. "Contract-based slicing", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6415 , PART 1: 106 - 120.

6.	Almeida, J.B.; Barbosa, M.; Pinto, J.S.; Vieira, B.. 2010. "Deductive verification of cryptographic software", Innovations in Systems and Software Engineering 6, 3: 203 - 218.

7.	Carvalho, A.; Carvalho, J.; Pinto, J.S.; De Sousa, S. 2010. "Model-checking temporal properties of real-time HTL programs", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6416 , PART 2: 191 - 205.

8.	Fernández, M.; Mackie, I.; Pinto, J.S.. 2007. "A Higher-Order Calculus for Graph Transformation", Electronic Notes in Theoretical Computer Science 72, 1 SPEC. I: 45 - 58.

9.	Cunha, A.; Pinto, J.S.. 2005. "Point-free program transformation", Fundamenta Informaticae 66, 4: 315 - 352.

10.	Pinto, J.S.. 2003. "Weak reduction and garbage collection in interaction nets", Electronic Notes in Theoretical Computer Science 86, 4: 625 - 640.

11.	Mackie, I.; Pinto, J.S.. 2002. "Encoding linear logic with interaction combinators", Information and Computation 176, 2: 153 - 186.

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Sousa Pinto, J; Mackie, Ian. 1998. "Compiling the lambda-calculus into Interaction Combinators", Trabalho apresentado em ESSLLI'98 Workshop on Logical Abstract Machines, In University of Birmingham Technical Report CSR-98-8, Sâarbrucken.

Outra produção científica Other scientific production

1.	Sousa Pinto, J. 2001. "Parallel Implementation with Linear Logic (Applications of Interaction Nets and of the Geometry of Interaction)". Palaiseau, França: École Polytechnique. Thèse de Docteur de l'École Polytechnique.

Apresentação oral de trabalho Oral work presentation

1.	Brito, Eduardo; Sousa Pinto, J. Enhancing Program Verification for SPARK,Eighth European Dependable Computing Conference,Valência,2010 (Comunicação).

2.	Sousa Pinto, J; Sousa, Simão M.; Fialho, Diogo; Gaspar, Nuno; Reis, Rogério. Towards a Worst-Case Execution Time Calculation Platform with Certi¿cate Production,Eighth European Dependable Computing Conference,Valência,2010 (Comunicação).

3.	Fialho, Diogo; Gaspar, Nuno; Sousa Pinto, J; Reis, Rogério; Sousa, Simão M.. Worst-Case Execution Time: From predictions to certificates,Days in Logic 2010,Porto,2010 (Comunicação).

4.	Mackie, Ian; Sousa Pinto, J; Vilaça, Miguel. Iterators and Interaction,Eigth International Workshop on Computing with Terms and Graphs (TERMGRAPH’09),2009 (Comunicação).

5.	Cruz, Daniela; Henriques, Pedro R; Sousa Pinto, J. Code Analysis: Past and Present,OpenCert 2009 workshop,2009 (Comunicação).

6.	Almeida, José B; Mackie, Ian; Sousa Pinto, J; Vilaça, Miguel. Encoding Iterators in Interaction Nets,19th International Symposium on Implementation and Application of Functional Languages (IFL’07),2007 (Comunicação).

7.	Sousa Pinto, J; Gomes, J.; Martins, D.; Sousa, Simão M.. Lissom, a Source Level Proof Carrying Code Platform, International Workshop on Proof-Carrying Code (PCC’06),2006 (Poster).

8.	Mackie, Ian; Sousa Pinto, J; Vilaça, Miguel. Functional programming and program transformation with interaction nets,International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’05),2005 (Comunicação).

9.	Sousa Pinto, J; Cunha, Alcino. Making the Point-free Calculus Less Pointless,2nd APPSEM II Workshop,2004 (Conferência ou palestra).

10.	Sousa Pinto, J. An Interaction System for the Translation of Lambda-terms into Interaction Nets,EU TMR LINEAR Thematic Workshop on Interaction Nets (Journée réseaux d’interaction),França,2001 (Conferência ou palestra).

11.	Sousa Pinto, J. A Compiler for the Lambda-calculus Using the Geometry of Interaction Matrices and Equational Theory,EU TMR LINEAR Third Annual Meeting,Oxford,2000 (Conferência ou palestra).

12.	Sousa Pinto, J; Mackie, Ian. Compiling the lambda-calculus into Interaction Combinators,ESSLLI’98 Workshop on Logical Abstract Machines,1998 (Comunicação).

Curso de curta duração lecionado Taught short course

1.	Sousa Pinto, J. Verificação Deductiva de Programas em C / ACSL., 2009 (Extensão), promovido por Critical Software. Duração: 1 dias., Tipo de participação: Docente.

2.	Sousa Pinto, J. Interaction Nets and Parallelism, 2000 (Especialização), promovido por EU TMR LINEAR International Summerschool. Duração: 3 horas. Local: The Azores, Cidade: Ponta Delgada, Tipo de participação: Docente.

Edição técnica Technical edition

1.	Sousa Pinto, J; Bove, Ana; Barbosa, Luís S; Pardo, Alberto. Language Engineering and Rigorous Software Development,2008 (Livro).

Organização de evento Event organization

1.	Sousa Pinto, J. 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009),2009 (Oficina).

2.	Sousa Pinto, J. INForum 2009 – 1o Fórum Nacional na Área da Informática.,2009 (Simpósio / Organização).

3.	Sousa Pinto, J. The International RuleML Symposium on Rule Interchange and Applications,2009 (Oficina / Organização).

4.	Sousa Pinto, J. International Workshop on Rule-Based Specification and Programming,2008 (Oficina / Organização).

5.	Sousa Pinto, J. Ninth International Workshop on Rule-Based Specification and Programming,2008 (Oficina / Organização).

6.	Sousa Pinto, J. International Summer School on Language Engineering and Rigorous Software Development (LerNET’08),2008 (Outro / Organização).

7.	Sousa Pinto, J. Compilers, Related Technologies and Applications (CoRTA’08),2008 (Oficina / Organização). Membro da Comissão de Programa também na edição de 2009, com lugar em Lisboa (integrado no INFORUM 2009).

8.	Sousa Pinto, J. 4th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007,2007 (Oficina).

9.	Sousa Pinto, J. European Joint Conferences on Theory and Practice of Software (ETAPS’07).,2007 (Simpósio / Organização).

10.	Sousa Pinto, J. Workshop de Ingenieria de Software y Bases de Datos (WISBD),2006 (Oficina / Organização). Membro da Comissão de Programa em todas as edições anuais desde 2006.

11.	Sousa Pinto, J. Workshop on Developments in Computational Models 2005,2005 (Oficina / Organização).

12.	Sousa Pinto, J. ALFA LerNet project kick-off meeting,2005 (Encontro).

13.	Sousa Pinto, J. 1a Conferência Nacional em Interacção Pessoa-Máquina (Interacção 2004),2004 (Conferência / Organização). Membro da Comissão de Programa também na edição de 2006, com lugar em Braga.

Orientações Orientations

Outros Trabalhos Other production

Participação no júri de Graus Académicos Academic Degrees jury participation

Participação em Comissões de Avaliação Evaluation comissions participation

Participação editorial em revistas Magazine editorial participation

Orientações Orientations

Tese de Doutoramento Phd Thesis

Concluídas Completed

1.	Rovedy Silva, Uma Abordagem de Engenharia Reversa para Extração do Projeto de Sistemas de Software Crítico Embarcados, 2013. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica (Co-orientador).

2.	Daniela da Cruz, Methods and techniques to analyze multi-level code to explore software components, 2011. Tese (MAPi) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Co-orientador).

3.	Miguel Vilaça, Visual Functional Programming – An Approach Based On Interaction Nets, 2009. Tese (Informática) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

4.	Manuel Alcino Cunha, Point-free Program Calculation, 2005. Tese (Informática) - Universidade do Minho (Co-orientador).

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Cláudio Lourenço, A Bounded Model Checker for SPARK Programs, 2013. Dissertação (Informática) - Universidade do Minho (Orientador).

2.	José João Peixoto Pereira, Bounded Model Checking de Programas Imperativos, 2013. Dissertação (Informática) - Universidade do Minho (Co-orientador).

3.	André Carvalho, A Lightweight Formal Approach for Real-Time Systems – Au- tomatic Model Extraction of Ada Programs, 2011. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador).

4.	Eduardo Brito, A Formal Approach for the mSPARK Programming Language, 2010. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador).

Iniciação científica Scientific initiation

Concluídas Completed

1.	Eduardo Brito, Verificação de Programas com Ravenspark, 2009. Iniciação científica (Projecto RESCUE REliable and Safe Code execUtion for Embedded systems) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

2.	Diogo Fialho, Um Gerador de Condições de Verificação para um Sub-conjunto da Linguagem C, 2008. Iniciação científica (Projecto RESCUE REliable and Safe Code execUtion for Embedded systems) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

3.	Luís Pedro Gomes, Implementação de um Compilador de JSL em Haskell, 2005. Bolseiro(a) de Universidade da Beira Interior (Orientador).

4.	Luís Pedro Machado, Correcção Formal de Verificadores de Byte-code, 2005. Bolseiro(a) de Universidade da Beira Interior (Orientador).

5.	José Proença, Haskell Manipulation, 2005. Iniciação científica (Projeto PURe Program Understanding and Re-engineering) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

6.	José Pedro Correia, ProveIt – An Interactive Point-free Proof Editor, 2005. Iniciação científica (Projeto PURe Program Understanding and Re-engineering) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

Outros Trabalhos Other production

1.	Sousa Pinto, J. Elaboração de parecer informal sobre trabalho submetido ao Prémio IBM em 2007, a pedido de um membro do júri., 2007.

Participação no júri de Graus Académicos Academic Degrees jury participation

Doutoramento Phd

1.	Sousa Pinto, Jorge. Participação no júri de Nuno Lopes. Information Search in Large-scale Peer-to-peer Systems”, Universi- dade do Minho, 2009. Tese (Informática) - Universidade do Minho.

2.	Sousa Pinto, Jorge. Participação no júri de Nuno Rodrigues. Slicing Techniques Applied to Architectural Analy- sis of Legacy Software, 2009. Tese (Informática) - Universidade do Minho.

3.	Sousa Pinto, Jorge. Participação no júri de Sandra Alves. Linearisation of the Lambda-Calculus, 2007. Tese (Ciência de Computadores) - Universidade do Porto. Participação como Arguente.

4.	Sousa Pinto, Jorge. Participação no júri de Maria João Frade. Type-based Termination of Recursive De¿nitions and Constructor-subtyping in Typed Lambda-calculi, 2004. Tese (Informática) - Universidade do Minho.

Participação em Comissões de Avaliação Evaluation comissions participation

1.	Elaboração de Parecer para Avaliação de Projectos Científicos, 2007, Universidade Católica de Santiago del Estero.

Participação editorial em revistas Magazine editorial participation

1.	Sousa Pinto, Jorge. Journal of Mathematical Structures in Computer Science, Função ou tipo de participação: Reviewer, Editora: Cambridge University Press.
2.	Sousa Pinto, Jorge. Journal of Logical Methods in Computer Science, de 2009/01/01 até 2009/01/01, Função ou tipo de participação: Reviewer, Editora: open-access journal.
3.	Sousa Pinto, Jorge. Journal of Higher-Order and Symbolic Computation, de 2003/01/01 até 2003/01/01, Função ou tipo de participação: Reviewer, Editora: Springer-Verlag.

Produção científica Scientific production

Produção técnica Technical production

Dados complementares data

Total

Produção científica Scientific production

42

Artigos científicos em revistas Papers in periodics

15

Com arbitragem científica With scientific refereeing

4

Sem arbitragem científica Without scientific refereeing

11

Trabalhos em eventos Papers in conference proceedings

26

Com arbitragem científica With scientific refereeing

25

Sem arbitragem científica Without scientific refereeing

1

Outros tipos de produção científica Other scientific production

1

Total

Produção técnica Technical production

28

Outros tipos de produção técnica Other technical production

28

Total

Dados complementares (Additional data)

24

Orientações Orientations

15

Outros Trabalhos Other production

1

Participação no Júri de Graus Académicos Academic Degrees jury participation

4

Participação em Comissões de Avaliação Evaluation comissions participation

1

Participação editorial em revistas Magazine editorial participation

3

	Daniela Carneiro da Cruz
	José Carlos Bacelar Ferreira Junqueira de Almeida
	Manuel Bernardo Martins Barbosa