27.08.1976

Teenistuskäik

Töökohad ja ametid
01.01.2010–...   
Kairo Ülikool, lektor
10.11.2008–31.01.2010   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
01.01.2007–31.12.2008   
Kairo Ülikool, lektor
01.01.2003–31.12.2007   
Birminghami Ülikool, doktorant, õppeassistent
01.01.1999–31.12.2003   
Kairo Ülikool, õppeassistent
 
 
Haridustee
2003–2006   
Birminghami Ülikool, doktoriõpingud arvutiteaduses
1999–2002   
Kairo Ülikool, magistriõpingud matemaatikas
1995–1999   
Kairo Ülikool, bakalaureuseõpingud matemaatikas

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
1999, Mohamed El-Zawawy, Prof. Mohamed Morsy auhind Kairo Ülikoolist (kõrgeimad hinded matemaatika ja arvutiteaduse lõpetajate seas)
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: Stone'i duaalsus ja programmiloogika, domeeniteooria, programmikeelte semantika, andmebaasid, eraldamisloogika, tüübid
5.04.2018
27.08.1976

Career

Institutions and positions
01.01.2010–...   
Cairo University, lecturer
10.11.2008–31.01.2010   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
01.01.2007–31.12.2008   
Cairo University, lecturer
01.01.2003–31.12.2007   
University of Birmingham, PhD scholarship holder, teaching assistant
01.01.1999–31.12.2003   
Cairo University, teaching assistant
 
 
Education
2003–2006   
University of Birmingham, doctoral studies in computer science
1999–2002   
Cairo University, master studies in mathematics
1995–1999   
Cairo University, bachelor studies in mathematics

Qualifications

 
 
Honours & awards
1999, Mohamed El-Zawawy, Prof. Mohammed Morsy award from Cairo University (highest score among math. and computer science graduates)
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: Stone duality and program logic, domain theory, programming language semantics, databases, separation logic, types
5.04.2018
  • Leitud 3 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
MUUMOBIUS (15905)Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut217 238,95 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR