Návrh na zahájení habilitačního řízení David Horák, Ing. Ph.D. v oboru Aplikovaná matematika na FEI VŠB-TU Ostrava

Transkript

1 Návrh na zahájení habilitačního řízení David Horák, Ing. Ph.D. v oboru Aplikovaná matematika na FEI VŠB-TU Ostrava Osobní údaje Uchazeč: David Horák Datum a místo narození: , Bohumín Adresa trvalého bydliště: U Skučáku 668, Rychvald, Zaměstnání: Odborný asistent na Katedře aplikované matematiky a Senior Researcher na IT4Innovations Národním superpočítačovém centru, vše při VŠB-TUO Název habilitační práce: Scalable solvers combining FETI and QP algorithms Vzdělání VŠB TUO, Ing., Specializace Informatika a aplikovaná matematika, diplomová práce: Parallel implementation of duality based domain decomposition method with natural coarse grid for the solution of the model variational inequality, školitel prof. Dostál VŠB TUO, Ph.D., Specializace Informatika a aplikovaná matematika, disertační práce: Domain decomposition methods of FETI type for variational inequalities solution, školitel prof. Dostál Zahraniční stáže 2001 EPCC Edinburgh (2 měsíce) 2001 Johannes Kepler Universität Linz (3 měsíce) 2004 University of Colorado, Dep.of Aerospace Engineering, Boulder (2,5 měsíce) 2005 EPCC Edinburgh (1 měsíc) 2006 Stanford University California (2 měsíce) 2008 EPCC Edinburgh (1 měsíc) 2012 CSC Helsinki (1 měsíc + 1 měsíc) 2013 CSC Helsinki (2 týdny) Profesní praxe 2003 dosud Odborný asistent na Katedře aplikované matematiky na VŠB TUO Junior Researcher na IT4Innovations na VŠB TUO 2015 dosud Senior Researcher na IT4Innovations na VŠB TUO Výuka Cvičící garant Lineární algebra, Matematická analýza I, Matematická analýza II, Diskrétní matematika, Funkce komplexní proměnné, Funkce komplexní proměnné a integrální transformace, Integrální transformace, Diskrétní transformace Integrální a diskrétní transformace Vybrané statě z integrálních a diskrétních transformací

2 Školitel bakalářské práce 4 (Vůjtek, Sojka, Tomčala, Kružík (získal za svou Bc. práci mezi MSc. pracemi 2. místo v soutěži SVOČ 2016 v sekci Aplikovaná matematika numerická analýza)) diplomové práce 4 (Votípka, Rotterová, Tomčala, Sojka (získal za svou MSc. práci 3. místo v soutěži Babuškova cena 2015 v oblasti počítačových věd v kategorii MSc. prací)) Granty hlavní řešitel, spoluřešitel <projekt, cislo> <popis, nazev, resitel> Hlavní řešitel za Českou republiku projektu READEX - the European Union's Horizon 2020 research and innovation programme under grant agreement No EUR 2015 dosud Hlavní řešitel projektu GAČR S - Účinné metody odhadu životnosti pro obecné víceosé namáhání Kč Hlavní řešitel postdokovského projektu GAČR 101/09/P601 - Adaptace škálovatelných algoritmů FETI typu pro řešení rozsáhlých inženýrských úloh 3D elasticity s vysokým počtem těles ve vzájemném kontaktu Kč Granty člen řešitelského týmu <projekt, cislo> <popis, nazev, resitel> Vývoj algoritmů pro řešení složitých průmyslových problémů, CEZ:J17/98: , hl. řešitel Z. Dostál Analýza geofyzikálních dat s použitím moderních matematických metod, AVČR-Ruská AV, hl. řešitel N. Častová Výpočetně náročné počítačové simulace a optimalizace, MSM , hl. řešitel Z. Dostál Matematika pro inženýry 21. století - inovace výuky matematiky na technických školách v nových podmínkách rychle se vyvíjející informační a technické společnosti, CZ.1.07/2.2.00/ PRACE 1IP, RI , hl. řešitel za ČR V. Vondrák PRACE 2IP, RI , hl. řešitel za ČR V. Vondrák PRACE 3IP, RI , hl. řešitel za ČR V. Vondrák EXA2CT, FP7/ , č , hl. řešitel za ČR T. Kozubek HPC curriculum on Intel - Xeon Phi coprocessors Kč Ocenění 2000 Ukončení magisterského studia s vyznamenáním 2000 Cena děkana za studium, diplomovou práci a reprezentaci univerzity, Ostrava místo na studentské soutěži SVOČ, Ostrava, kategorie Aplikovaná analýza 2007 Babuškova cena za disertační práci v počítačových vědách 2008 Cena rektora za disertační práci, Ostrava

