Accepting PhD Students
PhD projects
Automated theorem proving, verification, neuro-symbolic reasoning, combinations of
machine learning and reasoning, non-linear constraint solving, verification and analysis of machine learning models
Accepting PhD Students
PhD projects
Automated theorem proving, verification, neuro-symbolic reasoning, combinations of
machine learning and reasoning, non-linear constraint solving, verification and analysis of machine learning models