A SCIENTIFIC NOTEBOOK · LOGIC / NORMS / AI

How do we reason
about what ought
to be?

I am Ali Farjami, a postdoctoral researcher at the University of Luxembourg. I study how norms can be represented, reasoned with, and tested.

My work connects mathematical logic, automated reasoning, and neuro-symbolic AI to make normative knowledge explicit, traceable, and open to expert review.