Personal information
Logics, SAT, SMT, Combinatorial Optimization, System verification
Spain
Activities
Employment (4)
2012-09-01
to
present
|
Professor Agregat (Associate Professor)
(Computer Science)
Employment
Source:
Albert Oliveras
2007-09-01
to
2012-08-31
|
Professor Lector (Assistant Professor)
(Computer Science)
Employment
Source:
Albert Oliveras
2006-09-01
to
2007-08-31
|
Professor ajudant (Assistant Professor)
(Computer Science)
Employment
Source:
Albert Oliveras
2003-09-01
to
2006-08-31
|
PhD Student
(Computer Science)
Employment
Source:
Albert Oliveras
Education and qualifications (2)
2002-09-01
to
2006-07-07
|
PhD in Computer Science
(Computer Science)
Education
Source:
Albert Oliveras
1998-09-01
to
2002-06-30
|
Llicenciat en Matemàtiques (BS in Mathematics)
Education
Source:
Albert Oliveras
Funding (8)
2019-01
to
2022-09
|
Grant
Agencia Estatal de Investigación
(Madrid, ES)
Source:
Albert Oliveras
2016
to
2020
|
Grant
Ministerio de Economía y Competitividad
(Madrid, ES)
Source:
Albert Oliveras
2014
to
2016
|
Grant
Ministerio de Economía y Competitividad
(Madrid, ES)
Source:
Albert Oliveras
2011
to
2013
|
Grant
Comisión Interministerial de Ciencia y Tecnología
(Madrid, ES)
Source:
Albert Oliveras
2010
to
2013
|
Grant
European Science Foundation
(Paris, FR)
Source:
Albert Oliveras
2008
to
2010
|
Grant
Comisión Interministerial de Ciencia y Tecnología
(Madrid, ES)
Source:
Albert Oliveras
2005
to
2007
|
Grant
Comisión Interministerial de Ciencia y Tecnología
(Madrid, ES)
Source:
Albert Oliveras
2002
to
2004
|
Grant
Comisión Interministerial de Ciencia y Tecnología
(Madrid, ES)
Source:
Albert Oliveras