Varró Dániel
Egyetemi tanár, okleveles mérnök-informatikus, MTA doktora
- Cím
- 1117 Budapest Magyar tudósok krt. 2. IB.417-es szoba
- varro [at] mit.bme.hu
- Telefon
- +36-1-463-3586
- Fax
- +36-1-463-2667
- Honlap
- https://inf.mit.bme.hu/members/varro
Rövid szöveges bemutató
Varró Dániel a Budapesti Műszaki és Gazdaságtudományi Egyetem egyetemi tanára. Fő kutatási területe a modellvezérelt szoftver- és rendszertervezés. Rendszeresen programbizottsági tag a szakterület számos nemzetközi konferenciáján (többek közt MODELS, ASE, FASE, ICMT), a Software and Systems Modeling folyóirat (Springer) szerkesztőbizottsági tagja, a FASE 2013, ICMT 2014 és SLE 2016 konferenciák programbizottságának társelnöke. A VIATRA2 modelltranszformációs keretrendszer és EMF-IncQuery nyílt forráskódú szoftverprojekt társalapítója. Egyetemének vezető kutatójaként vett részt a SENSORIA, DIANA, SecureChange és MONDO európai projektekben. Háromszoros IBM Faculty Award díjazott. Vendégkutató volt az SRI International kutatóintézetben, a Paderborni Egyetemen, valamint két alkalommal a Berlini Műszaki Egyetemen, 2014-ben vendégprofesszor volt a McGill és Université de Montréal egyetemein. Eddigi 110 tudományos publikációjára több mint 2650 független idézetet kapott. Meghívott plenáris előadója volt a IEEE CSMR 2014 és SOFSEM 2016 konferenciáknak, számos nemzetközi workshopnak (VOLT 2013, GT-VMT 2014, CloudMDE2014) és nyári iskolának (SENSUS 2009, DSM-TP 2014 és 2015).
Kutatási tevékenységek
- automatikus modelltranszformációk (VIATRA modelltranszformációs rendszer),
- elosztott és inkrementális modell-lekérdezések (EMF-IncQuery rendszer és MONDO projekt)
- gráftranszformáció
- UML, SysML, BPMN
- metamodellezés, domain-specifikus modellezési nyelvek, EMF
- Eclipse alapú tervezőeszközök fejlesztése
- kollaboratív modellező környezetek (MONDO projekt)
- szakterület-specifikus nyelvek formális validációja
- nyomonkövethetőség heterogén tervezőeszközök felett
- tervezőeszközök és modelltranszformációk tanúsítványozása
- Az MTA Lendület 2015 kutatási programjának nyertese
- 2014: 10-year Most Influential Paper Award (IEEE/ACM MODELS 2014)
- 2014: Best Paper Award (IEEE CSMR-WCRE 2014 Software Evolution Week)
- 2013: Springer Best Paper Award: (MODELS 2013: The 16th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)
- 2011: ACM Distinguished Paper Award (ASE 2011: 26th International IEEE Conference on Automated Software Engineering)
- 2010-2013: Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
- 2009: Mestertanári Aranyérem (Országos Tudományos Diákköri Tanács)
- 2009: Springer Best Paper Award and ACM Distinguished Paper Award (MODELS 2009: The 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)
- 2005-2008: Bolyai János Kutatási Ösztöndíj (Magyar Tudományos Akadémia)
- 2003: Kemény János Díj (Neumann János Számítógép-tudományi Társaság)
Tíz kiemelt publikáció
- D. Varró, G. Varró, A. Pataricza. Designing the Automatic Transformation of Visual Languages. Science of Computer Programming 44 (2002) 205-227, Citations: 127
- D. Varró and A. Balogh, “The model transformation language of the VIATRA2 framework,”Science of Computer Programming, vol. 68, pp. 214–234, October 2007. IF: 0.832, Citations: 85.
- D. Varró and A. Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. ”Software and Systems Modeling, vol. 2, pp. 187–210, October 2003. Citations: 77
- D. Varró. Automated formal verification of visual modeling languages by model checking. ”Software and Systems Modeling, vol. 3, pp. 85–113, 2004. Citations: 89
- L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Modeling and analysis of architectural styles,” in Proc ESEC 2003: 9th European Software Engineering Conference(P. Inverardi and J. Paakki, eds.), (Helsinki, Finland), pp. 68–77, ACM Press, September 2003. Acceptance rate = 20%, Citations: 131.
-
D. Varró, “Model transformation by example,” in Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199 of LNCS, (Genova, Italy), pp. 410–424, Springer, 2006. Acceptance rate = 29%, Citations: 75.
-
D.Varró and A.Pataricza, “Generic and meta-transformations for model transformation engineering,” in Proc. UML 2004: 7th International Conference on the Unified Modeling Language(T. Baar, A. Strohmeier, A. Moreira, and S. Mellor, eds.), vol. 3273 of LNCS, (Lisbon, Portugal), pp. 290–304, Springer, October 10–15 2004. Most Influential Paper Award @ MODELS 2014. Acceptance rate = 22%, Citations: 98.
-
I. Ráth, G. Varró, and D. Varró, “Change-driven model transformations,” inModel Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings(A. Schürr and B. Selic, eds.), vol. 5795 of LNCS, pp. 342–356, Springer, 2009. Acceptance rate: 18%, Springer Best Paper Award and ACM Distinguished Paper Award.
-
Á. Hegedüs, Á. Horváth, I. Ráth, and D. Varró, “A model-driven framework for guided design space exploration,” in 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), (P. Alexander, C. S. Pasareanu, and J. G. Hosking, eds.), (Lawrence, KS, USA), pp. 173–182, IEEE, 2011. Acceptance rate: 16%,ACM Distinguished Paper Award.
-
Zoltán Balogh and Dániel Varró. Model transformation by example using inductive logic programming. Software and Systems Modeling, 8(3) :347–364, 2009,