I'm a doctoral researcher at RWTH Aachen and Fraunhofer FIT. I work on formal semantics for ODRL policies in data spaces, from spatial and temporal reasoning to foundational-ontological grounding, using theorem provers and SMT solvers to pin down what policies actually mean. I'm also interested in pairing LLMs with formal reasoning, so that language models can create and check usage policies on solid ground. My background is in geoinformation.
This user account status is Approved
This user has not added any information to their profile yet.
