See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Pavel Grigorenko

https://etis.ee/CV/Pavel_Grigorenko/est
6.08.1982
http://cs.ioc.ee/~pavelg/

Teenistuskäik

Töökohad ja ametid
01.01.2012–...   
ZeroTurnaround OÜ, Teadur
18.09.2012–30.11.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (0,25)
01.01.2009–31.12.2009   
Microsoft Research, stažöör
02.11.2008–17.09.2012   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (1,00)
01.10.2007–31.10.2008   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline teadur (1,00)
02.04.2007–30.09.2007   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline teadur (0,50)
2006–01.04.2007   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline teadur (0,25)
2005–2006   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, insener (0,25)
01.01.2004–31.12.2007   
FutureTrade Estonia, programmeerija
01.01.2001–31.12.2004   
FutureTrade Estonia, QA insener
 
 
Haridustee
2006–2010   
Tallinna Tehnikaülikool, doktoriõpingud info- ja kommunikatsioonitehnoloogias
2004–2006   
Tallinna Tehnikaülikool, magistriõpingud informaatikas
2000–2004   
Tallinna Tehnikaülikool, bakalaureuseõpingud informaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2014−2014   
programmitoimkonna liige, JCKBSE 2014

Kvalifikatsioon

Teaduskraadid
Pavel Grigorenko, doktorikraad, 2010, (juh) Enn Tõugu, Higher-order attribute semantics of flat languages (Lamedate keelte kõrgemat järku atribuutsemantika), Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
Pavel Grigorenko, magistrikraad (teaduskraad), 2006, (juh) Enn Tõugu, Attribute semantics of visual languages (Visuaalsete keelte atribuutsemantika), Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
 
 
Teaduspreemiad ja tunnustused
2006, Pavel Grigorenko, Eesti Teaduste Akadeemia üliõpilastööde võistlusel I auhind
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: visuaalsed keeled, programmide süntees, atribuutgrammatikad

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2015
Haav, Hele-Mai; Ojamaa, Andres; Grigorenko, Pavel; Kotkas, Vahur (2015). Ontology-based integration of software artefacts for DSL development. On the Move to Meaningful Internet Systems: OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015, Proceedings. Ed. Ciuciu, I. et al. Cham: Springer, 309−318. (Lecture Notes in Computer Science; 9416).10.1007/978-3-319-26138-6_34.
3.1.
2014
Tyugu, Enn; Harf, Mait; Grigorenko, Pavel (2014). A case study of combining compositional and object-oriented software development. MODELSWARD 2014 : Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress, 201−208.10.5220/0004698502010208.
3.1.
2013
Tyugu, Enn; Grigorenko, Pavel (2013). Components in model-based software development. Ninth International Conference on Computer Science and Information Technologies [CSIT 2013], Revised Selected Papers, 23-27 September, 2013, Yerevan, Armenia. Ed. Shoukourian, Samvel. Piscataway, NJ: IEEE, [1−7].10.1109/CSITechnol.2013.6710367.
3.1.
2013
Maigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, Ahto (2013). A semantic method of automatic composition of e-government services. Databases and Information Systems VII : Selected Papers from the Tenth International Baltic Conference, DB&IS 2012. Ed. Caplinskas, A.; Dzemyda, G.; Lupeikiene, A.; Vasilecas, O. Amsterdam: IOS Press, 204−217. (Frontiers in Artificial Intelligence and Applications; 249). DOI: 10.3233/978-1-61499-161-8-204.
3.1.
2011
Alberghs, Geert; Grigorenko, Pavel; Kivimaa, Jyri (2011). Quantitative system reliability approach for optimizing IT security costs in an AI environment. 12th Symposium on Programming Languages and Software Tools, SPLST'11 : Tallinn, Estonia, 5-7 October 2011, Proceedings. _EditorsAbbr Penjam, Jaan. Tallinn: TUT Press, 219−230.
3.1.
2011
Kotkas, Vahur; Ojamaa, Andres; Grigorenko, Pavel; Maigre, Riina; Harf, Mait; Tyugu, Enn (2011). CoCoViLa as a multifunctional simulation platform. Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques : 21-25 March 2011, Barcelona, Spain, SIMUTools 2011. Brussels: ICST, 195−205. DOI: 10.4108/icst.simutools.2011.245553.
1.1.
2010
Grigorenko, Pavel; Tyugu, Enn. (2010). Higher-order attribute semantics of flat declarative languages. Computing and Informatics, 29 (2), 251−280.
2.3.
2010
Grigorenko, Pavel (2010). Higher-order attribute semantics of flat languages. (Doktoritöö, Tallinn University of Technology, Institute of Cybernetics). Tallinn: TUT Press.
3.4.
2010
Klein, Gabriel; Ojamaa, Andres; Grigorenko, Pavel; Jahnke, Marko; Tyugu, Enn (2010). Enhancing response selection in impact estimation approaches. Concepts and Implementations for Innovative Military Communications and Information Technologies. Ed. Amanowicz, Marek. Warsaw: Military University of Technology, 277−286.
3.1.
2009
Veanes, Margus; Grigorenko, Pavel; de Halleux, Peli; Tillmann, Nikolai (2009). Symbolic Query Exploration. Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings. Ed. Breitman, Karin; Cavalcanti, Ana. Berlin: Springer, 49−68. (Lecture Notes in Computer Science; 5885). DOI: 10.1007/978-3-642-10373-5_3.
3.1.
2008
Maigre, Riina; Grigorenko, Pavel; Küngas, Peep; Tyugu, Enn (2008). Stratified composition of web services. Knowledge-based software engineering : Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering. Ed. Virvou, Maria; Nakamura, Taichi. Amsterdam: IOS Press, 49−58. (Frontiers in Artificial Intelligence and Applications; 180). DOI: 10.3233/978-1-58603-900-4-49.
3.1.
2006
Grigorenko, P.; Tyugu, E. (2006). Deep semantics of visual languages. Knowledge-based software engineering: Proceedings of the Seventh Joint Conference. _EditorsAbbr Tyugu, E.; Yamaguchi, T. Amsterdam: IOS Press, 83−95. (Frontiers in Artificial Intelligence and Applications; 140).
1.1.
2005
Grigorenko, P.; Saabas, A.; Tyugu, E. (2005). COCOVILA - compiler-compiler for visual languages. Electronic Notes in Theoretical Computer Science, 141 (4), 137−142. DOI: 10.1016/j.entcs.2005.05.009.
3.1.
2005
Grigorenko, P.; Saabas, A.; Tyugu, E. (2005). Visual tool for generative programming. Proceedings of the 10th European Software Engineering Conference: held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering ESEC/FSE-13. New York: ACM Press, 249−252.
5.2.
2005
Grigorenko, Pavel; Saabas, Ando; Tyugu, Enn (2005). Visual tool for generative programming. Software Engineering Notes, 30. , 31. (5). DOI: 10.1145/1081706.1081747.

