Personal information

Other IDs

ResearcherID: H-7000-2015

Keywords

Logics, SAT, SMT, Combinatorial Optimization, System verification

Countries

Spain

Activities

Collapse all

Employment (4)

Universitat Politècnica de Catalunya: Barcelona, ES

2012-09-01 to present | Professor Agregat (Associate Professor) (Computer Science)
Employment
Source: Self-asserted source
Albert Oliveras

Universitat Politècnica de Catalunya: Barcelona, ES

2007-09-01 to 2012-08-31 | Professor Lector (Assistant Professor) (Computer Science)
Employment
Source: Self-asserted source
Albert Oliveras

Universitat Politècnica de Catalunya: Barcelona, ES

2006-09-01 to 2007-08-31 | Professor ajudant (Assistant Professor) (Computer Science)
Employment
Source: Self-asserted source
Albert Oliveras

Universitat Politècnica de Catalunya: Barcelona, ES

2003-09-01 to 2006-08-31 | PhD Student (Computer Science)
Employment
Source: Self-asserted source
Albert Oliveras

Education and qualifications (2)

Universitat Politècnica de Catalunya: Barcelona, ES

2002-09-01 to 2006-07-07 | PhD in Computer Science (Computer Science)
Education
Source: Self-asserted source
Albert Oliveras

Universitat Politècnica de Catalunya: Barcelona, ES

1998-09-01 to 2002-06-30 | Llicenciat en Matemàtiques (BS in Mathematics)
Education
Source: Self-asserted source
Albert Oliveras

Funding (8)

FREETech - Razonamiento Formal para Tecnologı́as Facilitadoras y Emergentes

2019-01 to 2022-09 | Grant
Agencia Estatal de Investigación (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

LOBASS - Soluciones Efectivas Basadas en la Lógica

2016 to 2020 | Grant
Ministerio de Economía y Competitividad (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

DAMAS - Una aproximación declarativa al modelado, análisis y resolución de problemas

2014 to 2016 | Grant
Ministerio de Economía y Competitividad (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

SweetLogics-UPC

2011 to 2013 | Grant
Comisión Interministerial de Ciencia y Tecnología (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems

2010 to 2013 | Grant
European Science Foundation (Paris, FR)
Source: Self-asserted source
Albert Oliveras

LogicTools2

2008 to 2010 | Grant
Comisión Interministerial de Ciencia y Tecnología (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

LogicTools

2005 to 2007 | Grant
Comisión Interministerial de Ciencia y Tecnología (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

MAVERISH

2002 to 2004 | Grant
Comisión Interministerial de Ciencia y Tecnología (Madrid, ES)
Source: Self-asserted source
Albert Oliveras

Peer review (1 review for 1 publication/grant)

Review activity for Artificial intelligence. (1)
How many people are using ORCID?