Dr.  MIQUEL BOFILL ARASA

Plana personal

Departament:
INFORMÀTICA, MATEMÀTICA APLICADA I ESTADÍSTICA
Àrea de coneixement:
LLENGUATGES I SISTEMES INFORMÀTICS
Grup de recerca:
Lògica i Programació
ORCID PRC:
0000-0003-0308-9867

Currículum abreujat

Llicenciat en Informàtica per la UPC (1991). Doctor en Informàtica per la UPC (2004).

 

Analista-Programador, Bon Preu S.A., 1993-1994.

Professor de la UVic, 1994-1999.

Professor consultor i autor de materials de la UOC, 1997-1999.

Professor de la UdG des de 1999.

 

La seva recerca s'orienta a les aplicacions de la lògica a la informàtica, com ara el raonament automàtic i la resolució de problemes combinatoris mitjançant eines basades en la lògica.

 

Pàgina personal: http://imae.udg.edu/~mbofill