Tööstusomand

23.04.2019

Pavel Grigorenko

https://etis.ee/CV/Pavel_Grigorenko/eng
6.08.1982
http://cs.ioc.ee/~pavelg/

Career

Institutions and positions
01.01.2012–...   
ZeroTurnaround OÜ, Research Engineer
18.09.2012–30.11.2015   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (0,25)
01.01.2009–31.12.2009   
Microsoft Research, Research intern
02.11.2008–17.09.2012   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (1,00)
01.10.2007–31.10.2008   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Researcher (1,00)
02.04.2007–30.09.2007   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Researcher (0,50)
2006–01.04.2007   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Researcher (0,25)
2005–2006   
Tallinn University of Technology , Institute of Cybernetics at TUT, Engineer (0,25)
01.01.2004–31.12.2007   
FutureTrade Estonia, Software Developer
01.01.2001–31.12.2004   
FutureTrade Estonia, QA Engineer ( software test automation )
 
 
Education
2006–2010   
Tallinn University of Technology, PhD studies in information and communication technology
2004–2006   
Tallinn University of Technology, MSc studies in computer science
2000–2004   
Tallinn University of Technology, BSc studies in computer science
 
 
R&D related managerial and administrative work
2014−2014   
member of programme committee, JCKBSE 2014

Qualifications