3 Publikace 15 články v impaktovaných časopisech (15 publikovány, 0 přijat k publikaci) 15 články v recenzovaných časopisech databáze Scopus 8 příspěvků ve sbornících na ISI Proceedings 21 příspěvků ve sbornících na Scopus 70 další publikace 1 další výsledky (patenty, užitné vzory atd.) 15 IF články podle ISI Web of Knowledge (ISI WoK) - <článek, pořadí v oboru/počet časopisů v oboru, počet bodů dle RIV, citace ve Wos, Scopus, Google Scholar> - Total-FETI domain decomposition method for solution of elasto-plastic problems, Cermak, Martin; Hapla, Vaclav; Horak, David; Merta, Michal; Markopoulos, Alexandros, Advances in Engineering Software, Volume 84, June 2015, Pages 48-54, IF1.402, ISSN: m Cited:1/1, 0/0, 4/2, Journal rank: 14/106/Q1, RIV: Implementation of the efficient communication layer for the highly parallel total FETI and hybrid total FETI solvers, Riha, Lubomir; Brzobohaty, Tomas; Markopoulos, Alexandros; Jarosova, Marta; Kozubek, Tomas; Horak, David; Hapla, Vaclav, PARALLEL COMPUTING, Volume: 57, Sep 2016, Pages: , IF 1.693, ISSN: , Cited: 0/0, 0/0, 0/0, Journal rank: 53/105/Q3, RIV: On R-linear convergence of semi-monotonic inexact augmented Lagrangians for bound and equality constrained quadratic programming problems with application, Dostal, Zdenek; Brzobohaty, Tomas; Horak, David; Kozubek, Tomas; Vodstrcil, Petr, Computers and Mathematics with Applications, Volume 67, Issue 3, Feb 2014, Pages , IF 1.697, ISSN: , Cited: 0/0, 1/1, 2/2, Journal rank: 26/257/Q1, RIV: On R-linear convergence of semi-monotonic inexact augmented Lagrangians for saddle point problems, Dostal, Zdenek; Horak, David; Vodstrcil, Petr, Computational Optimization and Applications, Volume 58, Issue 1, May 2014, Pages , IF 1.317, ISSN: , Cited: 1/0, 1/0, 2/1, Journal rank: 34/81/Q2, RIV: Total FETI domain decomposition method and its massively parallel implementation, Kozubek, T.; Vondrak, V.; Mensik, M.; Horak, D.; Dostal, Z.; Hapla, V.; Kabelikova, P.; Cermak, M., Advances in Engineering Software, Volume 60-61, Jul 2013, Pages 14-22, IF 1.402, ISSN: , Cited: 4/4, 5/4, 16/13, Journal rank: 28/105/Q2, RIV: A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface, Dostal, Zdenek; Horak, David; Stefanica, Dan, Journal of Computational and Applied Mathematics, Volume 231, Issue 2, 15 Sep 2009, Pages , IF 1.266, ISSN: , Cited: 3/3, 4/4, 11/8, Journal rank: 46/204/Q1, RIV: 57.0

