...collaborate on
DOUTORAMENTOS em curso no Dep.Informática
PG Doutoramentos / Mail Tema Data Admissão Orientador
1352 Alfrânio Tavares Correia Júnior alfranio@lsd.di.uminho.pt Open Replication of Databases for large-scale environments 02-Mar-2005 RCO
080381029 Alexandre Leite de Castro Madeira (MAP-i 08/09-FCUP) a.madeira@fc.up.pt   11-Nov-2008  
0808381040 Ana Luísa Parreira Nunes (MAP-i 08/09-FCUP) aln@fc.up.pt   11-Nov-2008  
1910 André Leite Ferreira (MAP-i 07/08) alferreira@di.uminho.pt (Algoritmi) Software Process Improvement Strategies: Six Sigma and PSP/TSP for CMMI Level 5 20-Sep-2007 REINSCRIÇÃO em Dez-08 para conclusão do 1º ano Ricardo Machado/DSI-UM
2006 Andreia Sofia da Costa Teixeira (MAP-i 07/08) andreiasofiat@hotmail.com (LIACC) Characterization of cryptographic primitives based on Klomogorov complexity 20-Sep-2007 Luis Antunes/UP
1976 António Carlos Oliveira Júnior REINSCRIÇÃO em Dez-08 para conclusão do 1º ano (MAP-i 07/08) acojr@di.uminho.pt User-Centric Routing 06-Jul_2009 Helena Rute Sofia/Inesc Porto
080381041 António Pedro Oliveira (MAP-i 08/09-FCUP) apoliveira@fc.up.pt   11-Nov-2008  
1989 Arif ur Rahman (MAP-i 07/08) badwanpk@gmail.com (INESC/Porto) Data warehouses in the path from databases to archives 19-Sep-2007 Gabriel David/UP
2165 Bárbara Isabel de Sousa Vieira barbarasv@di.uminho.pt Verificação formal de políticas de segurança em software criptográfico 28-May-2008 MBB,MAC
1925 Brett Drury (MAP-i 07/08) bdrury@microfil.pt (LIAAD) A text-mining response to news 20-Sept-2007 Luís Torgo/UP
090381038 Bruno José Duro Batista (MAP-i 08/09-FCUP) bruno.batista@fc.up.pt   11-Nov-2008  
080381030 Bruno Miguel Ferreira de Oliveira (MAP-i 08/09-FCUP) bruno.oliveira@fc.up.pt   11-Nov-2008  
080381031 Can Ye (MAP-i 08/09-FCUP) yecan@fc.up.pt   11-Nov-2008  
1926 Daniela Carneiro da Cruz (MAP-i 07/08) danieladacruz@gmail.com (CCTC) Methods and techniques to analyse code, to extract and handle application components 20-Sep-2007 PRH
1970 David Miguel Ramalho Pereira (MAP-i 07/08) dpereira@ncc.up.pt (LIACC) Mobile code security based on Kleene algebras and temporal logics 20-Sep-2007 Nelma Moreira/UP
2131 Diogo Telmo de Sá Lima Pinto Neves dneves@di.uminho.pt (Bolseiro UTA_Portugal) Separation of Concerns in Advanced Computing 19-Mar-2008 JLS,Keshav Pingali
1908 Filipe José Oliveira Campos (MAP-i 07/08) filipe.o.campos@gmail.com (CCTC) Fault tolerant service integration 20-Sep-2007 JOP
2305 Flávio Miguel Xavier Ferreira flavioxavier@di.uminho.pt Personalised information access in an XML document collection associated with semantic descriptions 07-Sep-2008 PRH, Co-Tutela Bruno Defude e Alda Gançarski
1257 Francisco Alexandre Costa Gaitto Gonçalves Pereira fgaitto@porto.ucp.pt Simulação gráfica do envelhecimento de estruturas arquitectónicas 22-Sep-2004 "ReqProrrogNov2008" ARF, Luís Hernández Ibánez
1916 Gustavo Soares Santos Ao abrigo do Protocolo Portugal-CMU 20-Sep-2007  
1901 Hugo Daniel dos Santos Macedo (MAP-i 07/08) hmacedo@di.uminho.pt REINSCRIÇÃO em Dez-08 para conclusão do 1º ano 20-Sep-2007  
1917 Hugo José Sereno Lopes Ferreira (MAP-i 07/08) hugo.ferreira@di.uminho.pt (INESC-Porto) Adaptive object modelling: Patterns, tools and applications 20-Sep-2007 Ademar Aguiar/UP
2089 Hugo José Pereira Pacheco (MAP-i 07/08) hpacheco@di.uminho.pt (CCTC) Bidirectional data transformation by calculation 15-Feb-2008 MAC
080381039 Hugo Marcelo Fernandes da Conceição (MAP-i 08/09-FCUP) hugoc@fc.up.pt   11-Nov-2008  
1697 Jácome Miguel Costa da Cunha jacome@di.uminho.pt Foundations of Spreadsheets 22-Dec-2006 JAS, Joost Visser
2428 João Carlos Azevedo Salgado Guimarães joaoguima@gmail.com Development of tools for Synthetic Biology: towards a computacional transcript engineering toolbook 28-Jan-2009 MPR, Adam P. Arkin
1351 João Carlos Cardoso da Silva jcsilva@ipca.pt Métodos Formais e Engenharia Reversa aplicados à Manutenção e Usabilidade de Sistemas Interactivos 02-Mar-2005 JAS, JFC
080381044 João Miguel Ribeiro Gonçalves (MAP-i 08/09-FCUP) joao.m.goncalves@fc.up.pt   11-Nov-2008  
1906 José Carlos de Queirós Pinto MAP-i 07/08) zepinto@gmail.com (ISR-Porto) Cooperative control of heterogeneous autonomous vehicles 20-Sep-2007 Fernando Lobo Pereira/UP
2112 José Luís Cardoso Silva jlsilv@gmail.com An infrastructure for experience centred agile prototyping of ambient intelligence 19-Mar-2008 JFC,Michael Harrison
2062 José Pedro Basto Gouveia Pereira Pinto josepedr@gmail.com Computational Tools for Data Integration and Regulatory Network Inference in Systems Biology 14-Jan-2008 MPR, ICR
1927 José Pedro Garcia Oliveira (MAP-i 07/08) jpo@di.uminho.pt (CCTC) Integrated enterprise messaging architecture 20-Sep-2007 JOP
1622 Luis Manuel Oliveira Soares los@di.uminho.pt Group-based Databse Replication in Cluster Environments 18-Oct-2006 JOP
1681 Luis Pedro Oliveira Machado lpedromachado@gmail.com Transformação Pragmática de Programas 16-Nov-2006* JSP, Simão Sousa
080381048 Noel Pérez (MAP-i 08/09-FCUP) nperez@fc.up.pt   11-Nov-2008  
1918 Miguel Pereira dos Santos Silva (MAP-i 07/08) mssilva@fc.up.pt   CMU  
1975 Nuno Alexandre Abreu Carvalho (MAP-i 07/08) nuno.carvalho@di.uminho.pt (CCTC) Self-managing service platform 20-Sept-2007 JOP
1920 Nuno Alexandre Castro Ferreira (MAP-i 07/08) nuno.ferreira@i2S.pt (Algoritmi) Multi-staged domain specific modeling for software product lines: An insurance ontology analysis 20-Sep-2007 Ricardo Machado/DSI
1689 Nuno Alexandre Magalhães Pereira nap@isep.ipp.pt Previsibilidade e Fiabilidade na Difusão de Informação em Redes Sensoriais sem Fios 22-Dec-2006 PMC
1909 Nuno José Constantino Castro (MAP-i 07/08) castro@di.uminho.pt (CCTC) Time series analysis in telecommunication data 20-Sep-2007 PJA
1543 Nuno Miguel Afonso Veiga nveiga@estg.ipleiria.pt Arquitectura para acessos seguros a conteúdos multimédia em redes IPv6 corporativas 22-Feb-2006 ATS
080381035 Nuno Miguel de Melo Figueiredo (MAP-i 08/09-FCUP) nuno.figueiredo@fc.up.pt   11-Nov-2008  
1752 Nuno Vasco Moreira Lopes nunovasco@gmail.com Qualidade de Serviço IP em Ambientes Móveis 21-Mar-2007** ATS,Maria João Nicolau
080381033 Orlando Shigueo Ohashi Junior (MAP-i 08/09-FCUP) ohashijr@fc.up.pt   11-Nov-2008  
1953 Óscar Sílvio Marques de Almeida Gama osg@di.uminho.pt Rede Biomédica de Sensores Sem Fios Auto-Adaptável Sep 2007 (DEI)+ co-orientador PMC
1919 Paula Alexandra Fernandes Monteiro (MAP-i 07/08) pa.monteiro@gmail.com (Algoritmi) Inception of software validation and verification practices within CMMI Level 2: An IEEE/ISO 29119 roadmap 20-Sep-2007 Ricardo Machado/DSI
1971 Paulo Alexandre da Costa Ferreira Brandão Pereira docpb@sapo.pt Erro em Imagiologia Médica 26-Sep-2007 VMA,JMN
1921 Paulo César Oliveira Jesus (MAP-i 07/08) pcoj@di.uminho.pt (CCTC) Robust distributed data aggregation 20-Sep-2007 CBM
080381036 Raúl Silva Costa (MAP-i 08/09-FCUP) raulscosta@fc.up.pt   11-Nov-2008  
1650 Reus Salini R.Salini@gmx.net Inteligência evolutiva aplicada à modelação do comportamento dos pavimentos asfálticos 18-Oct-2006/Jan-2008 JMN,ASA
080381050 Ricardo André Pereira de Freitas (MAP-i 08/09-FCUP) rfreitas@fc.up.pt   11-Nov-2008  
1922 Ricardo Manuel Pereira Vilaça (MAP-i 07/08) rmvilaca@di.uminho.pt (CCTC) Large-scale descentralized object store 20-Sep-2007 RCO
1923 Rui Jorge Pereira Gonçalves (MAP-i 07/08) rjpg@fe.up.pt (ISR-Porto) Augmented/virtual reality applied to the control and supervision of heterogeneous robotic vehicles in cooperative missions 20-Sep-2007 Fernando Lobo Pereira/UP
1904 Rui Manuel Pacheco Meireles (MAP-i 07/08) rui.meireles@gmail.com (IT-Porto) Vehicular ad-hoc Networks 20-Sep-2007 João Barros/UP
1552 Rui Pedro da Costa Barbosa ruidev@gmail.com Forex Trading Using Intelligent Software Agents 06-Apr-2006 OMB
1746 Sérgio Paulo Valentim Ferreira sergio.valentim@esad.ipleiria.pt Ray-Tracing Interactivo em Modelos Virtuais Dinâmicos 21-Feb-2007 LPS
1779 Tiago Miguel Laureano Alves tiagomlalves@gmail.com Techniques for Software Portfolio Understanding 01-Jul-2007** JNO,Johannes Visser
1954 Tiago Miguel Guimarães Pedrosa (MAP-i 07/08) pedrosa@di.uminho.pt (IEETA) Electronic health records for mobile citizens 20-Sep-2007 José Luís Oliveira/UA
080381037 Vahid Nazari Talooki (MAP-i 08/09-FCUP) vahid.talooki@fc.up.pt   11-Nov-2008  
1586 Vasco Nuno Caio dos Santos vsantos@estgf.ipp.pt Optimização do Processo de Alimentação de um Data Warehouse 26-Jul-2006 OMB
080381043 Vítor Gabriel dos Reis Machado Rodrigues (MAP-i 08/09-FCUP) vitor.rodrigues@fc.up.pt   11-Nov-2008  
1928 Vitor Serafim Pereira Oliveira (MAP-i 07/08) vitor.oliveira@hotmail.com (CCTC) Civil protection applications in a grid supported environment 20-Sep-2007 AMP

