Ines Lynce

Ines Lynce

Inês Lynce

Assistant Professor
Departamento de Engenharia Informática
Instituto Superior Técnico
INESC-ID Lisboa, SAT Group
Rua Alves Redol 9
1000-029 Lisboa, Portugal
Phone: +351 21 3100290
Fax: +351 21 3145843

Member of the Editorial Board of the Journal of Artificial Intelligence Research

INESC-ID Young Researcher Award 2009
APPIA PremeIA Award 2009
UTL/Deloitte Young Researcher Award 2008

Research Interests: Artificial Intelligence, Constraint Satisfaction, Satisfiability, Formal Methods, Bioinformatics, Optimization, Knowledge Representation
List of Publications (also available from DBLP)
Citations available from Google Scholar and ACM author profile

Research projects (ongoing)
SATPot: SATisfiability algorithms, aPplicatiOns and exTensions, funded by FCT
SHIPs: Sat-based Haplotype Inference by Pure Parsimony, funded by FCT
MANCOOSI: Managing the Complexity of the Open Source Infrastructure, funded by EU/FP7
PESSOA: From Gene Maps to Gene Orders, with LINA/Universite de Nantes, funded by GRICES

Professional Activities
Organization: LoCoCo @ FLoC 10 (Co-Chair), CP 09 (Organising Committee), STCS @ EPIA 07 (Co-Chair), SAT 07 (Local Chair), ISC 07 (SAT Area Chair)
Program Committees:
IJCAI 11
INForum 10, SofT 10, ECAI 10, WCB 10, LaSh 10, SAT 10, RCRA 10, ISMVL 10, ISAIM 10
SymCon 09, WCB 09, RCRA 09, CAEPIA 09, EPIA 09 - GAI, CP 09, IJCAI 09, SAT 09
RCRA 08, LaSh 08, PSCS @ IBERAMIA 08, IBERAMIA 08, SymCon 08, WCB 08, AAAI 08, SAT 08
AI 07, Planning&Scheduling&Constraints @ CAEPIA07, Planning&Scheduling @ CP/ICAPS07, RCRA 07, AAAI 07, SAT 07, ISC 07
WS32 @ ECAI 06, SAT 06
Judge: QBFEVAL 2010, SAT Competition 2009
Tutorials: SAC 10 [slides] CP 07 [slides]

Teaching
Artificial Intelligence 2009/10
Foundations of Programming 2009/10
Boolean Constraints and Optimization 2008/09
Logic for Programming 2008/09
Artificial Intelligence 2008/09
Logic for Programming 2007/08
Modelling 2007/08
Artificial Intelligence 2006/07
Knowledge Representation 2006/07

Last update July 2009