Filip Bártek
I am a PhD student of computer science under the supervision of Martin Suda and Josef Urban.
Research interests
- Automated theorem proving
- Machine learning
Affiliation
Contact information
Email: filip.bartek@cvut.cz
Address
Room A-615
Czech Institute of Informatics, Robotics and Cybernetics
Jugoslávských partyzánů 1580/3
160 00 Praha 6 - Dejvice
Czech Republic
Profiles
Last updated: 2022-02-09