A researcher in logics for computational legal theory
Short description of portfolio item number 1
Short description of portfolio item number 2