* Requereu alteração da data de inicio do doutoramento para coincidir com a data de inicio do contrato da Bolsa com a FCT

** Requereu adiamento do pagamento das propinas de Doutoramento por motivo de candidatura a Bolsa FCT

JÁ REQUERERAM APRESENTAÇÃO DE PROVAS

PG Nome / E-mail Tema Data Admissão Orientador

CONCLUSÕES (desde 2003)

Doutorando Tema Data Admissão Provas Orientador
Albano Agostinho Gomes Alves Rocmeu: orientação ao recurso na modelação de aplicações paralelas e exploração cooperativa de clusters multi-SAN Sep 2000 Dec 2004 AMP
Alberto Manuel Brandão Simões albie@alfarrabio.di.uminho.pt Extracção de Recursos de Tradução com base em Dicionários Probabilísticos de Tradução Sep 2004 19-Mai-2008 JJA
Alberto António de Chalupa Sampaio Comparação e Classificação de Métodos de Avaliação do Processo do Software Utilizando uma Metodologia Numérica e Exploratória Apr 1998 Jan 2005 FMM
António Carlos Silva Abelha Sistemas Multiagente como Suporte a Trabalho Cooperativo em Unidades Hospitalares Oct 1998 Apr 2004 JMN, VMA
Ana Cristina Wanzeller Guedes de Lacerda Selecção de Planos de Mineração de Dados de Utilização da Web Apr 2003 May 2007 OMB
Anália Maria Garcia Lourenço analia@di.uminho.pt Descoberta de Conhecimento em Sistemas de Data Webhousing Feb 2002 19-Feb-2007 OMB
António Luís Duarte Costa costa@di.uminho.pt Encaminhamento Hierárquico para Difusão Selectiva com Requisitos Heterogéneos de Qualidade de Serviço Oct 1999 Jun 2006 VLF
António Manuel Nestor Ribeiro anr@di.uminho.pt Um Processo de Modelação de Sistemas Software com Integração de Especificações Rigorosas Oct 1999 23-Jun-2008 FMM
António Luís Pinto Ferreira de Sousa als@di.uminho.pt Partial Replication in the Database State Machine Oct 2000 Feb 2007 RCO
Bruno Alexandre Fernandes Dias bruno.dias@di.uminho.pt Gestão de Redes Internet - Internet Network Services Management Framework Jan 1999 Apr 2005 ATS
César Analide Freitas e Silva Costa Rodrigues analide@di.uminho.pt Antropopatia em Entidades Virtuais Oct 1998 Feb 2004 JMN, JMM
César de Jesus Pereira da Cunha Rodrigues cjr@di.uminho.pt Foundations of Program Refinement by Calculation Nov 1994 11-Mai-2009 JNO
Francisco António Carneiro Pacheco de Andrade PG993 franc.andrade@gmail.com A Contratação por Meios Electrónicos e o Recurso a Sistemas Multi-Agente: Questões de Representação e de Responsabilidade Civil Apr 2003 10-Dec-2009 Co-orientador JMN
Giovani Rubert Librelotto giovani@unifra.br Topic Maps: da Sintaxe à Semântica Sep 2001 Sep 2005 PRH, JCR
Gustavo Vasconcelos Arnold garnoldbr@yahoo.com Automatization of the Code Generation for Different Industrial Robots Jun 2002 30-Jun-2008 PRH
Hugo Alexandre Paredes Guedes da Silva Uma Arquitectura de Software Dinâmica para a Criação de Ambientes de Interacção Social Regulada na Web Jul 2002 18-Jan-2008 FMM
Jorge Alexandre de Albuquerque Loureiro Restruturação Dinâmica de Estruturas Multidimensionais de Dados em Tempo Útil Apr 2003 Jul 2007 OMB
João Paulo de Sousa Ferreira Fernandes(ID1287) jpaulo@di.uminho.pt Design, Implementation and Calculation of Circular Programs 24-Nov-2004 27-Mar-2009 JAS
Jorge Gustavo Pereira Bastos Rocha jgr@di.uminho.pt Informação Geográfica: Meta-Informação, Codificação e Visualização Oct 1995 Apr 2005 PRH
José Carlos Bacelar Almeida jba@di.uminho.pt Uma abordagem à verificação automática de protocolos criptográficos Feb 1995 Jun 2003 JMV
José Carlos Rufino Amaro rufino@ipb.pt Co-operação de Tabelas de Hash Distribuídas em Clusters Heterogéneros Sep 2000 2-Apr-2008 AMP
José João Antunes Guimarães Dias de Almeida jj@di.uminho.pt Dicionários dinâmicos multifonte Oct 1997 Dec 2003 PRH
José Luís Padrão Exposto exp@ipb.pt Estratégias de partição para a optimização da descarga distribuida da Web Sep 2000 24-Apr-2009 AMP, JHM
José Miguel Pereira Vilaça jmvilaca@gmail.com Visual Functional Programming - An Approach Based On Interaction Nets 24-Nov-2004 15-May-2009 JSP
Leonel Domingues Deusdado leodeus@ipb.pt Ambientes Virtuais Povoados com Simulação Eficiente de Detecção de Colisões e Planeamento de Trajectos em Navegação Realmente 3D Jul 2003 09-Jul-2009 ARF, OMB
Luís Filipe de Quintas Brito Abordagem Multiagente à Problemática do Comércio Electrónico Mar 2000 Sep 2003 JMN
Manuel Alcino Pereira da Cunha alcino@di.uminho.pt Point-free Program Calculation Oct 1997 Jun 2005 JBB, JSP
Marco António de Castro Barbosa (ID 972) marco.cb@gmail.com (Proposta de Júri DI-245/2009 Specification and Refinement of software Connectors Jul 2002 07-Sep-2009 LSB
Marco Aurélio Correia da Costa Inteligência Artificial no Domínio Legal - Uma Abordagem baseada em Ontologias Sep 1997 Jan 2003 JMN
Maria Goreti Carvalho Marreiros goreti@dei.isep.ipp.pt Agentes de Apoio à Argumentação e Decisão em Grupo Jul 2003 Jan 2008 JMN
Maria João Frade mjf@di.uminho.pt Type-Based Termination of Recursive Definitions and Constructor Subtyping in Typed Lambda Calculi Feb 1995 Mar 2004 JMV, Gilles Barthe
Maria João Maia Pinto de Castro Sousa Modelo de avaliação e melhoramento do processo de software Dec 1997 Jun 2005 JBB
Maria João Mesquita R.C. Nicolau Pinto Algoritmos e Protocolos de Encaminhamento Multicast Sep 1997 Jun 2005 ATS
Maria João Tinoco Varanda Pereira mjoao@ipb.pt Sistematização da Animação de Programas_ Dec 1997 Oct 2003 PRH
Maria Solange Pires Ferreira Rito Lima solange@di.uminho.pt A Distributed Admission Control Model for Class-based IP Networks Oct 2001 Jan 2006 VLF, PMC
Miguel Francisco de Almeida Pereira Rocha mrocha@di.uminho.pt Optimização de Modelos Conexionistas de Aprendizagem via Computação Genética e Evolucionária Oct 1998 Apr 2004 JMN
Miguel Jorge Tavares Pessoa Monteiro mmonteiro@di.fct.unl.pt Técnicas de Especificação e Programação de Sistemas Concorrentes Dec 2001 Jul 2005 JMF
Nuno Alberto Ferreira Lopes(ID 864) nuno.lopes@di.uminho.pt Information Search in Large-Scale Peer-to-Peer Systems 27- Feb-2002 30-Mar-2009 CBM
Nuno Miguel Feixa Rodrigues(ID 1323) nfr@di.uminho.pt Slicing Techniques Applied to Architectural Analysis of Legacy Software 22-Sep-2004 09-Feb-2009 LSB
Óscar Rafael da Silva Ferreira Ribeiro (ID 1373) oscar.rafael@di.uminho.pt Animation-based Validation of Reactive Software Systems using Behavioural Models 27-Apr-2005 22-Dec-2009 JMF
Paulo Filipe Araújo da Silva PG1178 paufil@di.uminho.pt (Proposta de Júri DI-291/2009) On the design of a Galculator 19-May-2004 16-Nov-2009 JNO
Paulo Jorge Teixeira Matos pmatos@ipb.pt Um modelo arquitectónico para desenvolvimento de compiladores: Aplicação à framework Dolphin Sep 2003 May 2005 PRH
Paulo Jorge Machado Oliveira pjorge@dei.isep.ipp.pt Detecção e Correcção de Problemas de Qualidade dos Dados: Modelo, Sintaxe e Semântica Jul 2003 Jan 2009 PRH
Paulo Jorge Freitas de Oliveira Novais pjon@di.uminho.pt Teoria dos Processos de Pré-Negociação em Ambientes de Comércio Electrónico Oct 1998 Jul 2003 JMN, JMM
Pedro Gabriel Dias Ferreira pedro_gabrieldf@hotmail.com Sequence Pattern Mining em dados bioquímicos Sep 2003 Nov 2007 PJA
Pedro Nuno Miranda de Sousa pns@di.uminho.pt Uma Arquitectura para diferenciação de Tráfego IP Oct 1999 Dec 2005 VLF
Ronnie Cley de Oliveira Alves ID 1303 alvesrco@yahoo.com Aggregation-based Mining Methods: From Single to N-dimensional Data Analysis Feb 2005 17-Apr-2008 OMB
Ricardo André Fernandes Costa ID 1717 rcosta@estgf.ipp.pt (Proposta de Júri DI-271/2009) Collaborative Networks in Ambient Assisted Living 21- Feb-2007 06-Nov-2009 PJN,JMN
Rui Manuel Ribeiro de Castro Mendes Population Topologies and Thei Influence in Particle Swarm Performance Oct 1995 May 2004 JMN
Rui Pedro Amaral Rodrigues rui_rodrigues@bigfoot.com Robust and hardware-accelerated 3D point and line reconstruction from images Jan 1999 Jun 2006 ARF
Sérgio Alípio Domingues Deusdado sergiod@ipb.pt Análise e Compressão de Sequências Genómicas Jul 2003 29-Sep-2008 PMC
Victor Francisco M. Freitas Gomes da Fonte vff@di.uminho.pt Causality Tracking in Dynamic Distributed Systems Oct 1995 2 Feb 2009 CBM, PSA
Vitor Manuel Basto Fernandes Protocolos de Ligação em Redes de Longa Distância Jul 1997 Jul 2006 VLF

SITUAÇÃO IRREGULAR / SUSPENSÃO

ID Doutorando Tema Início Orientador
xxxx Abílio António Leal Ribeiro Simulação de Sistemas Discreto em Ambientes Distribuídos Sep 1998 JMN
1369 Bruno da Conceição Cortes bcortes@ipca.pt Computação de Hipercubos Iceberg Apr 2005 / Susp2007 OMB
1320 Pedro Miguel Félix Alípio pma@di.uminho.pt Configuração Automática de Redes IP Multi-Serviço 02-Feb-2005 / Susp2006 PMC,JMN
-- Main.Paula Anjo - 07 Fev 2007

r101 - 23 Dec 2009 - 17:13:36 - PaulaAnjo
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM