6.03.1969
+31 24 3521475
http://www.mpi.nl/people/shkaravska-olha/

Teenistuskäik

Töökohad ja ametid
01.01.2012–...   
Max Planck Institute for Psycholinguistics, Nijmegen, teaduslik kaastöötaja
01.01.2006–31.12.2012   
Radboud Universiteit Nijmegen, Nijmeegs Instituut voor Informatica en Informatiekunde, teaduslik kaastöötaja
2005–2006   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
01.01.2002–31.12.2005   
Ludwig-Maximilians-Universität München, Inst. für Informatik, teaduslik kaastöötaja (FP5 IST cost-sharing project MRG, Mobile Resource Guarantees)
01.01.2000–31.12.2002   
Belgia firma Materialise Kiievi filiaal, tarkvaraarendaja
01.01.1995–31.12.2001   
Kiievi Tarass Ševtšenko nim. Riiklik Ülikool, küberneetika teaduskond, assistent
01.01.1991–31.12.1992   
Ukraina Rahvusliku Teaduste Akadeemia Küberneetika Instituut, stažöör ja insener
 
 
Haridustee
1992–1999   
Kiievi Tarass Ševtšenko nim. Riiklik Ülikool, aspirantuur algoritmiteoorias, loogikas ja algebras
1986–1991   
Kiievi Tarass Ševtšenko nim Riiklik Ülikool, diplomiõpingud rakendusmatemaatikas

Kvalifikatsioon

 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: sertifitseeritud tarkvara, programmiloogikad, ressursitundlikud tüübisüsteemid, koalgebralised meetodid programmikeelte semantikas
 
 
Lisainfo
2005-2006 ETFi grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, põhitäitja // 2005-2006 FP6 IST integreeritud projekt Mobius, põhitäitja

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2014
1.1.
2014
3.1.
2013
3.1.
2012
3.1.
2012
4.1.
2012
3.1.
2011
3.1.
2010
4.1.
2010
1.1.
2009
3.1.
2009
1.1.
2008
3.1.
2008
3.1.
2007
3.1.
2007
1.1.
2006
1.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
1.1.
2004
3.4.
2004
3.4.
2001
5.04.2018
6.03.1969
+31 24 3521475
http://www.mpi.nl/people/shkaravska-olha/

Career

Institution(s) and position(s)
01.01.2012–...   
Max Planck Institute for Psycholinguistics, Nijmegen, research associate
01.01.2006–31.12.2012   
Radboud Universiteit Nijmegen, Nijmeegs Instituut voor Informatica en Informatiekunde, research associate
2005–2006   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
01.01.2002–31.12.2005   
Ludwig-Maximilians-Universität München, Inst. für Informatik, research associate (FP5 IST cost-sharing project MRG)
01.01.2000–31.12.2002   
Kiev branch of Belgian company Materialise, software developer
01.01.1995–31.12.2001   
Taras Shevchenko State University of Kiev, Faculty of Cybernetics, assistant
01.01.1991–31.12.1992   
Institute of Cybernetics of National Academy of Science of Ukraine, intern and engineer
 
 
Education
1992–1999   
Taras Shevchenko State University of Kiev, PhD studies in theory of algorithms, logic, algebra
1986–1991   
Taras Shevchenko State University of Kiev, diploma studies in applied mathematics

Qualifications

 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: certified code, program logics, resource-aware type systems, coalgebraic methods in programming language semantics
 
 
Additional information
2005-2006 ETF grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, investigator // 2005-2006 FP6 IST integrated project Mobius, investigator

Publications

Category
Year
Publication
 
1.1.
2014
1.1.
2014
3.1.
2013
3.1.
2012
3.1.
2012
4.1.
2012
3.1.
2011
3.1.
2010
4.1.
2010
1.1.
2009
3.1.
2009
1.1.
2008
3.1.
2008
3.1.
2007
3.1.
2007
1.1.
2006
1.1.
2005
3.1.
2005
3.4.
2005
3.4.
2005
1.1.
2004
3.4.
2004
3.4.
2001
5.04.2018
  • Leitud 4 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 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
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
MUUTYPES (510996)Tüübid ja tõestused programmidele - TYPES01.09.200430.04.2008Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 569,52 EUR