I am a full professor at
I develop novel techniques grounded in
AI,
logics, and
formal methods,
to create intelligent agents
and
information systems
that combine
processes
and
data.