Curriculum Vitae

Jorge Miguel de Matos Sousa Pinto

Data da última atualização »Last update : 05/12/2013


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


Dados pessoais (Personal data)
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




Graus Académicos (Academic Degrees)
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.





Formação complementar ( studies)
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.





Vínculos profissionais (Professional Positions)
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





Atividades de Direção e Administração (Management and Administration activities)
Universidade do Minho
Mai/2005-Actual Escola de Engenharia
- Director Adjunto de Unidade






Projetos de Investigação (Research projects)
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.






Línguas (Languages)
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).

Reading
Português (Bem), Inglês (Bem), Francês (Bem), Espanhol (Bem).
Escreve
Writing
Inglês (Bem), Francês (Razoavelmente), Espanhol (Pouco).




Prémios e títulos (Awards Prizes, and Honours)
2011 Membro Sénio, Association for Computing Machinery.




Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Out/1992 - Actual ACM, Membro.




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
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.





Dados Complementares (Additional data)


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.







Indicadores de produção (Production indicators)

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


Outras informações relevantes
null


Visualizações do curriculum [ 3310 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 15-01-2021 às 17:24:23
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (3)
 Co-authors listed in Degóis