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ó

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 fins a l'actualitat (professor agregat interí).

 

La seva recerca s'orienta a les aplicacions de la lògica en la informàtica. En particular, la demostració automàtica de teoremes i la resolució de problemes de restriccions (planificació de tasques de treball, horaris, etc.)

 

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