|
Editor in chief of the Journal of Formalized Reasoning |
| short cv |
| teaching |
| research |
| articles |
| books |
| talks & seminars |
| Recent Projects | ||
Reinforcement Learning and Rogue
|
||
Autonomous Driving & Audi Cup
|
||
Area-of-interest image cropping via ensembled convolutionalization
|
