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í: 30.3.1977, Bohumín Adresa trvalého bydliště: U Skučáku 668, Rychvald, 73532 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í 1995 2000 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 2000 2007 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 2012 2014 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í
Š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> 2015 2016 Hlavní řešitel za Českou republiku projektu READEX - the European Union's Horizon 2020 research and innovation programme under grant agreement No 671657 457 500 EUR 2015 dosud Hlavní řešitel projektu GAČR 15-18274S - Účinné metody odhadu životnosti pro obecné víceosé namáhání - 5 700 000 Kč 2009 2011 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 459 000 Kč Granty člen řešitelského týmu <projekt, cislo> <popis, nazev, resitel> 1999 2004 Vývoj algoritmů pro řešení složitých průmyslových problémů, CEZ:J17/98:272400019, hl. řešitel Z. Dostál 2005 2008 Analýza geofyzikálních dat s použitím moderních matematických metod, AVČR-Ruská AV, hl. řešitel N. Častová 2007 2013 Výpočetně náročné počítačové simulace a optimalizace, MSM6198910027, hl. řešitel Z. Dostál 2009 2012 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/07.0332 2010 2012 PRACE 1IP, RI-261557, hl. řešitel za ČR V. Vondrák 2011 2013 PRACE 2IP, RI-283493, hl. řešitel za ČR V. Vondrák 2012 2014 PRACE 3IP, RI- 312763, hl. řešitel za ČR V. Vondrák 2013 2016 EXA2CT, FP7/2007-2013, č. 610741, hl. řešitel za ČR T. Kozubek 2015 2016 HPC curriculum on Intel - Xeon Phi coprocessors 350 000 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 2000 2. 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
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: 0965-9978m Cited:1/1, 0/0, 4/2, Journal rank: 14/106/Q1, RIV: 91.5 - 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: 154-166, IF 1.693, ISSN: 0167-8191, Cited: 0/0, 0/0, 0/0, Journal rank: 53/105/Q3, RIV: 25.1 - 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 515-526, IF 1.697, ISSN: 0898-1221, Cited: 0/0, 1/1, 2/2, Journal rank: 26/257/Q1, RIV: 108.1 - 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 87-103, IF 1.317, ISSN: 0926-6003, Cited: 1/0, 1/0, 2/1, Journal rank: 34/81/Q2, RIV: 31.0 - 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: 0965-9978, Cited: 4/4, 5/4, 16/13, Journal rank: 28/105/Q2, RIV: 49.3 - 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 577-591, IF 1.266, ISSN: 0377-0427, Cited: 3/3, 4/4, 11/8, Journal rank: 46/204/Q1, RIV: 57.0
- 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 500-513, IF 1.788, ISSN: 0036-1429, Cited: 20/18, 21/19, 35/28, Journal rank: 17/165/Q1, RIV: 108.2 - 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: 0378-4754, Cited: 3/3, 4/4, 11/11, Journal rank: 48/84/Q3, RIV: 21.7 - 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 1369-1379, IF 2.959, ISSN: 0045-7825, Cited: 8/7, 12/7, 18/10, Journal rank: 8/67/Q1, RIV: 102.2 - 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 1155-1162, IF 1.754 (rok 2011), Cited: 56/50, 82/69, 125/112, Journal rank: 35/67/Q3 (v 2011: 8/90/Q1), RIV: 124.2 - 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 378-390, IF 1.221, ISSN: 0168-9274, Cited: 14/8, 16/8, 32/23, Journal rank: 82/151/Q3 (nyní 44/254/Q1), RIV: 23.0 - 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 395-409, IF 3.467 (v. 2005 1.553), ISSN: 0045-7825, Cited: 22/21, 29/27, 49/44, Journal rank: 5/65/Q1, RIV: 141.9 - 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 455-472, IF 1.322, ISSN: 1070-5325, Cited: 19/13, 25/16, 35/25, Journal rank: 34/181/Q1, RIV: 67.1 - 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 347-357, IF 0.558 (nyní 1.124), ISSN: 0378-4754, Cited: 31/20, 31/20, 45/32, Journal rank: 92/153/Q3, RIV: 20.3 - 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 405-414, IF 0.495, ISSN: 0219-6913, Cited: 0/0, 2/2, 2/1, Journal rank: 93/101/Q4, RIV: 11.4
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 360002, Cited: 0/0, 0/0, 0/0, ISSN: 0094-243X - 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 917-925, Cited: 0/0, 0/0, 1/0, ISSN: 1439-7358 - 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 192-205, Cited: 5/4, 6/4, 8/5, ISSN: 0302-9743 - 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 152-162, Cited: 3/1, 5/1, 7/1, ISSN: 0302-9743 - 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 320-327, DOI: 10.1109/HPCC.2014.56, ISBN:978-1-4799-6123-8, 2014 - 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 487-494, Cited: 1/1, 4/1, 11/6, ISSN: 1439-7358 - Quadratic programming and scalable algorithms for variational inequalities, Dostal, Zdenek; Horak, David; Stefanica, Dan, Numerical Mathematics and Advanced Applications, Pages: 62-78, DOI: 10.1007/978-3-540-34288-5_4, 2006, Cited: 0/0, 0/0, 0/0, ISBN:3-540-34287-7 - 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: 0271-4132 21 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
in Bioinformatics), Volume 9611, 2016, Pages 101-115, Cited: -/-, 0/0, 0/0, ISSN: 03029743 - 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 732-743, ISBN: 978-849442447-2, 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: 17593433, 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 7056760, Pages 320-327, Cited: -/-, 0/0, 1/0, ISBN: 978-147996123-8 - TFETI coarse problem massively parallel implementation, Horák, D., Hapla, V., ECCOMAS 2012 - European Congress on Computational Methods in Applied, Sciences and Engineering, 2012, Pages 8260-8267, Cited: -/-, 0/0, 0/0, ISBN: 978-395035370-9 - 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: 17593433 - 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: 17593433 - 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: 978-190508839-3 - 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: 978-190508839-3 - 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: 978-190508830-0 - 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 263-270, Cited: -/-, 5/5, 12/11, ISSN: 14397358 - 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: 978-190508824-9
- 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 223-230, Cited: -/-, 3/0, 4/1, ISSN: 14397358 1 další výsledky (patenty, užitné vzory atd.) - Registrovaný software PermonQP - ED1.1.00/02.0070, b) CZ.1.07/2.3.00/30.0055, Horak, D.; Hapla, V.; Cermak, M.; Pospisil, L.; Vasatova, A., (20%), 2014 Citační ohlas (k 30.3.2016): 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, 20.-22. dubna 2016 - Will we live to a zeta machine? Development and implementation of scalable and energy efficient algorithms, PRACE Autumn School, Hagenberg, Linz, Rakousko, 27.-30. září 2016 - IT4I structure, research activities and PERMON toolbox development, Austrian HPC meeting, Grundlsee, Rakousko 22.-23. ú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.
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