Olha Shkaravska
https://etis.ee/CV/Olha_Shkaravska/est
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
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: 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
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
25.11.2020
Olha Shkaravska
https://etis.ee/CV/Olha_Shkaravska/eng
6.03.1969
+31 24 3521475
http://www.mpi.nl/people/shkaravska-olha/
Career
Institutions and positions
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
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: 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
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
25.11.2020
Otsi projekti
Asutus on projekti finantseerija
Asutus on projekti teostaja
Kõik
Tavaprojektid
Ülemprojektid
Alamprojektid
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
- Leitud 4 kirjet
Programm | Liik | Number | Nimi | Projekti algus | Projekti lõpp | Vastutav täitja | Asutus | Finantseerijapoolne rahastamine | |
---|---|---|---|---|---|---|---|---|---|
ETF | ETF5567 | Mitteklassikalised loogikad ja programmeerimisteooria | 01.01.2003 | 31.12.2006 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 48 420,17 EUR | ||
MUU | MOBIUS (15905) | Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS | 01.09.2005 | 31.08.2009 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 217 238,95 EUR | ||
SF | SF0321769s01 | Ontoloogiale orienteeritud programmeerimine | 01.01.2001 | 31.12.2005 | Jaan Penjam | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 492 119,70 EUR | ||
MUU | TYPES (510996) | Tüübid ja tõestused programmidele - TYPES | 01.09.2004 | 30.04.2008 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 20 569,52 EUR |