Nabízím témata prací v následujících oblastech. Pro více informací, prosím kontaktuje mne!

• Verifikace složitých systémů
• Syntéza softwaru
• Řešení omezujících podmínek

• Multi-agent Path Finding in Continuous Spaces
• Automatické uvažování pro numerickou analýzu