Doc. RNDr. Tomáš Bureš, Ph.D. Curriculum Vitae October 2018

Transcription

1 Dc. RNDr. Tmáš Bureš, Ph.D. Curriculum Vitae Octber 2018 Persnal data: Brn: Phne: Degrees and titles 2013 Dc. (assciate prfessr) Charles University, Faculty f Mathematics and Physics 2006 Ph.D. Charles University, Faculty f Mathematics and Physics 2004 RNDr. (similar t Ph.D. candidate) Charles University, Faculty f Mathematics and Physics 2002 Mgr. (MSc. equivalent) Charles University, Faculty f Mathematics and Physics Emplyment 2014 nw Assciate prfessr, Chair f Department f Distributed and Dependable Systems, Faculty f Mathematics and Physics, Charles University Researcher (part time), Institute f Cmputer Sciences, Academy f Sciences f the Czech Republic Visiting Prfessr, Department f Prgramming and Sftware Engineering, Ludwig-Maximilian University, Munich Assistant prfessr, Department f Distributed and Dependable Systems, Faculty f Mathematics and Physics, Charles University Pstdc, PROGRESS Centre fr Predictable Embedded Sftware Systems, Mälardalen University, Västerås Pstdc (part time), Institute f Cmputer Sciences, Academy f Sciences f the Czech Republic Assistant Prfessr, Department f Sftware Engineering, Faculty f Mathematics and Physics, Charles University Research Assistant, Department f Sftware Engineering, Faculty f Mathematics and Physics, Charles University Research Assistant (part time), Institute f Cmputer Sciences, Academy f Sciences f the Czech Republic Stays at ther institutins Octber 2013 March 2015 Visiting Prfessr at the Department f Prgramming and Sftware Engineering, Ludwig-Maximilian University, Munich, Germany September 2007 August 2008 Pstdctral stay at the PROGRESS Centre fr Predictable Embedded Sftware Systems, Mälardalen University, Västerås, Sweden June 2004 September 2004 Internship at NASA Ames Research Center

2 Research fcus Past sftware cmpnents and services Since 2011 head f a research grup fcused n: Multi-paradigm mdeling f smart cyber-physical systems (scps) and internet f things systems (IT) Dynamic architectures f cllective self-adaptive systems and edge-clud based systems Full list f tpics (alng with related sftware artifacts) available at: website f the research grup website f the department Principal (partner) investigatr in EU and natinal prjects Frm the clud t the edge - smart IntegraTin and OPtimisatin Technlgies fr highly efficient Image and VIde prcessing Systems (FitOptiVis), ECSEL Aggregate Farming in the Clud (AFarClud), ECSEL Trust 4.0: Dataflw-based Privacy and Trust Mdelling and Analysis in Industry 4.0, TAČR DELTA Envirnmental Sensing T Act fr a Better quality f Life: Smart Health (ESTABLISH), ITEA3/EUREKA prject xran architecture with edge-clud, Industrial research prject Deutsche Telekm Multi-Paradigm Mdelling fr Cyber-Physical Systems (COST IC 1404, supprted by parallel natinal grant f Ministry f Educatin and Sprts f the Czech Republic) Trans-Eurpean Research Training Netwrk n Engineering and Prvisining f Service Based Clud Applicatins (RELATE), FP7 Marie Curie Initial Training Netwrk DEEC mdeling and implementatin f EVs in an Intelligent Infrastructure, Industrial research prject Vlkswagen AG On-Bard sftware reference architecture cnslidatin, Eurpean Space Agency tender Prject invlvement as team member in EU and natinal prjects Autnmic Service Cmpnent Ensembles (ASCENS), FP7 IP prject Metdy pr tvrbu a věřvání kmpnentvých systémů ze specifikací v přirzeném jazyce, Grant Agency f the Czech Republic prject n. P103/11/ Vývj a verifikace sftwarvých kmpnent v zapuzdřených systémech, Grant Agency f the Czech Republic prject n. P202/11/ Invace studijníh prgramu Infrmatika na MFF UK: výuka tvrby simulací s edukativními prvky a prhlubení praktickéh aspektu výuky, Operatinal Prgramme Prague Adaptability prject n. CZ.2.17/3.1.00/ Mdel-Driven Evaluatin f Design Decisin Impacts in Sftware Engineering, Grant Agency f the Czech Republic prject n. P202/10/J SW a HW zajištění nvé výuky mdelem řízenéh návrhu embedded a real-time systémů s pužitím Matlab/Simulink, Subprject f university develpment prgramme Rzvj HW a SW vybaveni pr infrmační a kmunikační technlgie na MFF UK Praha Quality Impact Predictin fr Evlving Service-Oriented Sftware (Q-ImPrESS), FP7 STREP prject Metdy a mdely pr věřvání knzistence aplikací zalžených na pkrčilých kmpnentvých mdelech, Grant Agency f the Czech Republic prject n. 201/08/0266

