See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: Stone'i duaalsus ja programmiloogika, domeeniteooria, programmikeelte semantika, andmebaasid, eraldamisloogika, tüübid
5.04.2018
27.08.1976

Career

Institution and occupation
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)
 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: 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