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

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

• Lehký just-in-time kompilátor pro aritmetické výrazy
• Automatické uvažování pro numerickou analýzu