Michele Pra Baldi è ricercatore post-dottorato presso l’Istituto di Ricerca in Intelligenza Artificiale del Consiglio Superiore per la Ricerca Scientifica spagnolo (IIIA-CSIC). Gli ambiti della sua ricerca includono la logica algebrica, le sue applicazioni allo studio semantico di logiche non classiche e l’epistemologia formale.