Mes recherches en logique formelle et en philosophie des sciences portent essentiellement sur les fondements des mathématiques et les fondements de la physique dans leurs aspects techniques, critiques, historiques et philosophiques. Sur le plan proprement philosophique, je défends une thèse constructiviste radicale qui consiste à montrer que l'arithmétique et sa logique interne ou théorie des nombres sont au fondement des théories mathématiques.

En philosophie de la physique, mon point de vue antiréaliste a mis l'accent sur la logique interne des théories physiques et de la physique mathématique dans le même esprit constructiviste.

Enfin, j'ai aussi mené des recherches parallèles sur la logique dialectique de Hegel et j'ai pu montrer qu'il s'agit d'une syllogistique traditionnelle accouplée au procès dynamique de la sursomption (Aufhebung) à l'aide d'une opération de double négation.

Le projet de thèse de Patricia porte sur l’analyse des conditions de possibilité d’un apprentissage morale des machines et plus précisément d’un apprentissage de la vertu.

Comme auxilaire de recherche, Patricia a travaillé pour le Dialogue ouvert sur l’IA organisé par le CIFAR. Elle travaille actuellement sur d’importants projets de recherche pour le gouvernement, notamment pour la finance durable et la place de l’IA dans la transition écologique. 

Patricia, qui maîtrise l’anglais et l’espagnol, a été envoyée au Mexique pour former une équipe de chercheurs aux ateliers de délibération éthique à partir de scénario fictif de systèmes d’AI. Les ingénieurs étaient issus de l’école sœur du Mila en intelligence artificielle, Tec de Monterrey à Jalisco.

Patricia est également journaliste en éthique de l’IA pour CScience IA. Elle est l’autrice d’un essai de vulgarisation en éthique de l’IA : « PAUSE — Pas d’IA sans éthique. »

Mes recherches portent principalement sur des questions de logique, fondements des mathématiques et de la philosophie des mathématiques. Elles se découpent grossièrement en trois champs qui s'entrecoupent: la portée philosophique et les applications de la logique catégorique, les fondements des mathématiques dérivant de la théorie des catégories et, finalement, l'épistémologie et l'ontologie des mathématiques contemporaines.

• Chargé de cours: PHI 1901 (A23) - Pensée Rationnelle et Argumentation
• Aristote, éthique, physique, métaphysique, délibération (bouleusis), décision (boulesis), choix délibéré (prohairesis), autosuffisance (autarkeia), dialectique, méthodes argumentatives et outils conceptuels aristotéliciens.
• Philosophie grecque et éthique fondamentale.
• Liberté humaine, responsabilité, acte volontaire.
• Temporalité, simultanéité et effectivité en éthique, physique et métapĥysique chez Aristote, et en physique et logique moderne.
• Logique, informatique théorique, philosophie des mathématiques, thèorèmes de Godel, enumérabilité effective, computabilité, complexité. 
• Philosophie analytique (théorie des actes de langage).
• Méthodes de conception logicielle, conceptualité et applications du paradigme orienté-objet.
• Patrons de conception (Design Patterns) et patrons architecturaux (Architectural Patterns), refactorisation et conception piloté par le domaine (Domain-Driven Design).
• Traitement de l'image (approche multirésolution et transformée en ondelettes, débruitage).
• Intelligence artificielle, philosophie computationelle, sciences cognitives.
• Moralité robotique, Intelligence Artificielle et Éthique, délibération, transparence, explicabilité et interrogeabilité des algorithmes d'apprentissage profond.
• Interprétations gadamérienne et heideggérienne d'Aristote.
• Collaboration multidisciplinaire, reproductibilité et partage des données.
• Neuroinformatique.