4 - Theoretically supported scalable FETI for numerical solution of variational inequalities, Dostal, Zdenek; Horak, David, SIAM Journal on Numerical Analysis, Volume 45, Issue 2, 2007, Pages , IF 1.788, ISSN: , Cited: 20/18, 21/19, 35/28, Journal rank: 17/165/Q1, RIV: FETI-based algorithms for modelling of fibrous composite materials with debonding, Dostal, Zdenek; Horak, David; Vlach, Oldrich, Mathematics and Computers in Simulation, Volume 76, Issue 1-3, 12 Oct 2007, Pages 57-64, IF 0.949, ISSN: , Cited: 3/3, 4/4, 11/11, Journal rank: 48/84/Q3, RIV: A scalable FETI-DP algorithm for a semi-coercive variational inequality, Dostal, Zdenek; Horak, David; Stefanica, Dan, Computer Methods in Applied Mechanics and Engineering, Volume 196, Issue 8, 20 Jan 2007, Pages , IF 2.959, ISSN: , Cited: 8/7, 12/7, 18/10, Journal rank: 8/67/Q1, RIV: Total FETI - An easier implementable variant of the FETI method for numerical solution of elliptic PDE, Dostal, Zdenek; Horak, David; Kucera, Radek, Communications in Numerical Methods in Engineering, Volume 22, Issue 12, Dec 2006, Pages , IF (rok 2011), Cited: 56/50, 82/69, 125/112, Journal rank: 35/67/Q3 (v 2011: 8/90/Q1), RIV: A scalable FETI-DP algorithm for a coercive variational inequality, Dostal, Z.; Horak, D.; Stefanica, D., Applied Numerical Mathematics, Volume 54, Issue 3-4, Aug 2005, Pages , IF 1.221, ISSN: , Cited: 14/8, 16/8, 32/23, Journal rank: 82/151/Q3 (nyní 44/254/Q1), RIV: FETI based algorithms for contact problems: Scalability, large displacements and 3D Coulomb friction, Dostal, Z.; Horak, D.; Kucera, R.; Vondrak, V.; Haslinger, J.; Dobias, J.; Ptak, S., Computer Methods in Applied Mechanics and Engineering, Volume 194, Issue 2-5 SPEC. ISS., Feb 2005, Pages , IF (v ), ISSN: , Cited: 22/21, 29/27, 49/44, Journal rank: 5/65/Q1, RIV: Scalable FETI with optimal dual penalty for a variational inequality, Dostal, Z.; Horak, D., Numerical Linear Algebra with Applications, Volume 11, Issue 5-6, Jun 2004, Pages , IF 1.322, ISSN: , Cited: 19/13, 25/16, 35/25, Journal rank: 34/181/Q1, RIV: Scalability and FETI based algorithm for large discretized variational inequalities, Dostal, Z.; Horak, D., Mathematics and Computers in Simulation, Volume 61, Issue 3-6, 30 Jan 2003, Pages , IF (nyní 1.124), ISSN: , Cited: 31/20, 31/20, 45/32, Journal rank: 92/153/Q3, RIV: Description of seismic events using wavelet transfrom, Castova, Nina; Horak, David; Kalab, Zdenek, International Journal of Wavelets, Multiresolution and Information Processing, Volume 4, Issue 3, Sep 2006, Pages , IF 0.495, ISSN: , Cited: 0/0, 2/2, 2/1, Journal rank: 93/101/Q4, RIV: 11.4

