Jan Jakubuv @ CIIRC

• a postdoc researcher at CTU/CIIRC since 2015
• a member of ARG Prague group
• working on AI4REASON ERC Consolidator grant number 64904
• his CV is available
• PhD thesis