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
Další téma je následující:
Lehký just-in-time kompilátor pro aritmetické výrazy