Keywords: Automated reasoning, machine learning, verification, welfare and health innovation.
Peter Schneider-Kamp
Co-director, Professor
| Phone: | +45 65 50 23 27 |
| Email: | petersk@imada.sdu.dk |
| Webpage: | https://www.sdu.dk/staff/petersk |
| Phone: | +45 65 50 23 27 |
| Email: | petersk@imada.sdu.dk |
| Webpage: | https://www.sdu.dk/staff/petersk |
Keywords: Automated reasoning, machine learning, verification, welfare and health innovation.