Identificação
Identificação pessoal
- Nome completo
- Inês Lynce
Nomes de citação
- Inês Lynce
Identificadores de autor
- Ciência ID
- 2114-E5E9-6ADC
- ORCID iD
- 0000-0003-4868-415X
Endereços de correio eletrónico
- ines.lynce@tecnico.ulisboa.pt (Profissional)
Moradas
- INESC-ID Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa. Rua Alves Redol 9, 1000-029, Lisboa, Lisboa, Portugal (Profissional)
Websites
- http://sat.inesc-id.pt/~ines (Profissional)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Formação
Grau | Classificação | |
---|---|---|
2020/07/28
Concluído
|
Engenharia Informática e de Computadores (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Aprovado por unanimidade |
2005
Concluído
|
Engenharia Informática e de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Propositional Satisfiability: Techniques, Algorithms and Applications" (TESE/DISSERTAÇÃO)
|
|
2001
Concluído
|
Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Algebraic Simplification Techniques for Propositional Satisfiability" (TESE/DISSERTAÇÃO)
|
Aprovado por unanimidade |
1998
Concluído
|
Engenharia Informática e de Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Sistema de apoio à consulta de subvisão do Hospital de Santa Maria" (TESE/DISSERTAÇÃO)
|
16 valores |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2005/02/04 - Atual | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2021 - Atual | Professor Catedrático (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Universidade de Lisboa Instituto Superior Técnico, Portugal | ||
2013 - 2021 | Professor Associado (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
2005 - 2013 | Professor Auxiliar (Docente Universitário) | Universidade de Lisboa Instituto Superior Técnico, Portugal |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2013/07 - 2016/06 | Large-Scale Data Management in Cloud Environments | Fundação para a Ciência e a Tecnologia |
2011/03 - 2014/08 | ASPEN: Answer Set Programming with BoolEaN Satisfiability | Fundação para a Ciência e a Tecnologia |
2010/10 - 2014/03 | ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems | Fundação para a Ciência e a Tecnologia |
2010/04 - 2013/10 | ParSat - Parallel Satisfiability Algorithms and its Applications | Fundação para a Ciência e a Tecnologia |
2010/04 - 2013/09 | iExplain - Reasoning About Unsatisfiability | Fundação para a Ciência e a Tecnologia |
2008 - 2011 | MANCOOSI: Managing the complexity of the open source infrastructure | European Commission |
2008/01 - 2010/12 | SHIPs: Sat-based Haplotype Inference by Pure Parsimony | Fundação para a Ciência e a Tecnologia |
2005/03 - 2008/11 | SATPot: SATisfiability algorithms, aPplicatiOns and exTensions | Fundação para a Ciência e a Tecnologia |
Projeto
Designação | Financiadores | |
---|---|---|
2020/01/01 - 2022/12/31 | LAIfeBlood - Inteligência Artificial para a Gestão do Sangue
DSAIPA/AI/0033/2019
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2019/01/01 - 2021/12/31 | Data2Help: Ciência de Dados para Optimização de Serviços de Emergência Médica
DSAIPA/AI/0044/2018
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal Instituto Nacional de Emergência Médica IP, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/10/01 - 2021/09/30 | DOME: Métodos de Optimização Discreta para Gestão Energética
PTDC/CCI-COM/31198/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/09/01 - 2021/08/31 | FaultLocker: Ferramentas para localização e reparo de falhas em software crítico
PTDC/CCI-COM/29300/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
2018/09/01 - 2019/08/31 | DeepData: Data Science in the Azores Deep Sea
CMU/AIR/0022/2017
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2016/07/01 - 2019/06/30 | ERGODiC - Métodos formais para a análise da dinâmica de redes modulares de regulação genética
PTDC/EEI-CTP/2914/2014
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação Calouste Gulbenkian, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2015/01/01 - 2015/12/31 | AMOS: Algoritmos para Cursos Online Abertos e Massivos
CMUP-EPB/TIC/0049/2013
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Artigo em revista (magazine) |
|
Capítulo de livro |
|
Outros
Outra produção |
|
Atividades
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2016 - 2021 | Solving Scheduling Problems under Disruptions
Orientador
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2015 - 2019 | Constraint-Based Multi-Objective Combinatorial Optimization
Coorientador
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2009 - 2013 | Parallel Search for Maximum Satisfiability
Orientador
|
Doutoramento em Engenharia Informática e de Computadores
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2006 - 2010 | Satisfiability-based Algorithms for Haplotype Inference
Orientador
|
Doutoramento em Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
2004 - 2010 | Resolution of Dependencies in the Installation of Software Components
Coorientador
|
Universidade de Lisboa Instituto Superior Técnico, Portugal
|
Distinções
Prémio
2009 | INESC-ID Young Researcher Award |
2009 | APPIA PremeIA Award |
2008 | UTL/Delloite Young Researcher Award |
2001 | Best student's poster |
Outra distinção
2021 | Artificial Intelligence Journal (AIJ) Member of the Editorial Board (ongoing) |
2017 | H2020 Submitted projects reviewer
European Commission, Bélgica
|
2017 | H2020 Ongoing projects reviewer
European Commission, Bélgica
|
2017 | Best student paper award SAT conference |
2016 | Co-Organizer SAT/SMT/AR summer school |
2016 | "Four decades of AI in Portugal" name mentioned @ AI Magazine |
2015 | AAAI Senior Program Committee Member |
2015 | IJCAI Senior Program Committee Member |
2014 | SAT Workshop Chair |
2011 | IJCAI Senior Program Committee Member |
2011 | AAAI Area Chair |
2010 | Visitor University College Dublin |
2010 | JAIR Member of the Editorial Board (ongoing) |
2009 | APPIA PremeIA Award |
2009 | INESC-ID Young Researcher Award
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
|
2006 | Patent (PT 103434) |
2006 | Visitor University of Southampton |
2005 | Visitor University College Cork |
2004 | Visitor University of St Andrews |
2003 | Visitor Cornell University |