5 8 konferenčních příspěvků podle ISI Proceedings - <článek> - PERMON software toolbox as solver of contact problems in mechanics, Cermak, Martin; Hapla, Vaclav; Horak, David; Pospisil, Lukas; Vasatova, Alena; Markopoulos, Alexandros, AIP Conference Proceedings, Volume 1738, Jun 2016, Article number , Cited: 0/0, 0/0, 0/0, ISSN: X - Parallel implementation of total-feti DDM with application to medical image registration, Merta, Michal; Vasatova, Alena; Hapla, Vaclav; Horak, David, Lecture Notes in Computational Science and Engineering, Volume 98, 2014, Pages , Cited: 0/0, 0/0, 1/0, ISSN: Use of direct solvers in TFETI massively parallel implementation, Hapla, Vaclav; Horak, David; Merta, Michal, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),Volume 7782 LNCS, 2013, Pages , Cited: 5/4, 6/4, 8/5, ISSN: TFETI coarse space projectors parallelization strategies, Hapla, Vaclav; Horak, David, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 7203 LNCS, Issue PART 1, 2012, Pages , Cited: 3/1, 5/1, 7/1, ISSN: FLLOP: A Massively Parallel Solver Combining FETI Domain Decomposition Method and Quadratic Programming, Hapla, Vaclav; Cermak, Martin; Markopoulos, Alexandros; Horak, David, 2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), Pages , DOI: /HPCC , ISBN: , On scalable algorithms for numerical solution of variational inequalities based on FETI and semi-monotonic augmented Lagrangians, Dostal, Z.; Horak, D., Lecture Notes in Computational Science and Engineering, Volume 40, 2005, Pages , Cited: 1/1, 4/1, 11/6, ISSN: Quadratic programming and scalable algorithms for variational inequalities, Dostal, Zdenek; Horak, David; Stefanica, Dan, Numerical Mathematics and Advanced Applications, Pages: 62-78, DOI: / _4, 2006, Cited: 0/0, 0/0, 0/0, ISBN: Scalable FETI with optimal dual penalty for semicoercive variational inequalities, Dostal, Z.; Horak, D., CURRENT TRENDS IN SCIENTIFIC COMPUTING, Book Series: Contemporary Mathematics, Volume: 329, Pages: 79-88, 2003, Cited: 6/3, ISSN: konferenčních příspěvků podle Scopus (kromě ISI Proceedings 13 příspěvků) - <článek, uvedťe impact SNIP pokud je uveden> - Solving contact mechanics problems with PERMON, Hapla, V., Horak, D., Pospisil, L., Cermak, M., Vasatova, A., Sojka, R, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes

6 in Bioinformatics), Volume 9611, 2016, Pages , Cited: -/-, 0/0, 0/0, ISSN: Active-Set based quadratic programming algorithm for solving inner optimization problems with inequalities in granular dynamics simulations, Pospíšil, L., Dostál, Z., Horak, D., Proceedings of the 4th International Conference on Particle-Based Methods - Fundamentals and Applications, PARTICLES 2015, 2015, Pages , ISBN: , Cited: -/-, 0/0, 0/0 - Massively parallel solution of elasticity contact problems using the PERMON toolbox, Hapla, V., Horak, D., Markopoulos, A., Cermak, M., Pospisil, L., Vasatova, A.,Sojka, R., Civil-Comp Proceedings, Volume 107, 2015, ISSN: , Cited: -/-, 0/0, 0/0 - FLLOP: A massively parallel solver combining FETI domain decomposition method and quadratic programming, Hapla, V., Cermak, M., Markopoulos, A., Horak, D., Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, Mar 2015, Article number , Pages , Cited: -/-, 0/0, 1/0, ISBN: TFETI coarse problem massively parallel implementation, Horák, D., Hapla, V., ECCOMAS European Congress on Computational Methods in Applied, Sciences and Engineering, 2012, Pages , Cited: -/-, 0/0, 0/0, ISBN: The OOSol scalable library based on a domain decomposition method, Horák, D., Kabelíková, P., Merta, M., Vondrák, V., Civil-Comp Proceedings, Volume 95, 2011, Cited: -/-, 0/0, 0/0, ISSN: Parallelization of the total-feti-1 algorithm for contact problems using PETSc, Horák, D., Dostál, Z., Civil-Comp Proceedings, Volume 95, 2011, Cited: -/-, 0/0, 2/1, ISSN: Parallel domain decomposition solvers for contact shape optimization problems, Vondrak, V., Kozubek, T., Dostal, Z., Kabelikova, P., Horak, D., Markopoulos, A., Proceedings of the 7th International Conference on Engineering Computational Technology, 2010, 11p, Cited: -/-, 0/0, 0/0, ISBN: Contact corner preconditioning of the FETI-DP, Horák, D., Dostál, Z., Proceedings of the 7th International Conference on Engineering Computational Technology, 2010, 16p, Cited: -/-, 0/0, 0/0, ISBN: Improving convergence of scalable FETI-DP for contact problems, Horák, D., Dostál, Z., Proceedings of the 12th International Conference on Civil, Structural and Environmental Engineering Computing, 2009, 15p, Cited: -/-, 0/0, 0/0, ISBN: Scalable FETI algorithms for frictionless contact problems, Dostál, Z., Vondrák, V., Horák, D., Farhat, C., Avery, P., Lecture Notes in Computational Science and Engineering, Volume 60, 2008, Pages , Cited: -/-, 5/5, 12/11, ISSN: FETI-DP for variational inequalities with corners on the contact interface, Horák, D., Dostál, Z., Proceedings of the 6th International Conference on Engineering Computational Technology, 2008, 17p, Cited:-/-, 0/0, 0/0, ISBN:

