-
Notifications
You must be signed in to change notification settings - Fork 0
/
tenure-cv.tex
719 lines (613 loc) · 42.6 KB
/
tenure-cv.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
\chapter{Curriculum Vitae}
\label{sec:curriculum-vitae}
\lfoot{Curriculum Vitae}
%\rfoot{Curriculum Vitae}
\section{Personal Details}
\begin{tabular}{@{}lp{12cm}@{}}
\toprule
%\textbf{ECSE 429 Questions} & \textbf{F18} \\
%\toprule
%\includegraphics[width=.2\textwidth]{figures/VarroD-2015-small.jpg} & \\ \midrule
Full name: & Dániel Varró \\ %\midrule
Contact address: & %McConnell Engineering Building \newline
Department of Electrical and Computer Engineering \newline
McGill University \newline
3480 Rue University, Montreal, QC, Canada, H3A 0E9\\ %\midrule
Phone: & +1-514-3983681 \\ %\midrule
Email: & \href{mailto:[email protected]}{[email protected]} \\ %\midrule
\bottomrule
\end{tabular}
\section{Education and Degrees}
\begin{yearlist}
\item[2013] Doctor of Science (DSc); Hungarian Academy of Sciences
\item[2011] Habilitation; Budapest University of Technology and Economics (in short: BME)
\item[2004] PhD in Software Engineering (official name: Technical Informatics); BME
\item[2000] MSc in Software Engineering (official name: Technical Informatics); BME
\end{yearlist}
%\newline This degree is a formal prerequisite of full professorship in Hungary. \\
\section{Academic and Professional Experience}
\subsection{Academic positions}
\begin{yearlist}
\item[2016-] Professor, Electrical and Computer Engineering (ECE) Department, McGill University
\item[2015- 2020] Research Chair of MTA-BME Lendület Cyber-Physical Systems Research Group; \\ Hungarian Academy of Sciences
\item[2014-] Professor, Dept. of Measurement and Inf. Systems, BME (on unpaid leave since 08/2016)
\item[2014] Visiting Professor, Dept. of Computer Science, McGill University, Canada
\item[2014] Visiting Professor, D\'epartemente d'informatique et de recherche op\'ertionnelle (DIRO), Universit\'e de Montr\'eal, Canada
\item[2009-2014] Associate Professor (tenured), Dept. of Measurement and Inf. Systems, BME
\item[2005-2009] Assistant Professor, Dept. of Measurement and Information Systems, BME
\item[2003-2005] Lecturer, Dept. of Measurement and Information Systems, BME
\end{yearlist}
\subsection{Research visits}
\begin{yearlist}
\item[2014] Universit\'e de Montr\'eal (Prof. Houari Sahraoui) and McGill University (Prof. Hans Vangheluwe), 6 months
\item[2005] TU Berlin, Germany (1 month, with Prof. Hartmut Ehrig, SEGRAVIS Grant)
\item[2004] TU Berlin, Germany (1 month, with Prof. Hartmut Ehrig, SEGRAVIS Grant)
\item[2003] Univ. Paderborn, Germany (3 months, with Prof. Gregor Engels, SEGRAVIS)
\item[2001] SRI International, US (4 months, with Dr. John Rushby)
\end{yearlist}
\subsection{Industrial positions and entrepreneurship}
\begin{yearlist}
\item[2013-] Co-founder of IncQuery Labs Ltd. (Co-founder and Strategic advisor)
\item[2006-2014] Co-founder and Vice-President of Research and Development at OptXware Ltd.
\end{yearlist}
\subsection{Membership in professional societies and committees}
\begin{yearlist}
\item[2018-] \textbf{Member}: The McGill Sustainability Systems Initiative (MSSI)
\item[2016-] \textbf{Member}: McGill Institute for Aerospace Engineering (MIAE)
\item[2011-] 3x \textbf{Elected member}: Informatics Committee of Hungarian Academy of Sciences (a total of 15 senior members are elected in the field of in computer science and software engineering)
\item[2009-2015] \textbf{Vice president}: John von Neumann Computer Society
\item[2006-] \textbf{Member}: IEEE Computer Society
\end{yearlist}
\section{Awards and Honors}
Six major awards since affiliated to McGill University.
\begin{yearlist}
\item[2018] \textbf{Distinguished Reviewer Award} (at ICSE 2018: 40th (IEEE/ACM) International Conference on Software Engineering: 11 out of 101 program committee members)
\item[2018] \textbf{Best Tool Paper Award} (at MODELS 2018: ACM/IEEE 21st Int. Conference on Model Driven Engineering Languages and Systems: 1 out of 10 tool papers)
\item[2018] \textbf{EASST Best Paper Award} (at ETAPS 2018: European Joint Conferences on Theory and Practice of Software: selected 1 out of over 140 papers)
\item[2017] \textbf{Csanád Imreh Award} (by OTDT Hungary): \newline I was the first ever awardee of the prize (awarded in the field of software engineering and computer science for Hungarian researchers below the age of 41) commemorating the Hungarian computer scientist who tragically died in 2017 at the age of 41.
\item[2016] ACM \textbf{Distinguished Paper Award} (at MODELS 2016: 19th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)
\item[2016] IEEE \textbf{10-Year Most Influential Paper Award} \newline (at VL/HCC 2016: IEEE Symposium on Visual Languages \& Human-Centric Computing for a paper presented at VL/HCC 2005 conference)
\newline
\rule{\linewidth}{0.2mm}
%\hrule
\item[2014] Springer \textbf{10-Year Most Influential Paper Award} \newline (at MODELS 2014: 17th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems for a paper presented at UML2004 conference)
\item[2014] \textbf{Best Paper Award} (at IEEE CSMR-WCRE 2014 Software Evolution Week)
\item[2014] \textbf{STEM Award} by Tempus Foundation for innovative education methods (introducing Apache VCL cloud-based labs)
\item[2013] Springer \textbf{Best Paper Award} (MODELS 2013: 16th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems: 1 out of 47 accepted papers)
\item[2011] ACM \textbf{Distinguished Paper Award} (ASE 2011: 26th IEEE/ACM International Conference on Automated Software Engineering)
\item[2010-2013] \textbf{J\'anos Bolyai Scholarship} (Design and Analysis Techniques for the Certification of Model Transformations): A national award of the Hungarian Academy of Sciences for young scholars. It can be awarded
at most twice in lifetime.
\item[2009] \textbf{Distinguished Tutor}: Bi-annual award for the supervision of MSc students carrying out early research with 3 awardees in Computer Science biannually. It requires 10 years of successful tutoring (I became the youngest ever awardee).
\item[2009] Springer \textbf{Best Paper Award} and ACM \textbf{Distinguished Paper Award} (MODELS
2009: The 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems: 1 out of 58 papers)
\item[2005-2008] \textbf{J\'anos Bolyai Scholarship} (Design and Analysis Techniques for Automated Model Transformations)
\item[2003] \textbf{J\'anos Kem\'eny Prize } (An annual award in Hungary for young scholars below the age of 35 issued by the John von Neumann Computer Society)
\end{yearlist}
\section{Invited Talks}
A career total of 37 invited talks, 8 invited talks since joining McGill University.
\begin{yearlist}
\item[2018] Design space exploration for graph model generation (Search Based Model Engineering Workshop at King's College London)
\item[2017] \textbf{Keynote talk}: Automated Graph Model Generation for Smart and Safe Cyber-Physical Systems (Consortium for Software Engineering Research CSER 2017)
\item[2017] Incremental Queries and Reactive Transformations (DSM-TP 2017 Int. Summer School)
\item[2017] Formal Verification and Validation in Domain-Specific Languages (DSM-TP 2017 Summer School)
\item[2016] Graph-based Design and Analysis Tools for Smart and Safe Cyber-Physical Systems (NASA Jet Propulsion Lab)
\item[2016] Model-based Tools for Engineering Cyber-Physical Systems (McGill University Professor Talks)
\item[2016] Scalable Graph-based techniques for smart cyber-physical systems (Papyrus Industrial Consortium)
\item[2016] Incremental Model Queries and Transformations (DSM-TP 2016 International Summer School)
\newline
\rule{\linewidth}{0.2mm}
\item[2016] Models and Queries for Smart and Safe Cyber-Physical Systems (CSCS 2016 Conference, Szeged)
\item[2016] Challenges for Smart and Trustworthy Cyber-Physical Systems (Ericsson University Day 2016 Budapest)
\item[2016] \textbf{Keynote talk}: Incremental Queries and Transformations: From Concepts to Industrial Applications (SOFSEM 2016: 42nd Int. Conf. on Current Trends in Theory and Practice of Computer Science)
\item[2015] EMF/Ecore-based DSL engineering (at Dagstuhl \#15062: Domain-Specific Languages)
\item[2015] EMF-IncQuery: Incremental Evaluation of Model Queries (DSM-TP 2015 Int. Summer School)
\item[2015] VIATRA: Advanced Tools by Reactive Transformations (DSM-TP 2015 Int. Summer School)
\item[2014] \textbf{Plenary Talk}: Generic and Meta-Transformations (Most Influential Paper Presentation at @MODELS 2014, Valencia, Spain)
\item[2014] Incremental Model Queries over the Cloud (SERENE 2014 Int. Autumn School, Hungary)
\item[2014] EMF-IncQuery: Incremental Evaluation of Model Queries (DSM-TP 2014 Int. Summer School)
\item[2014] Incremental Model Queries for Model Driven Software Engineering (DSM-TP 2014 Int. Summer School)
\item[2014] Distributed Incremental Model Queries (at Ericsson Modeling Day, Sweden)
\item[2014] \textbf{Keynote talk}: Distributed Incremental Model Queries over the Cloud: Engineering and Deployment Challenges (CloudMDE 2014 Workshop @MODELS 2014)
\item[2014] Distributed Incremental Model Queries (at ISIS, Vanderbilt University, US)
\item[2014] \textbf{Keynote talk}: Distributed Incremental Model Queries (GT-VMT 2014 Workshop @ETAPS 2014)
\item[2013] Validation of Complex Domain-Specific Modeling Languages (at Dagstuhl Seminar 13211 Automatic Reasoning on Conceptual Schemas)
\item[2013] \textbf{Keynote talk}: V\&V Challenges for Models, Queries and Transformations in Design Tools for Avionics (VOLT 2013 Workshop)
\item[2013] Model queries for secure collaborative modeling (EternalS 2013 Workshop)
\item[2012] \textbf{Keynote talk} at 16th European Conference on Software Maintenance and Reengineering (CSMR 2012, Szeged, Hungary)
\item[2012] Developing Design Tools for Critical Embedded Systems: A Model Transformation Playground
(at RISC, Hagenberg, Austria)
\item[2010] Designing Domain-Specific Languages (at University of Szeged, Hungary)
\item[2009] Model driven development of configuration tables (at Rockwell Collins, US)
\item[2009] Model transformation development (at SENSUS International Summer School, Hungary)
\item[2009] Service deployment by model transformation (at SENSUS Summer School, Hungary)
\item[2008] Precise model transformations for tool integration (at TU Berlin, Germany)
\item[2007] Model transformation by example (at ISIS, Vanderbilt University, US)
\item[2007] Model-Driven Deployment of Services to Standards Compliant Reliable Middleware (at Dagstuhl Seminar 07061 Autonomous and Adaptive Web Services)
\item[2007] The VIATRA2 model transformation framework (at TU Darmstadt, Germany)
\item[2004] Towards Automated Formal Verification of Visual Modeling Languages
(at Dagstuhl Seminar 04101 Language Engineering for Model-Driven Software Development)
\item[2003] Model checking visual modeling languages (at SRI International, US)
\end{yearlist}
\newpage
\section{Projects and Funding}
%\lhead{Third party funding}
\subsection{Canadian projects at McGill University (as PI or co-PI)}
\textbf{Total acquired own funding}: approx. 600,000 CAD
\begin{yearlist}
\item[2019-2020] \textbf{NSERC-Engage}: SmartTarget: Automated identification of performance regressions in a multi-tier web applications; NSERC Engage project proposal (with Predikat Inc). Under review, PI, own funding: 25,000 CAD
\item[2018-2023] \textbf{NSERC-CRD}: Digital Multidisciplinary Analysis and Design Optimization Platform for Aeroderivative Gas Turbines, NSERC Collaborative Research and Development Grant, PI: M. Kokkolaras (McGill), co-PIs: H. Moustapha (ETS),
D. Varr\'o: Total/own funding: 1,177,500 CAD / 294,375 CAD (25\%)
\item[2016-2021] \textbf{NSERC-DG}: Model-based Design and Validation Techniques for
Smart and Safe Cyber-Physical Systems (RGPIN-2016-04573), NSERC Discovery Grant, PI, own funding: 230,000 CAD
\item[2017] \textbf{NSERC-SDG}: LiveIDE: Live Integrated Development Environment for Software-Intensive Communication Systems, PI: D. Varr\'o, co-PIs: G. Mussbacher, J. Kienzle (McGill), H. Sahraoui, E. Syriani (UdeM): Submitted as a Strategic Partnership Grant, recommended for funding by NSERC as a Collaborative Research and Development Grant with Ericsson. The CRD contract was not signed as the Ericsson project lead left the company: Total funding: 571,275 CAD
\item[2016-2019] \textbf{McGill Startup Fund}: Initial research support: 55,000 CAD
\item[2016-2019] \textbf{McGill EUSF}: 4 teaching support funds by EUSF: total around 7,500 CAD
\end{yearlist}
\subsection{Collaborative European projects (as site leader or research coordinator at BME)}
\begin{yearlist}
\item[2013-2016] \textbf{MONDO}: Scalable Modelling and Model Management on the Cloud (EU-FP7-ICT-STREP, own funding: 420,000 EUR)
\item[2010-2013] \textbf{E-Freight}: European e-Freight Capabilities for Co-modal Transport (EU-FP7-SST-IP, own funding: 260,000 EUR)
\item[2009-2012] \textbf{SecureChange}: Security Engineering for Lifelong Evolvable Systems (EU-FP7-FET-IP, 231101-2009, own funding: 250,000 EUR)
\item[2006-2010] \textbf{DIANA}: Distributed, equipment Independent environment for Advanced avioNic Applications (EU-STREP, FP6-2005-Aero-1, own funding: 410,000 EUR)
\item[2005-2010] \textbf{SENSORIA}: Software Engineering for Service Oriented
Overlay Computers (FP6 European IP, IST-016004, own funding: 300,000 EUR)
\end{yearlist}
\subsection{Hungarian national projects (as PI)}
\begin{yearlist}
\item[2015-2020] \textbf{MTA-BME Lend\"ulet} Cyber-Physical Systems Research Group, 520 000 EUR
\item[2010-2014] \textbf{CERTIMOT}: Design and Analysis Techniques for Certifiable Model Transformations (ERC-HU-09: Starting Grant, 370 000 EUR: My ERC Starting Grant proposal went to the final round at EC with a score of 7/8;
%and it was recommended for funding but became out of budget,
finally it was partially funded by the Hungarian Research Agency.
\end{yearlist}
\subsection{Industrial research grants and projects at BME}
\begin{yearlist}
\item[2012-2014] Collaborative project with \textbf{Embraer} on model-driven avionic design tools (Acronym: TRANS-IMA, funding: 200 000 EUR)
\item[2013-14] Collaborative project with \textbf{Ericsson} on modeling and verification of statecharts (funding: 20 000 USD)
\item[2006-2010] Two collaborative projects with \textbf{Nokia Research Center}
on high-availability service platforms, and on model-driven development techniques (funding: 40 000 EUR)
\item[2007] \textbf{IBM Faculty Award}: A framework for the model-driven design and analysis of standards-compliant IT infrastructure management (by IBM TJ Watson Research Center, funding: 20,000 USD)
\item[2006] \textbf{IBM Faculty Award}: Model based deployment of services to standards-compliant reliable IBM middleware (by IBM TJ Watson, funding: 10,000 USD)
\item[2005] \textbf{IBM Faculty Award}: Model Transformation Engineering as a complement to IBM Process Modeling Technologies (by IBM TJ Watson, funding: 6,000 USD)
\end{yearlist}
%\textbf{Total own funding}: approx. 2.2 million EUR \\
\textbf{Total acquired own funding} (before joining McGill): approx. 2.5 million EUR.
%\textbf{Total acquired own funding}: approx. 4.65 million CAD\\
(This excludes funding I secured as a co-founder of IncQuery Labs Ltd, which also exceeds 800K EUR, but not reported in the current CV.)
%(This excludes funding I secured as a co-founder of IncQuery Labs Ltd, which exceeds 1.2 million CAD, but not report due to non-disclosure agreements.)
%\subsection{Further Project Participation}
\subsection{Participation in collaborative research and innovation Projects (as Contributor)}
\begin{yearlist}
\item[2009-2011] \textbf{INDEXYS}: INDustrial EXploitation of the genesYS cross-domain architecture (ARTEMIS-2008-1-100021)
\item[2006-2008] \textbf{RESIST}: Resilience for Survivability in IST (EU-FP6 Network of Excellence)
\item[2005-2007] An MDA based product family for service dependability and optimization (GVOP-2005-3.3.1)
\item[2005-2006] EC-Conforming Certification of Safety Equipment for Hungarian Railways (GVOP-2004-3.1.1)
\item[2004-2007] \textbf{DECOS}: Dependable Embedded Components and Systems (FP6 European IP)
\item[2002-2006] \textbf{SEGRAVIS}: Syntactic and Semantic Integration of
Visual Modelling Techniques (EU Research Training Network)
%\end{yearlist}
%\textbf{NECSIS}: \years{2014} (An Automotive Partnership Canada project) \\
%\subsection{Participation in National Research and Innovation Projects (as Contributor)}
%\begin{yearlist}
\item[2001-2003] Operation Research Methods for the Analysis and Verification of IT Systems (OTKA T038027)
\item[2000-2002] Framework for the Development and Testing of Dependable, Safety-Critical Systems (IKTA-00065/2000)
\item[2000-2001] Formal Methods in Informatics (MEH 96/2000)
\item[1999-2001] Automated Verification and Validation of UML Models for IT Systems (OTKA T030804)
\end{yearlist}
%\cvsubsection{National Projects on innovative exploitation of academic results (as Major Contributor)}
\subsection{Major open source software projects}
Two of the following projects were founded after joining McGill University.
\begin{yearlist}
\item[2016-] \emph{VIATRA Generator} (\textbf{Co-founder}): Automated generation of graph models \newline \url{https://github.com/viatra/VIATRA-Generator}
\item[2004-] \emph{VIATRA}: A Model Transformation Framework (\textbf{Founder}): Official open source project hosted by the Eclipse Foundation \newline \url{http://www.eclipse.org/viatra}
\item[2010-2016] \emph{EMF-IncQuery}: Incremental queries over EMF models (\textbf{Co-founder})
%\url{http://www.eclipse.org/incquery/} \\
\item[2014-] \emph{MASSIF}: Matlab Simulink Integration Framework for Eclipse (\textbf{Co-founder}) \newline
\url{https://github.com/viatra/massif}
\item[2017-] \emph{Gamma Statechart Composition Framework} (\textbf{Contributor}): An open source project with a high-level composition language with precise semantics and model checking backends. \newline \url{http://gamma.inf.mit.bme.hu/}
\end{yearlist}
%\newpage
\section{Significant University Duties}
%\lhead{Teaching and University Duties}
\subsection{Departmental committees (at McGill)}
\begin{yearlist}
\item[2018-] \textbf{Program director}, Software engineering co-op program
\item[2018-2019] \textbf{Member}, Undergraduate Advising Committee
\item[2018-2019] \textbf{Member}, Curriculum Committee
\item[2018] \textbf{Member of Qualifying Exam Committee}: M\'arton B\'ur
\item[2017-2019] \textbf{Member}, Departmental Search Curriculum
\item[2017-2018] \textbf{Member}, Promotions and Reappointment Committee
\item[2017] \textbf{Member of Qualifying Exam Committee}: Anastasios Alexandridis
\item[2016-2018] \textbf{Member}, Chairman's Advisory Commitee
\item[2016-2018] \textbf{Member}, Departmental Tenure Commitee
\item[2016-2017] \textbf{Member}, Graduate Student Financing Committee
\end{yearlist}
\subsection{Faculty-level and University-level committees (at McGill)}
\begin{yearlist}
\item[2017-2020] \textbf{Representative of Engineering Faculty}, Council of Graduate and Postdoctoral Studies (CGPS)
\item[2018-] \textbf{Member}, Committee on Student Exchange and Study Abroad
\item[2018] \textbf{Pro-Dean}, Art History \& Communication Studies, McGill University
\item[2017-] \textbf{Member}, GitHub Enterprise evaluation committee
\end{yearlist}
\subsection{Major academic duties in Hungary}
\begin{yearlist}
\item[2014-] \textbf{Core member}: Informatics Doctoral School, BME
\item[2014-2016] \textbf{External member}: Informatics Doctoral School, University of Szeged
\item[2014-2016] \textbf{Specialization coordinator}: Systems Engineering Specialization (undergrad), BME
\item[2012-2016] \textbf{Operative lead}: Fault Tolerant Systems Research Group, BME
\item[2012-2016] \textbf{Member}: Operative Committee, Dept. of Measurement and Inf. Systems, BME
\end{yearlist}
\section{Teaching Courses on Undergraduate and Graduate Levels}
\paragraph{Highlights of teaching activities (entire career):} see \autoref{tab:courses-taught} and \autoref{tab:other-teaching} for details
\begin{itemize}[leftmargin=0.5cm]
\item
I serve as the program director for the Software Engineering Co-op program at McGill University (expected to start in Fall 2020). To help preparation, I was exempted from teaching my graduate course in Winter 2019.
\item I have taught 8 different courses at McGill University and BME on all levels.
\item I (co-)developed 6 courses from scratch, and significantly enhanced and extended all courses I have taught.
%\item I was involved in the development of an undergraduate and a master's level specialization offered at BME
\item I served as the coordinator (head) of the undergraduate specialization on Systems Engineering at BME
\end{itemize}
\begin{table}[htb]
\footnotesize
\begin{tabular}{@{}p{8cm}lllp{4cm}@{}}
\toprule
\textbf{Number: Course name} & \textbf{Inst.} & \textbf{Term} & \textbf{Level} & \textbf{Enrollment} \\ \midrule
ECSE321: Introduction to Software Engineering & McGill & W19& UG & 95 students \\
& & W18 & UG & 73 students \\
& & W17 & UG & 74 students \\ \midrule
ECSE429: Software Validation & McGill & F18& UG & 122 students \\ \midrule
ECSE681: Colloquium in Elect. Eng. / Critical Systems & McGill & W18& G & 18 students \\ \midrule
Model-driven Systems Development & BME & 2010-2016 & MSc & 15-25 students \\
UML-based modeling and analysis & BME & 2003-2008 & MSc & 70-80 students \\
Open development frameworks & BME & 2005-2008 & MSc & 10-20 students \\
Foundations of model-driven engineering & BME & 2005-2014 & PhD & 5-10 students \\
Formal methods & BME & 2001-2006 & MSc & 300-450 students \newline (guest lecturer) \\
Systems engineering & BME & 2016- & UG & Co-developed course\\
System integration & BME & 2010-2014 & MSc & Co-developed course\\
\bottomrule
\end{tabular}
\caption{Courses and curricula developed and/or taught}
\label{tab:courses-taught}
\end{table}
\begin{table}[htb]
\footnotesize
\begin{tabular}{@{}p{6cm}lllp{6cm}@{}}
\toprule
\textbf{Task} & \textbf{Inst.} & \textbf{Term} & \textbf{Level} & \textbf{Role} \\ \midrule
Software Engineering Co-op & McGill & F19 / F20 & UG & Program Director\\
Critical systems (specialization) & BME & 2012-2016 & MSc & Head and co-developer of specialization \\
Systems engineering (specialization) & BME & 2012-2016 & BSc & Co-developer \\
Fault Tolerant Systems Research Group & BME & 2012-2016 & N/A & Operative lead \\
\bottomrule
\end{tabular}
\caption{Other teaching roles / duties}
\label{tab:other-teaching}
\end{table}
%\newpage
\section{Graduate Supervision and Tutoring}
%\cvsubsection{PhD students (main supervisor)}
\subsection{Summary of supervision record}
%An overview of my record as a supervisor of graduate and (McGill) undergraduate students is provided in \autoref{tab:graduate-supervisor-overview}.
\begin{table}[htb]
\footnotesize
\begin{tabular}{@{}p{3.5cm}lp{2.5cm}p{2.7cm}p{3.5cm}@{}}
\toprule
\textbf{Student category} & \textbf{Supervision} & \textbf{Total supervised (defended)} & \textbf{supervised \@McGill (defended)} & \textbf{Details} \\
\midrule
PhD & main & 11 (7) & 6 (3) & see \autoref{tab:phd-supervised} \\
PhD & co- & 8 (4) & 4 (0) & see \autoref{tab:phd-cosupervised} \\
MEng/MSc thesis & main/co & 28 (23) & 5 (0) & see \autoref{tab:msc-supervised} \\
Undergrad (DP) & main & -- & 29 & 9 projects, see \autoref{tab:ug-supervised} \\ %(ECSE 456/457)
%\footnote{Summer Undergraduate Research in Engineering}
Undergrad (SURE) & main & -- & 9 & 6 projects, see \autoref{tab:ug-supervised} \\
\bottomrule
\end{tabular}
\caption{Overview of graduate supervision data}
\label{tab:graduate-supervisor-overview}
\end{table}
{\footnotesize
\noindent
\textbf{Comments:} A boldface single year denotes the year of completed PhD defense, a period denotes years of supervision. GRT stands for McGill Graduate Research Trainee, who has a formal affiliation to McGill (as a visitor), but he/she is not attending the regular PhD program at McGill.
}
%\textbf{PhD students (main supervisor)}: 11 supervised (7 defended), see \autoref{tab:phd-supervised} \\
%\textbf{PhD students (co-supervisor)}: 8 students (4 defended), see \autoref{tab:phd-cosupervised} \\
%\textbf{MEng/MSc thesis students}: 28 (co-)supervised (23 defended), see \autoref{tab:msc-supervised} \\
%\textbf{Undergraduate students (at McGill)}: 35 students, 9 Design projects (ECSE 456/457), 6 SURE (Summer Undergraduate Research in Engineering) projects, see \autoref{tab:ug-supervised} \\
\subsection{International awards won by PhD students}
11 major international prizes (5 since joining McGill)
\begin{yearlist}
\item[2018] \emph{G. Sz\'arnyas}: ACM Student Research Competition (SRC): 2nd place at SIGMOD 2018 (main scientific forum in database research),
\item[2018] \emph{C. Debreceni} (co-author): Best Tool Paper Award (at MODELS 2018: ACM/IEEE 21st Int. Conference on Model Driven Engineering Languages and Systems
\item[2018] \emph{M. B\'ur} (first author): EASST Best Paper Award (at ETAPS 2018: European Joint Conferences on Theory and Practice of Software (1 out of over 140 papers)
\item[2017] \emph{C. Debreceni}: ACM SRC: 1st Prize at IEEE/ACM MODELS 2017 conference %(main scientific forum of my research area)
\item[2016] \emph{C. Debreceni} (co-author): ACM Distinguished Paper Award (at MODELS 2016 conference)
\newline
\rule{\linewidth}{0.2mm}
\item[2016] \emph{G. Sz\'arnyas}: ACM SRC: 1st Prize at MODELS 2016;
\item[2014] \emph{G. Sz\'arnyas}: Best Presentation Award at STAF 2014 Doctoral Symposium
\item[2014] \emph{Z. Ujhelyi} (first author): Best Paper Award (at IEEE CSMR-WCRE 2014 Software Evolution Week)
\item[2013] \emph{O. Semer\'ath} (first author): Springer Best Paper Award (at MODELS 2013: 16th IEEE/ACM Int. Conf. on Model Driven Engineering Languages and Systems: 1 out of 47 accepted papers)
\item[2011] \emph{\'A. Heged\"us, \'A. Horv\'ath} (first author, and co-author): ACM Distinguished Paper Award (at ASE 2011: 26th IEEE/ACM Int. Conf. on Automated Software Engineering)
\item[2009] \emph{I. R\'ath} (first author): Springer Best Paper Award and ACM Distinguished Paper Award (at MODELS 2009: 12th IEEE/ACM Int. Conf. on Model Driven Engineering Languages and Systems: 1 out of 58 papers)
\end{yearlist}
% Please add the following required packages to your document preamble:
% \usepackage{booktabs}
\begin{table}[htbp]
\footnotesize
\begin{tabular}{@{}lcclp{7cm}p{4.5cm}@{}}
\toprule
\textbf{Name} & \textbf{McGill} & \textbf{HUN} & \textbf{Year} & \textbf{Research Topic} & \textbf{Current job} \\ \midrule
M\'arton B\'ur & PhD & -- & 2016- & Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems & PhD student \\
Csaba Debreceni & GRT & BME & 2014-19 & Advanced Techniques and Tools
for Secure Collaborative Modeling & PhD candidate \newline (defense in Fall 2019)\\
Oszk\'ar Semer\'ath & GRT & BME & \textbf{2019} & Formal Validation and Model Generation
for Domain-Specific Languages & Research associate \newline (Hungarian Academy of Sciences) \\
G\'abor Sz\'arnyas & GRT & BME & \textbf{2019} & Query, Analysis, and Benchmarking Techniques
for Evolving Property Graphs of Software Systems & Research associate \newline (Hungarian Academy of Sciences)\\
Zolt\'an Ujhelyi & -- & BME & \textbf{2017} & Program Analysis Techniques for Model Queries and Transformations & Senior MDE Expert \newline at IncQuery Labs\\
Andr\'as Sz. Nagy & -- & BME & 2015-17 & Design Space Exploration & Associate at MSCI Inc.\\ \midrule
Benedek Izs\'o & -- & BME & 2012-14 & Benchmarking of Graph Queries & Developer at IP Systems\\
\'Akos Heged\"us & -- & BME & \textbf{2014} & Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques & CTO at IncQuery Labs\\
G\'abor Bergmann & -- & BME & \textbf{2013} & Incremental Model Queries
in Model-Driven Design & Assistant professor (BME) \\%, J. Bolyai Scholar \\
\'Akos Horv\'ath & -- & BME & \textbf{2013} & Model-Driven Development Techniques for
Integrated Modular Avionics Systems & CEO at IncQuery Labs \newline Assistant professor (BME) \\
Istv\'an R\'ath & -- & BME & \textbf{2011} & Event-driven Model Transformations in
Domain-specific Modeling Languages & CEO at IncQuery Labs \newline Assistant professor (BME) \\ \bottomrule
\end{tabular}
\caption{PhD students (as main supervisor)}
\label{tab:phd-supervised}
\end{table}
\begin{table}[htb]
\footnotesize
\begin{tabular}{@{}llllp{8cm}@{}}
\toprule
\textbf{Name} & \textbf{Inst.} & \textbf{Year} & \textbf{Main supervisor} & \textbf{Current job} \\ \midrule
Krist\'of Marussy & BME & 2018- & Istv\'an Majzik & PhD student (BME), GRT at McGill \\
Th\'eo Le Calvar & ESEO & 2018 & Fr\'ed\'eric Jouault & PhD student (ESEO Angers), GRT at McGill \\
\'Akos Hajdu & BME & 2017- & Zolt\'an Micskei & PhD student (BME), Graduate research trainee at McGill \\
Vince Moln\'ar & BME & 2016- & Istv\'an Majzik & PhD student (BME), Graduate research trainee at McGill \\ \midrule
L\'aszl\'o G\"onczy & BME & \textbf{2019} & Tam\'as Bartha & lecturer at BME, CEO of Quanopt Ltd.\\
G\'abor Guta & JKU Linz & \textbf{2012} & Wolfgang Schreiner & Head of R\&D at Axonmatics \\
%Modeling for the Dependability of Complex Services
Andr\'as Balogh & BME & \textbf{2010} & Andr\'as Pataricza & CTO at ThyssenKrupp Presta Hungary \\
%Model Transformation-based Design of Dependable Systems
Gergely Varr\'o & BME & \textbf{2008} & Katalin Friedl & Manager of Java Development at Software AG, Germany \\ \bottomrule
\end{tabular}
\caption{PhD students (as co-supervisor)}
\label{tab:phd-cosupervised}
\end{table}
\subsection{Further recognition of excellence in mentoring}
\begin{itemize}[leftmargin=0.5cm]
\item \textbf{Selected workplaces of past graduate students}: Google (3 students), Morgan Stanley, Ericsson, ThyssenKruppPresta, PwC, Nokia-Siemens Networks,
%European Chemical Agency, Trendency,
IncQuery Labs, Lufthansa Systems, Siemens, National Instruments
\item
\textbf{Tutoring MSc students on a national-level scientific competition (in Hungary)}:
23 scientific reports; 3x 1st prize and 3x 3rd prize (on national
level), 12x 1st prize (on faculty level), %8x second prize (on faculty level))
\textbf{Distinguished Tutor} (youngest awardee)
%; requires 10 years of successful tutoring)
%Distinguished Tutor (2009) (youngest ever awardee; requires 10 years of highly successful tutoring) \\
\end{itemize}
%\vspace{-2cm}
\begin{table}[h!]
\footnotesize
\begin{tabular}{@{}lllp{11cm}@{}}
\toprule
\textbf{Name} & \textbf{Inst.} & \textbf{Year} & \textbf{Research Topic} \\ \midrule
Aren Babikian & McGill & 2019- & Consistent and Scalable Graph Generation \\
Sebastian Pilarski & McGill & 2019- & Machine learning in Systems Engineering \\
Faizan Khan & McGill & 2018- & Program Analysis for Smart Contracts in IoT Blockchains \\
Jasvir K. Dhaliwal & McGill & 2018- & Graphical Editor for Tool Integration Workflows \\
Maruthi Rangappa & McGill & 2018- & Server-side Tool Integration Workflows \\ \midrule
Oszk\'ar Semer\'ath & BME & \textbf{2014} & Formal Verification of Model Transformation\\
Attila B\'alint & BME & \textbf{2010} & Model Transformation Rule Synthesis by Example\\
\'Abel Heged\"us & BME & \textbf{2009} & Framework for Dependability Analysis of UML Models\\
G\'abor Bergmann & BME & \textbf{2008} & Incremental Graph Pattern Matching and its Applications\\
Zolt\'an Balogh & BME & \textbf{2008} & Model Transformation by Example\\
B\'ela Sz\'antai & BME & \textbf{2007} & EMF-based Code Generator for the VIATRA2 Model Transformation Language \\
Andrea Darabos & BME & \textbf{2007} & Testing the Implementation of Model Transformations\\
D\'avid V\'ag\'o & BME & \textbf{2006} & Simulation and Transformation of Domain-Specific Modeling Languages\\
Andr\'as Schmidt & BME & \textbf{2006} & Model Transformation Interpreter \& Debugger in the VIATRA2 Framework\\
Istv\'an R\'ath & BME & \textbf{2006} & Declarative Specification of Domain-Specific Visual Languages\\
\'Akos Horv\'ath & BME & \textbf{2006} & Automated Generation of Platform-Specific Transformations\\
Gergely Nyilas & BME & \textbf{2006} & Text Editor for the VIATRA2 Framework \\
Andr\'as K\"ovi & BME & \textbf{2006} & Modeling and Analysis of High-Availability Services \\
\'Ad\'am Balogh & BME & \textbf{2006} & Declarative Model Transformation Specifications in VIATRA2\\
G\'abor Riba & BME & \textbf{2005} & Eclipse-Based Dataflow Model Editor \\
P\'eter Mayer & BME & \textbf{2005} & Automated Synthesis of Communication Schemes for Web Services \\
Bal\'azs Jusztin & BME & \textbf{2004} & Requirements Analysis for Railway Interlocking Systems\\
Andr\'as T\'oth & BME & \textbf{2004} & Automated Test Case Generation for UML Statecharts\\
Gergely Kiss & BME & \textbf{2004} & Integration of UML Models to Eclipse IDE\\
\'Akos Schmidt & BME & \textbf{2004} & Model Checking of Visual Modeling Languages\\
P\'eter Domokos & BME & \textbf{2003} & An Open Visualization Framework for Metamodel-Based Modeling Languages\\
Zsolt Ter\'ek & BME & \textbf{2003} & An Advanced Model Transformation System: Desing and Application\\
G\'abor Salamon & BME & \textbf{2002} & Formal Verification of Model Transformation Systems\\
\bottomrule
\end{tabular}
\caption{MEng / MSc students: Supervised or co-supervised (all thesis)}
\label{tab:msc-supervised}
\end{table}
%\vspace{-4cm}
%\begin{table}[htbp]
%\footnotesize
%\begin{tabular}{@{}lp{6.5cm}lp{6.5cm}@{}}
%\toprule
%\textbf{Term} & \textbf{Students} & \textbf{Type} & \textbf{Project Title} \\ \midrule
%S19 & Percy Chen, Lily Li & SURE& Automated generation of consistent and realistic domain-specific graph models\\
%S18 & Aren Babikian, Michael Ding & SURE & Generating fair maps for autonomous vehicle testing\\
%S18 & Sebastian Pilarski, Anqi Li& SURE & Generation of consistent graph models by using automated theorem provers\\
%S17 & Aren Babikian, Vivek Gidla & SURE & Generation of consistent graph models by using automated theorem provers\\
%S17 & Amro Al Baali & SURE & Integration of rule-based design space exploration and multidisciplinary design optimization\\
%S17 & Chloe Grosdidier & SURE & Design space exploration for variable calibration\\ \midrule
%W19-F19 & Anqi Li, Kaiyue Pan & DP & Automated model generation for testing data-intensive software technologies \\
%F18-W19 & Omar Yamak, François-Eliott Rousseau, Adam Gobran, Mohamed Reda El Khili & DP & Turbodega I: Digitalization for the small stores\\
%F18-W19 & Yahia Azami, Aliah M. Nazarudin, Nabil E. N. Eddie Putera, Thusha Sivapatharajah & DP & Turbodega II: Digitalization for the small stores\\
%F18-W19 & Filip Bernevec, Tristan Saumure Toupin, Abbas Yadollahi, He Qian Wang & DP & Bank on Voice \\
%F18-W19 & Rawad Karam, Fiona Hang, Mustafa Khawaja& DP & Graph generation as a service\\
%F17-W18 & Aren Babikian, Mario Mach & DP & Automated generation of graph models\\
%F17-W18 & Justin Bell, Ryan Chalmers, Abdel Koumare, Kartik Karkala & DP & G2torial\\
%W17-F18 & F\'elix Poulin-B\'elanger, Stefan Tihanyi & DP & Ad Astra\\
%F16-W17 & Cime Ajouz, Ralph Bou Samra, Stephan Greto-Mcgrath, Xu Ji & DP & Safe Drone Flight and Routing\\
%\midrule
%\bottomrule
%\end{tabular}
%\caption{Undergraduate students at McGill: SURE Projects and Design Projects (as supervisor)}
%\label{tab:ug-supervised}
%\end{table}
\begin{table}[b!]
\footnotesize
\begin{tabular}{@{}lp{7.5cm}lp{8.8cm}@{}}
\toprule
\textbf{Term} & \textbf{Students} & \textbf{Type} & \textbf{Project Title} \\ \midrule
S19 & Percy Chen, Lily Li & SURE& Automated generation of consistent and realistic graph models\\
S18 & Aren Babikian, Michael Ding & SURE & Generating fair maps for autonomous vehicle testing\\
S18 & Sebastian Pilarski, Anqi Li& SURE & Generation of consistent graph models by using theorem provers\\
S17 & Aren Babikian, Vivek Gidla & SURE & Generation of consistent graph models by using theorem provers\\
S17 & Amro Al Baali & SURE & Integration of rule-based design space exploration\\ %and multidisciplinary design optimization\\
S17 & Chloe Grosdidier & SURE & Design space exploration for variable calibration\\ \midrule
W19-F19 & A. Li, K Pan & DP & Automated model generation for testing data-intensive software \\ %technologies \\
F18-W19 & O. Yamak, FE Rousseau, A. Gobran, M. Reda El Khili & DP & Turbodega I: Digitalization for the small stores\\
F18-W19 & Y. Azami, A. M. Nazarudin, N. E. Putera, T. Sivapatharajah & DP & Turbodega II: Digitalization for the small stores\\
F18-W19 & F. Bernevec, T.S. Toupin, A. Yadollahi, HQ Wang & DP & Bank on Voice \\
F18-W19 & R. Karam, F. Hang, M. Khawaja& DP & Graph generation as a service\\
F17-W18 & A. Babikian, M. Mach & DP & Automated generation of graph models\\
F17-W18 & J. Bell, R. Chalmers, A. Koumare, K. Karkala & DP & G2torial\\
W17-F18 & F. Poulin-B\'elanger, S. Tihanyi & DP & Ad Astra\\
F16-W17 & C. Ajouz, R. Bou Samra, S. Greto-Mcgrath, X. Ji & DP & Safe Drone Flight and Routing\\ %\midrule
\bottomrule
\end{tabular}
\caption{Undergraduate students at McGill: SURE Projects and Design Projects (as supervisor)}
\label{tab:ug-supervised}
\end{table}
\clearpage
%\begin{table}[htb]
%\centering
%\includegraphics[width=\textwidth]{figures/TeachingEval}
%\caption{Results of course evaluations at McGill University}
%\label{fig:course-eval}
%\end{table}
\section{Services to Scientific Community}
%\lhead{Services to the Scientific Community}
%\cvsubsection{Program Co-Chair}
%\subsection{Organizational roles in conferences}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{chref}
%\newrefcontext[labelprefix=CH]
\nocite{mise2019-chair,sle2016-chair,icmt2014-chair,fase2013-chair,amt2012-chair,grabats2010-chair,gtvmt2006-chair,grabats2006-chair}
\printbibliography[title=Program co-chair,heading=subbibliography]
\end{refsection}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{scref}
%\newrefcontext[labelprefix=SC]
\nocite{etaps2008-sc,etaps2013-sc,icmt2014-sc}
\printbibliography[title=Steering committee member,heading=subbibliography]
\end{refsection}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{loref}
%\newrefcontext[labelprefix=LO]
\nocite{icse2019post-chair,staf16ws-chair,staf2015ds-chair,staf2013-chair,models2012-chair,agtive2011-chair,sensus2009-lo,etaps2008-lo,models2007-chair,edcc2005-lo}
\printbibliography[title=Chair of organizing committees,heading=subbibliography]
\end{refsection}
%\subsection{Program Committee Membership}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{pcref}
%\newrefcontext[labelprefix=PC]
\nocite{models2019-pc,ecmfa2019-pc,icse2019-pc,sefm2019-pc,mdeintel2019-pc,mpm4cps2019-pc,%
icse2018-pc,fase2018-pc,icmt2018-pc,ecmfa2018-pc,models2018-pc,securemde2018-pc,facs2018-pc,%
models2017-pc,fase2017-pc,icmt2017-pc,ase2017tools-pc,mise2017-pc,%
ase2016-pc,models2016-pc,ecmfa2016-pc,models2016ds-pc,icmt2016-pc,fmmdd2016-pc,%
ase2015-pc,models2015-pc,sle2015-pc,fase2015-pc,gam2015-pc,%
ase2014-pc,models2014-pc,fase2014-pc,vlhcc2014-pc,icgt2014-pc,%
models2013-pc,ecmfa2013-pc,vlhcc2013-pc,%
models2012-pc,ase2012-pc,ase2012tools-pc,icse2012tools-pc,vlhcc2012-pc,gtvmt2012-pc,%
fase2012-pc,csmr2012-pc,ecmfa2012-pc,icmt2012-pc,icgt2012-pc,icgt2012ds-pc,%
ase2011-pc,ase2011tools-pc,vlhcc2011-pc,gtvmt2011-pc,%
models2011-pc,fase2011-pc,icmt2011-pc,ecmfa2011-pc,sofsem2011-pc,%
mbsdi2011-pc,melo2011-pc,ictac2011-pc,ewdc2011-pc,%
icgt2010-pc,ictac2010-pc,models2010-pc,fase2010-pc,icmt2010-pc,ase2010-pc,models2010edu-pc,gtvmt2010-pc,%
models2009-pc,fase2009-pc,icmt2009-pc,ase2009-pc,gtvmt2009-pc,fm2009-pc,dsn2009-pc,%
models2008-pc,icmt2008-pc,aramis2008-pc,gtvmt2008-pc,grabats2008-pc,icgt2008-pc,pngt2008-pc,%
wapl2007-pc,models2007edu-pc,modeva2007-pc,atem2007-pc,sac2007-pc,gtvmt2007-pc,agtive2007-pc,%
models2007edu-pc,%
sac2006-pc,iwmec2006-pc,modeva2006-pc,atem2006-pc,gramot2006-pc,cmt2006-pc,gamma2006-pc,%
fujaba2006-pc,icgt2006-pc,gtvc2006-pc,edcc2006-pc,icdcs2006-pc,%
gtvc2005-pc,fujaba2005-pc,mtip2005-pc,gramot2005-pc,%
grabats2004-pc%
}
\printbibliography[title=Program committee membership,heading=subbibliography]
\end{refsection}
%\begin{refsection}
%\newrefcontext[labelprefix=SE]
% \nocite{models2019-pc,ecmfa-2019-pc,icse2019-pc,%
%icse2018-pc,fase2018-pc,icmt2018-pc,ecmfa2018-pc,models2018-pc,securemde2018-pc,%
%models2017-pc,fase2017-pc,icmt2017-pc,ase2017tools-pc,mise2017-pc,%
%ase2016-pc,models2016-pc,ecmfa2016-pc,models2016ds-pc,icmt2016-pc,%
%ase2015-pc,models2015-pc,sle2015-pc,fase2015-pc,%
%ase2014-pc,models2014-pc,fase2014-pc,%
% models2013-pc,ecmfa2013-pc,%
% models2012-pc,ase2012-pc,ase2012tools-pc,icse2012tools-pc,%
% fase2012-pc,csmr2012-pc,ecmfa2012-pc,icmt2012-pc,%
% ase2011-pc,ase2011tools-pc%
% models2011-pc,fase2011-pc,icmt2011-pc,ecmfa2011-pc,sofsem2011-pc,%
% mbsdi2011-pc,melo2011-pc,%
% models2010-pc,fase2010-pc,icmt2010-pc,ase2010-pc,modelsedu2010-pc,%
% models2009-pc,fase2009-pc,icmt2009-pc,ase2009-pc,%
% models2008-pc,icmt2008-pc,aramis2008-pc,%
% wapl2007-pc,modelsedu2007-pc,modeva2007-pc,atem2007-pc,sac2007-pc,%
% sac2006-pc,iwmec2006-pc,modeva2006-pc,atem2006-pc,gramot2006-pc,cmt2006-pc,gamma2006-pc,%
% mtip2005-pc,gramot2005-pc%
% }
%\printbibliography[title=Software Engineering]
%\end{refsection}
%\begin{refsection}
%\newrefcontext[labelprefix=VT]
% \nocite{gam2015-pc,vlhcc2014-pc,vlhcc2013-pc,vlhcc2012-pc,gtvmt2012-pc,%
% vlhcc2011-pc,gtvmt2011-pc,%
% gtvmt2010-pc,%
% gtvmt2009-pc,%
% gtvmt2008-pc,grabats2008-pc,%
% gtvmt2007-pc,agtive2007-pc,%
% fujaba2006-pc,fujaba2005-pc,grabats2004-pc%
% }
%\printbibliography[title=Visual Modeling Techniques and Tools]
%\end{refsection}
%\begin{refsection}
%\newrefcontext[labelprefix=FM]
% \nocite{sefm2019-pc,facs2018-pc,fmmdd2016-pc,icgt2014,icgt2012-pc,icgt2012ds-pc,%
% ictac2011-pc,icgt2010-pc,ictac2010-pc,%
% fm2009-pc,%
% icgt2008-pc,pngt2008-pc,%
% icgt2006-pc,gtvc2006-pc,gtvc2005-pc}
%\printbibliography[title=Formal Methods]
%\end{refsection}
%\begin{refsection}
%\newrefcontext[labelprefix=DC]
% \nocite{ewdc2011-pc,dsn2009-pc,edcc2006-pc,icdcs2006-pc}
%\printbibliography[title=Dependable Computing]
%\end{refsection}
%\begin{refsection}
%\newrefcontext[labelprefix=ED]
%\nocite{models2010edu-pc,models2007edu-pc}
%\printbibliography[title=Education]
%\end{refsection}
%\subsection{Other reviewing activities}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{dsref}
%\newrefcontext[labelprefix=DS]
\nocite{VargaJanos,Haussler,Oakes,AlBayati,Beyhl,GasconSamson,MarosiAttila,DeCarlos,Hegyhati,Vajk,Ciccozzi,Kalauz,Hildebrandt,Zombori,Guta,Siikarla,Lundkvist,Meszaros,Gergely,Vidacs,Hettel,Sipos,Lukacsy,Hajdara}
\printbibliography[title=Participation in PhD defense committees,heading=subbibliography]
\end{refsection}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{jrref}
%\newrefcontext[labelprefix=JR]
\nocite{sosym,jot,scp,ieee-tse,jss,ieee-sw,acm-tosem,sttt,ause}
\printbibliography[title=Journal reviews,heading=subbibintoc]
\end{refsection}
\begin{refsection}[bib/pcmember.bib]
\newrefcontext{ijref}
%\newrefcontext[labelprefix=IJ]
\nocite{cost,nwo,nserc,fct,fwf,mta,simi,york,stellenbosch,udem}
\printbibliography[title=International juries and academic evaluations,heading=subbibliography]
\end{refsection}
\newrefsection