Jorge Miguel de Matos Sousa Pinto
|
|
Data da última atualização
»Last update
:
05/12/2013 |
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)
Ago/2012-Actual |
Professor Associado |
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)
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). |
Lê 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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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ã.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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ã.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
|
|
|
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
2. |
Sousa Pinto, J. INForum 2009 – 1o Fórum Nacional na Área da Informática.,2009 (Simpósio / Organização).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
3. |
Sousa Pinto, J. The International RuleML Symposium on Rule Interchange and Applications,2009 (Oficina / Organização).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
4. |
Sousa Pinto, J. International Workshop on Rule-Based Specification and Programming,2008 (Oficina / Organização).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
9. |
Sousa Pinto, J. European Joint Conferences on Theory and Practice of Software (ETAPS’07).,2007 (Simpósio / Organização).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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)
Tese de Doutoramento Phd Thesis |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
4. |
Manuel Alcino Cunha, Point-free Program Calculation, 2005. Tese (Informática) - Universidade do Minho (Co-orientador).
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
Dissertação de Mestrado Master degree dissertation |
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 |
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 |
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
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.
![Homepage da produção](/wayback/20200205181340im_/http://degois.pt/imagens/degois/home16.png) |
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção técnica
Technical production |
Dados complementares
data |
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 |
Produção técnica Technical production |
28 |
Outros tipos de produção técnica Other technical production |
28 |
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
Visualizações do curriculum [
2983
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
05-02-2020
às
18:13:41
|
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team |
|