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: https://imae.udg.edu/~mbofill