3 PROGRESS prject, Swedish Fundatin fr Strategic Research Frmální metdy prakticky pužitelné pr vývj systémů slžených ze sftwarvých kmpnent, Grant Agency f the Czech Republic prject n. 201/06/ Open Surce Infrastructure fr Run-time Integratin f Services (OSIRIS), ITEA EUREKA Cmpnent Reliability Extensins (CRE) t the Fractal Cmpnent Mdel, Jint prject with France Telecm (France Telecm external research cntract number ) Mderní metdy, struktury a systémy infrmatiky, prject f a university research framewrk Realistic Applicatin f Frmal Methds in Cmpnent Systems, Grant Agency f the Academy f Sciences f the Czech Republic prject n. 1ET Open Surce Middleware fr Open Systems in Eurpe (OSMOSE), ITEA EUREKA prject Develpment f Advanced Sftware Cmpnents and Mdels, Grant Agency f the Academy f Sciences f the Czech Republic prject n. 201/03/ Research f methds and tls fr verificatin f embedded cmputer systems fault tlerance, Grant Agency f the Academy f Sciences f the Czech Republic prject n. 102/03/0672 Awards ICSA 2018 Mst Influential Paper Award fr Sentilles S., Vulgarakis A., Bureš T., Carlsn J., Crnkvić I.: A Cmpnent Mdel fr Cntrl-Intensive Distributed Embedded Systems, In Prceedings f 11th Internatinal Sympsium, CBSE 2008, Karlsruhe, Germany pp , 2008 Best Research Paper Award fr Bureš T., Gerstathpuls I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Gssiping Cmpnents fr Cyber-Physical Systems, In Prceedings f the 8th Eurpean Cnference n Sftware Architecture (ECSA 2014), Vienna, Austria. Springer, pp , August 2014 (CORE A cnference based n CORE2014) ACM Distinguished Paper Award fr Keznikl J., Bureš T., Plášil F., Gerstathpuls I., Hnětynka P., Hch N.: Design f Ensemble-Based Cmpnent Systems by Invariant Refinement, In Prceedings f 16th Internatinal ACM Sigsft Sympsium n Cmpnent-Based Sftware Engineering (CBSE 2013), Vancuver, Canada. ACM, pp , June 2013 (CORE A cnference based n CORE2013) Invited talks / Panels Bureš, T.: Twards evlving architectures f cllabrating cyber-physical systems, Invited speaker at the 4th Wrkshp n Sustainable Architecture cllcated with the 12th Eurpean Cnference n Sftware Architecture September, 2018, Madrid, Spain Bureš, T.: Autnmic cmpnent ensembles fr dynamic evlving architectures f cntext aware smart systems, Invited speaker at Cntext-aware, Autnmus and Smart Architecture Wrkshp clcated with the 11th Eurpean Cnference n Sftware Architecture September, 2017, Canterbury, UK Bureš, T.: Twards dynamic architectures f smart cyber-physical systems, 14th Internatinal Wrkshp n Frmal Engineering appraches t Sftware Cmpnents and Architectures Satellite event f ETAPS, April 22, 2017, Uppsala, Sweden Weyns, D., Bureš, T.: Engineering Smart Cyber Physical Systems, SIGSOFT / ACM Webinar, September 8, 2015, Plášil, F., Bureš, T.: Sftware Cmpnents in Cmputer Assisted Living? Invited speaker at SOFSEM 2013