Academic degrees
Pavel Grigorenko, Doctor's Degree, 2010, (sup) Enn Tõugu, Higher-order attribute semantics of flat languages, Tallinn University of Technology Institute of Cybernetics at TUT.
Pavel Grigorenko, Research Master's Degree, 2006, (sup) Enn Tõugu, Attribute semantics of visual languages, Tallinn University of Technology Institute of Cybernetics at TUT.
 
 
Honours & awards
2006, Pavel Grigorenko, Estonian Academy of Sciences student theses competition I prize
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: visual languages, program synthesis, attribute grammars
 
 

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
3.1.
2015
Haav, Hele-Mai; Ojamaa, Andres; Grigorenko, Pavel; Kotkas, Vahur (2015). Ontology-based integration of software artefacts for DSL development. On the Move to Meaningful Internet Systems: OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015, Proceedings. Ed. Ciuciu, I. et al. Cham: Springer, 309−318. (Lecture Notes in Computer Science; 9416).10.1007/978-3-319-26138-6_34.
3.1.
2014
Tyugu, Enn; Harf, Mait; Grigorenko, Pavel (2014). A case study of combining compositional and object-oriented software development. MODELSWARD 2014 : Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. SciTePress, 201−208.10.5220/0004698502010208.
3.1.
2013
Tyugu, Enn; Grigorenko, Pavel (2013). Components in model-based software development. Ninth International Conference on Computer Science and Information Technologies [CSIT 2013], Revised Selected Papers, 23-27 September, 2013, Yerevan, Armenia. Ed. Shoukourian, Samvel. Piscataway, NJ: IEEE, [1−7].10.1109/CSITechnol.2013.6710367.
3.1.
2013
Maigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, Ahto (2013). A semantic method of automatic composition of e-government services. Databases and Information Systems VII : Selected Papers from the Tenth International Baltic Conference, DB&IS 2012. Ed. Caplinskas, A.; Dzemyda, G.; Lupeikiene, A.; Vasilecas, O. Amsterdam: IOS Press, 204−217. (Frontiers in Artificial Intelligence and Applications; 249). DOI: 10.3233/978-1-61499-161-8-204.
3.1.
2011
Alberghs, Geert; Grigorenko, Pavel; Kivimaa, Jyri (2011). Quantitative system reliability approach for optimizing IT security costs in an AI environment. 12th Symposium on Programming Languages and Software Tools, SPLST'11 : Tallinn, Estonia, 5-7 October 2011, Proceedings. _EditorsAbbr Penjam, Jaan. Tallinn: TUT Press, 219−230.
3.1.
2011
Kotkas, Vahur; Ojamaa, Andres; Grigorenko, Pavel; Maigre, Riina; Harf, Mait; Tyugu, Enn (2011). CoCoViLa as a multifunctional simulation platform. Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques : 21-25 March 2011, Barcelona, Spain, SIMUTools 2011. Brussels: ICST, 195−205. DOI: 10.4108/icst.simutools.2011.245553.
1.1.
2010
Grigorenko, Pavel; Tyugu, Enn. (2010). Higher-order attribute semantics of flat declarative languages. Computing and Informatics, 29 (2), 251−280.
2.3.
2010
Grigorenko, Pavel (2010). Higher-order attribute semantics of flat languages. (Doktoritöö, Tallinn University of Technology, Institute of Cybernetics). Tallinn: TUT Press.
3.4.
2010
Klein, Gabriel; Ojamaa, Andres; Grigorenko, Pavel; Jahnke, Marko; Tyugu, Enn (2010). Enhancing response selection in impact estimation approaches. Concepts and Implementations for Innovative Military Communications and Information Technologies. Ed. Amanowicz, Marek. Warsaw: Military University of Technology, 277−286.
3.1.
2009
Veanes, Margus; Grigorenko, Pavel; de Halleux, Peli; Tillmann, Nikolai (2009). Symbolic Query Exploration. Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings. Ed. Breitman, Karin; Cavalcanti, Ana. Berlin: Springer, 49−68. (Lecture Notes in Computer Science; 5885). DOI: 10.1007/978-3-642-10373-5_3.
3.1.
2008
Maigre, Riina; Grigorenko, Pavel; Küngas, Peep; Tyugu, Enn (2008). Stratified composition of web services. Knowledge-based software engineering : Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering. Ed. Virvou, Maria; Nakamura, Taichi. Amsterdam: IOS Press, 49−58. (Frontiers in Artificial Intelligence and Applications; 180). DOI: 10.3233/978-1-58603-900-4-49.
3.1.
2006
Grigorenko, P.; Tyugu, E. (2006). Deep semantics of visual languages. Knowledge-based software engineering: Proceedings of the Seventh Joint Conference. _EditorsAbbr Tyugu, E.; Yamaguchi, T. Amsterdam: IOS Press, 83−95. (Frontiers in Artificial Intelligence and Applications; 140).
1.1.
2005
Grigorenko, P.; Saabas, A.; Tyugu, E. (2005). COCOVILA - compiler-compiler for visual languages. Electronic Notes in Theoretical Computer Science, 141 (4), 137−142. DOI: 10.1016/j.entcs.2005.05.009.
3.1.
2005
Grigorenko, P.; Saabas, A.; Tyugu, E. (2005). Visual tool for generative programming. Proceedings of the 10th European Software Engineering Conference: held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering ESEC/FSE-13. New York: ACM Press, 249−252.
5.2.
2005
Grigorenko, Pavel; Saabas, Ando; Tyugu, Enn (2005). Visual tool for generative programming. Software Engineering Notes, 30. , 31. (5). DOI: 10.1145/1081706.1081747.

Industrial property

23.04.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
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
Lihtotsing Tühjenda
  • Leitud 7 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUULO13 (4.2-3111-0142-001)Andmevahetuskihi X-tee versiooni 5.0 teenuste loomise automatiseerimine21.03.201120.12.2011Pavel GrigorenkoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut14 000,00 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
ETFETF6886Hajusrakenduste kompositsiooni loogikapõhised meetodid01.01.200631.12.2009Enn TõuguTallinna Tehnikaülikool, TTÜ Küberneetika Instituut32 496,79 EUR
MUUIKT26 (3.2.1201.13-0026)Mudelpõhised Java tarkvara arendusmeetodid01.03.201330.11.2015Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut538 822,00 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 080 000,00 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR