Bofill i Arasa, Miquel

Miquel Bofill Arasa és informàtic i investigador en lògica i intel·ligència artificial. Es va llicenciar en informàtica i es va doctorar en aquesta disciplina a la Universitat Politècnica de Catalunya; també ha treballat com a analista i programador. Va iniciar la carrera universitària a la Universitat de Vic, on va obtenir una plaça permanent el 1994, i el 1999 es va incorporar a la Universitat de Girona per dedicar més temps a la recerca.

A la Universitat de Girona forma part del Grup de Recerca en Lògica i Intel·ligència Artificial i ha participat en projectes competitius, n’ha dirigit un i ha codirigit tesis doctorals. La seva recerca inclou la lògica, la satisfacció de restriccions i la planificació automatitzada, amb publicacions en revistes i actes de congressos. També va participar en un projecte de recerca sobre llenguatge natural durant els estudis de llicenciatura.