7 - An Overview of Scalable FETI-DP Algorithms for Variational Inequalities, Dostál, Z., Horák, D., Stefanica, D., Lecture Notes in Computational Science and Engineering, Volume 55, 2007, Pages , Cited: -/-, 3/0, 4/1, ISSN: další výsledky (patenty, užitné vzory atd.) - Registrovaný software PermonQP - ED1.1.00/ , b) CZ.1.07/2.3.00/ , Horak, D.; Hapla, V.; Cermak, M.; Pospisil, L.; Vasatova, A., (20%), 2014 Citační ohlas (k ): 209/166 (ISI WoK), 256/192 (SCOPUS), 433/337 (Google Scholar) Citační ohlas je uveden s/bez autocitací. H-index (ISI WoK): 7 H-index (SCOPUS): 7 Zvané přednášky - IT4I activities in the READEX project, HiPEAC CSW meeting, Porto, Portugalsko, dubna Will we live to a zeta machine? Development and implementation of scalable and energy efficient algorithms, PRACE Autumn School, Hagenberg, Linz, Rakousko, září IT4I structure, research activities and PERMON toolbox development, Austrian HPC meeting, Grundlsee, Rakousko února 2017 Témata výzkumu - Vývoj a paralelní implementace algoritmů kvadratického programování, metod rozložení oblasti FETI typu, spoluautor knihovny PERMON, integrální a diskrétní transformace Popis spolupráce s FEI - Veškeré výukové a vědecko-výzkumné aktivity vykonávané v rámci úvazku na Katedře aplikované matematiky David Horák, Ing. Ph.D. předložil děkanovi FEI VŠB-TU Ostrava habilitační práci v oboru Aplikovaná matematika s názvem Scalable solvers combining FETI and QP algorithms.

8

9

10

11 Děkan FEI VŠB-TU Ostrava navrhuje pro habilitační řízení Davida Horáka, Ing. Ph.D. v oboru Aplikovaná matematika komisi ve složení: předseda: členové: prof. RNDr. Radim Blaheta, CSc. - Ústav geoniky AV ČR, VŠB-TUO odborné zaměření: numerické metody a jejich aplikace, parciální diferenciální rovnice, iterační metody na řešení rozsáhlých soustav lineárních a nelineárních rovnic, paralelní algoritmy doc. RNDr. Jiří Bouchala, Ph.D. Katedra aplik. matematiky, VŠB-TUO odborné zaměření: aplikace matematické a funkcionální analýzy při řešení diferenciálních rovnic, variační metody a metoda hraničních prvků prof. Ing. Miroslav Tůma, CSc. Ústav informatiky, AV ČR, Praha odborné zaměření: numerická lineární algebra se zaměřením na předpodmiňování rozsáhlých a řídkých soustav lineárních algebraických rovnic, přímé řešiče doc. RNDr. Ivana Pultarová, Ph.D. - Fakulta stavební, ČVUT, Praha odborné zaměření: numerické metody, víceúrovňové algoritmy, iterační agregační metody, algebraický multigrid, hierarchické předpodmínění doc. RNDr. Josef Malík, CSc. Ústav geoniky AV ČR, Ostrava odborné zaměření: aplikace metod konečných a hraničních prvků, řešení rozsáhlých úloh geomechaniky