Research Interests
AI
|
Software
|
Logic
|
Other
Artificial Intelligence
(
AI
), with especially automated reasoning, machine learning and large language models.
Computer
software
Mathematical
logic
Other
interest