Hendrik Maarand

Uurimisrühmad

  1. Tugevalt tagatud tarkvara laboratoorium

Publikatsioonid

Finiteness of symbolic derivatives in Lean
Väljaanne: 16th International Conference on Interactive Theorem Proving, ITP 2025, September 28 – October 1, 2025, Reykjavik, Iceland
Autorid: Zhuchko, Ekaterina; Maarand, Hendrik; Veanes, Margus; Ebner, Gabriel
Aasta: 2025
Yet another canonical nondeterministic automaton
Väljaanne: Theoretical Computer Science
Autorid: Maarand, Hendrik; Tamm, Hellis
Aasta: 2024

Projektid

IT Tippkeskus EXCITE
Aasta: 2016 - 2023
"Eesti IT Tippkeskus EXCITE ühendab kõiki Eesti edukaid IT teadusgruppe ühtseks, sünergiat loovaks teaduskeskuseks, vähendades niimoodi Eesti teadusmaastiku killustatust ning luues sünergiat erinevate teadusteemade vahel. Konsortsium arendab edasi matemaatiliste mudelite verifitseerimise ning andmeanalüüsi teooriaid, millele toetudes töötatakse omakorda välja meetodid veakindlate ning turvaliste IT süsteemide ehitamiseks. Neid meetodeid rakendatakse küberfüüsiliste süsteemide, robotite, e-tervise teenuste ning biomeditsiiniteenuste näitel. EXCITE koosneb kümnest, täpse ülesandepüstitusega ning kindla metoodikaga alamteemast, mille fookust projekti eluea jooksul vastavalt vahetulemustele kohendatakse. EXCITE suurendab Eesti teaduse jätkusuutlikust, luues 20-30 doktorandile ning järeldoktorile toetava keskkonna ning pideva rahastuse.