Faculdade

Ensino

Estudantes do Programa de Doutoramento em Informática

 

A lista que se segue inclui todos os estudates atualmente inscritos no Programa de Doutoramento em Informática da NOVA.

Pode também consultar a lista dos nossos antigos estudantes aqui.

  • Albert Van Der Linde, Tema por definir, Orientador: João Leitão, Co-Supervisor: Nuno Preguiça
  • Ana Catarina Gralha de Almeida, Quality evaluation of requirements models: the case of goal models and scenarios, Orientador: Miguel Goulão
  • Ana Paula Maldonado, Quasi-final Semantics for Process Calculi, Orientador: Luís Monteiro
  • André Belchior Mourão, Efficient Biomedical Information Retrieval With Distributed Indexing, Orientador: João Magalhães
  • Ankica Barisic, Usability evaluation of Domain-Specific Languages, Orientador: Vasco Amaral
  • António Gelásio Frazão Isidro Teófilo, Distributed Computations in Edge-Clouds, Orientador: Hervé Paulino, Co-Supervisor: João Lourenço
  • António Paulo Gomes dos Santos, Sentiment Analysis, Orientador: Nuno Marques
  • Bruno Alexandre Meirinhos Preto, Adaptive Image Processing Targeting Heterogeneous Architectures, Orientador: Pedro Medeiros
  • Carla Luisa de Oliveira Viegas, Multimodal Analysis of Motor Speech Disorders Using Machine Learning, Orientador: João Magalhães, Co-Orientador: Alex Hauptmann
  • Carlos Jorge de Sousa Gonçalves, A problem-solving environment for parallel extraction of multiwords and applications from large corpora, Orientador: José C. Cunha, Co-Orientador: Joaquim F. Silva
  • Cedric Claude Bernard Grueau, Domain Specific Modeling Language for Agent-Based Simulations in Land Use Sciences, Orientador: João Araújo Júnior
  • Cristiano De Faveri, Deception-Based Adaptive Architectures For Cyber Security, Orientador: Ana Moreira
  • David Fernandes Semedo, Tema por definir, Orientador: João Magalhães
  • David Precatado Navalho, CommonSense: Decentralized Participatory Sensing, Orientador: Nuno Preguiça, Co-Orientador: Sérgio Duarte
  • Diogo dos Santos Remédios, Distributed Computations in Edge-Clouds, Orientador: Hervé Paulino, Co-Orientador João Lourenço
  • Elias Adriano Nogueira da Silva, Tema por definir, Orientadora: Ana Moreira 
  • Éric Rocha de Souza, Assisted Architectural Decision Framework, Orientador: Ana Moreira
  • Fernando José Araújo Wanderley, A Cognitive and User-Centered Requirements Engineering Framework, Orientador: João Araújo
  • Filipe Bastos de Freitas,  Garantias da Consistência em Serviços Web, Orientador: Rodrigo Rodrigues, Co-Orientador: João Leitão
  • Flávio Nuno Fernandes Martins, Just in Time Twitter Search: Ranking for Freshness, Relevance and Novelty, Orientador: João Magalhães
  • Hugo Alexandre Espada dos Santos, Tema por definir, Orientador por definir
  • Hugo Miguel Macieira Simão Taborda, Tema por definir, Orientador por definir
  • João André Almeida e Silva, Storage Without Infrastructure - Crowdsourcing Mobile Devices to Provide Storage in Edge-Clouds, Orientador: Hervé Paulino, Co-Orientador: João Lourenço
  • João Miguel Cardia Melro Rodrigues, Tema por definir, Orientador: Henrique João Domingos
  • João Guerra Martins, Verification of epistemic cyberphysical systems, Orientadores: João Leite, Co-Orientador: André Platzer (Carnegie Mellon)
  • Jorge André Nogueira Costa, Compact Text Indices for Supporting Machine Translation Tasks, Orientador: Gabriel Pereira Lopes
  • Luís Alexandre Ferreira da Silva, A Pattern-Based Approach to Scaffold the IT Infrastructure Design Process, Orientador: Fernando Brito e Abreu
  • Luis Manuel dos Santos Gomes, Translation Extraction and Translation Alignment, Orientador: Gabriel Pereira Lopes
  • Luís Manuel Tremoceiro Baptista, Using Restarts on Constraint Programming with Finite Domains, Orientador: Francisco Azevedo
  • Luís Miguel Cardoso Lourenço, Typed Intermediate Languages for Concurrent Systems, Orientador: João Costa Seco
  • Miguel Ângelo Felgueiras Bento Alves, Multimedia Information Retrieval with Rules and Ontologies, Orientador: Carlos Damásio & Nuno Correia
  • Norberto Luís de Jesus Albino, Tema por definir, Orientador: Por definir
  • Nuno António Afonso Cunha de Oliveira, A Heterogeneous Runtime Environment for Scientific Desktop Computing, Orientador: Pedro Medeiros
  • Nuno Miguel Valero Ribeiro, Tema por definir, Orientador: Por definir
  • Paulo Jorge Lago da Silva Quaresma, Tomo-GPU: A problem Solving Environment for tomographic data analysis, Orientadores: Pedro Medeiros
  • Pedro Emanuel Albuquerque e Batista dos Santos, Development Framework for Multimodal Applications, Orientador: Nuno Correia
  • Pedro Manuel Sabino Rocha, Tema por definir, Orientador: Luís Caires
  • Rui Miguel Neves Gonçalves Madeira, Generic Personalization Modeling to Improve Human-Computer Interaction in a Ubiquitous Computing World, Orientador: Nuno Correia
  • Sinan Egilmez, Social Abstract Argumentation, Orientador: João Leite
  • Tarquinio Miguel Estevão Mota, Multimodal interaction using active objects, Orientador: Nuno Correia
  • Tiago Marques do Vale, Virtues and Limitations of Preordered Transactions, Orientador: João Lourenço, Co-Orientador: Ricardo Dias
  • Valter Balegas de Sousa, Invariant preservation in geo-replicated data stores, Orientador: Nuno Preguiça