4 Participatin in panel at CBSE2010, June 24th 2010, tgether with Judy Staffrd, Ivica Crnkvic, Gerge Heineman, Jens Happe mderated by Ralf Reussner Other Prfessinal Activities (Cnferences, Wrkshps, ) Steering cmmittee member f ECSA (Cre A cnference based n CORE2018 ranking) Cnference prgram c-chair f ECSA 2019 (Cre A cnference based n CORE2018 ranking) Cnference prgram c-chair f SEAA 2018 (Cre B cnference with multiple tracks based n CORE2017 ranking) Cnference prgram c-chair QSA 2014 (Cre A cnference based n CORE2013 ranking) Wrkshp prgram c-chair f SEsCPS 2015, 2016, 2017, 2018 (wrkshp n Sftware Engineering fr Smart Cyber-Physical Systems at ICSE Cre A* cnference) Tl Demnstratins C-Chair ICSA 2019 Artifact track chair SEAMS 2018 Track chair (tgether with K.-K. Lau) EUROMICRO SEAA 2013, 2014, 2015, 2016, 2017 Mdel-Based Develpment, Cmpnents and Services (MOCS) Track chair (tgether with I. Crnkvic) EUROMICRO SEAA 2009, Service and Cmpnent Based Sftware Engineering track (SCBSE) Guest editr Sftware Quality Jurnal, Springer (special issue n Sftware Quality f Advanced Sftware Applicatins ) Guest editr Infrmatin And Sftware Technlgies, Elsevier (special issue n Sftware Architectures fr Cntext-Aware Smart Systems ) PC Member f ECSA (2011, 2013, 2016, 2017, 2018), ICSA (2017, 2018), SEAMS (2017), CLOSER ( ), PEC ( ), S4CIP ( ), SCC ( ), EDCC ( ), SERENE (2016), SOFSEM (2016), QSA (2015), SANCS (2015), WCOP (2014), EUROMICRO SEAA ( ), EWDC (2011), EWDC (2011), SOCE (2010), GPCE (2009),... Reviewer fr varius jurnals with an impact factr (TSE, JSS, Cmputing, Sftware: Practice and Experience, JNCA, IEEE Sftware, ) Steering cmmittee member f AlP4IT wrkshp at ifm Activities related t teaching Respnsible (garant) fr the Infrmatika (Cmputer Science) master study prgram, Charles University Member f the cmmitte fr Sftwarvé systémy (Sftware Systems) branch f the Infrmatika (Cmputer Science) dctral study prgram, Charles University. Member f Státní rigrzní kmise pr br Sftwarvé systémy. Final exam cmmittee vice-chairman f Kmise pr státní závěrečné zkušky bakalářskéh studijníh prgramu Infrmatika, Kmise pr státní závěrečné zkušky magisterskéh studijníh prgramu Infrmatika, final exam cmmittee vice chairman f Státní rigrózní kmise pr br Sftwarvé systémy studijníh prgramu Infrmatika, Charles University Member f the Sftware Prject cmmitte fr curse NPRG023 External member f the Rada blasti vzdělávání Infrmatika, University f West Bhemia, Pilsen, Czech Republic.

5 Teaching at the Faculty f Mathematics and Physics, Charles University Teaching curses/labs since academic year 2002/2003. The teaching fcuses n develpment f dependable systems and advanced cncepts f bject systems and languages The mst imprtant curses are: Embedded and real-time systems Taught since 2009 Elective curse in MSc. study plan Sftware Systems Object and Cmpnent Systems Taught in , then replaced by an extensin f the curse n Cncepts f Mdern Prgramming Languages and by a new curse n Mdel-driven Develpment Elective curse in MSc. study plan Sftware Systems Cncepts f Mdern Prgramming Languages Taught since 2012 Elective curse in MSc. study plan Sftware Systems The teaching is evaluated very favrably the students (systematically between 1-2 n the scale 1 5 where 1 is the best) Supervisin f PhD, MSc, and Bc Theses and f Grup Sftware Prjects (i.e. sftware prjects within the curse Sftware Prject NPRG023) 9 PhD students, ut f which 4 successfully defended (Michal Malhlava 2012, Jarslav Keznikl 2014, Michal Kit 2016, Vladimír Matěna 2018), 2 are in prgress 37 MSc theses (ut f which 32 successfully defended, 2 are in prgress) 10 Bc these (ut f which 9 successfully defended, 1 is in prgress) 2 successfully defended grup sftware prjects Teaching activities utside MFF UK Teaching at LMU Munich as a visiting prfessr 3 semesters fall 2013 fall 2014 Sftware Engineering - bligatry curse fr bachelrs (2 semesters) Research Wrk elective curse fr masters (1 semester) Individual lectures at summer schls and universities abrad ASCENS Spring Schl n Engineering Cllective Autnmic Systems, Lucca, Italy, March 2015 Gran Sass Science Institute, L Aquila, Italy - 2 lectures in the frame f advanced curses fr PhD students, June 2017 Mälardalen University, Västerås, Sweden lectures n cmpnent architectures and distributed SW develpment in the frame f pstdctral stay, 2008