doc. dr. sc. Ante Đerek

Ante Đerek je doktorirao računarske znanosti na Sveučilištu Stanford u Sjedinjenim Američkim Državama 2007. godine. Doktorsku disertaciju pod naslovom "Formalna analiza sigurnosnih protoka: Logika kompozicije protokola" izradio i obranio uz vodstvo prof. dr. sc. John C. Mitchell-a. Od 2001. do 2006. godine zaposlen na Odjelu za Računarsku Znanost Sveučilišta Stanford kao znanstveni novak. Sudjeluje kao istraživač na međunarodnim znanstvenim projektima PORTIA, SPYCE, i TRUST. Od 2006. do 2012. godine radi u tvrtci Google Inc. kao viši inženjer i znanstvenik. Od 2013. godine zaposlen kao docent na Fakultetu elektrotehnike i računarstva. U 2014. godini dobitnik dvogodišnje NEWFELPRO stipendije za projekt iz područja računalne sigurnosti i privatnosti te dobitnik državne nagrade za tehničku kulturu ‘Faust Vrančić’. Područje njegovog znanstvenog rada je primjena formalnih metoda u računalnoj sigurnosti, privatnosti i kriptografiji. Njegovi radovi su citirani više od 50 puta u časopisima zastupljenima u SCI-expanded bazi.

Ante Đerek član je Laboratorija od 2014. godine.

Područje rada: formalne metode, sigurnosni protokoli, osnove sigurnosti i kriptografije

Aktivnosti u području istraživanja i razvoja: analiza sigurnosnih protokola, formalno modeliranje sigurnosnih sistema, privatnost