Profil zaměstnance

Kontakt

Jméno
doc. Ing. David Horák, Ph.D.
Telefon
597 325 986 (EA 533)
597 329 663 (IT 443)
Místnost
EA 533
IT 443
Fakulta nebo úsek
FEI - Fakulta elektrotechniky a informatiky
Adresa
17. listopadu 15, Ostrava - Poruba
Studentská 1, Ostrava - Poruba
Konzultační hodiny
dle individuální domluvy

Externí kontakt
horack.david

Funkce

Funkce
Odborný asistent (470)
Senior researcher (96230)
Akademická funkce
Odborný asistent

Vzdělání

Vzdělání
viz. vědecká hodnost

Praxe
2000-2003 VŠB-TU Ostrava, Fakulta elektrotechniky a informatiky, Katedra aplikované matematiky - interní doktorand

2003-dosud VŠB-TU Ostrava, Fakulta elektrotechniky a informatiky, Katedra aplikované matematiky - odborný asistent

2012-dosud VŠB-TU Ostrava, IT4Innovations, Výzkumný program 3 - junior researcher

Vědecká hodnost
1995-2000 VŠB-TU Ostrava, Fakulta elektrotechniky a informatiky, obor Inženýrská informatika a aplikovaná matematika - Ing.

2000-2007 VŠB-TU Ostrava, Fakulta elektrotechniky a informatiky, obor Informatika a aplikovaná matematika - PhD.

Studijní pobyty a stáže
2001 EPCC Edinburgh, Velká Británie (2 měsíce)

2001 Johannes Kepler Universitat Linz, Rakousko (3 měsíce)

2004 University of Colorado – Department of Aerospace Engineering in Boulder, USA (2,5 měsíce)

2005 EPCC Edinburgh, Velká Británie (1 měsíc)

2006 Stanford University in California, USA (2 měsíce)

2008 EPCC Edinburgh, Velká Británie (1 měsíc)

2012 CSC Helsinki, Finsko (1 měsíc a 1 měsíc)

2013 CSC Helsinki, Finsko (2 týdny)

Významné ceny a ocenění
Cena děkana Fakulty elektrotechniky a informatiky VŠB-TU Ostrava za vynikající studijní výsledky, za výbornou státní závěrečnou zkoušku a diplomovou práci a za vzornou reprezentaci školy v soutěži, 2000

Druhé místo v celostátní studentské soutěži SVOČ 2000 v kategorii Aplikovaná analýza za práci Duality-based domain decomposition with natural coarse-space for variational inequalities and its parallel implementation, 2000

První místo v celostátní studentské soutěži o Babuškovu cenu v oboru počítačových věd, 2007

Cena rektora VŠB-TU Ostrava za vynikající disertační práci a reprezentaci školy, 2008

Oblast vědeckého zájmu
Paralelní řešení lineárních a nelineárních (kontaktních) úloh metodou rozložení oblasti

Dovednosti

Dovednosti
Paralelní řešení lineárních a nelineárních (kontaktních) úloh metodou rozložení oblasti

Integrální a diskrétní transformace

Ostatní odborná činnost

Učební texty
Významné projekty
EU’s Seventh Framework Programme (FP7/2007-2013)
RI-283493 - PRACE 2IP project
http://www.prace-ri.eu

EU’s Seventh Framework Programme (FP7/2007-2013)
RI-261557 - PRACE 3IP project
http://www.prace-ri.eu

Významné publikace
[1] Dostal, Zdenek; Horak, David; Stefanica, Dan: A scalable FETI-DP algorithm with non-penetration mortar conditions on contact interface, JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS Volume: 231 Issue: 2 Pages: 577-591 DOI: 10.1016/j.cam.2009.04.017 Published: SEP 15 2009, Times Cited: 1

[2] Dostal, Zdenek; Horak, David; Vlach, Oldrich: FETI-based algorithms for modelling of fibrous composite materials with debonding, Conference: 3rd IMACS Conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering Location: Pilsen, CZECH REPUBLICDate: JUL 04-08, 2005, Source: MATHEMATICS AND COMPUTERS IN SIMULATION Volume: 76 Issue: 1-3 Pages: 57-64 DOI: 10.1016/j.matcom.2007.01.026 Published: OCT 12 2007, Times Cited: 1

[3] Dostal, Zdenek; Horak, David; Stefanica, Dan: A scalable FETI-DP algorithm for a semi-coercive variational inequality, Source: COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING Volume: 196 Issue: 8 Pages: 1369-1379 DOI: 10.1016/j.cma.2006.03.025 Published: 2007, Times Cited: 7

[4] Dostal, Zdenek; Horak, David: Theoretically supported scalable feti for numerical solution of variational inequalities, Source: SIAM JOURNAL ON NUMERICAL ANALYSIS Volume: 45 Issue: 2 Pages: 500-513 DOI: 10.1137/050639454 Published: 2007, Times Cited: 17

[5] Dostal, Zdenek; Horak, David; Kucera, Radek: Total FETI - an easier implementable variant of the FETI method for numerical solution of elliptic PDE, Source: COMMUNICATIONS IN NUMERICAL METHODS IN ENGINEERING Volume: 22 Issue: 12 Pages: 1155-1162 DOI: 10.1002/cmn.881 Published: DEC 2006, Times Cited: 29

[6] Castova, Nina; Horak, David; Kalab, Zdenek: Description of seismic events using wavelet transform, Source: INTERNATIONAL JOURNAL OF WAVELETS MULTIRESOLUTION AND INFORMATION PROCESSING Volume: 4 Issue: 3 Pages: 405-414 DOI: 10.1142/S0219691306001336 Published: SEP 2006, Times Cited: 0

[7] Dostal, Zdenek; Horak, David; Stefanica, Dan: Quadratic programming and scalable algorithms for variational inequalities, Book Editor(s): DeCastro, AB; Gomez, D; Quintela, P; et al. Conference: 6th European Conference on Numberical Mathematics and Advanced Applications (ENUMATH2005) Location: Santiago de Compostela, SPAINDate: JUL, 2005, Source: Numerical Mathematics and Advanced Applications Pages: 62-78 DOI: 10.1007/978-3-540-34288-5_4 Published: 2006, Times Cited: 0

[8] Dostal, Z; Horak, D; Stefanica, D: A scalable FETI-DP algorithm for a coercive variational inequality, Conference: 16th Chemnitz Finite Element Symposium Location: Ehrenfriedersdorf, GERMANYDate: SEP 22-24, 2003, Source: APPLIED NUMERICAL MATHEMATICS Volume: 54 Issue: 3-4 Pages: 378-390 DOI: 10.1016/j.apnum.2004.09.009 Published: AUG 2005, Times Cited: 14

[9] Dostal, Z; Horak, D: On scalable algorithms for numerical solution of variational inequalities based on FETI and semi-monotonic augmented Lagrangians, Book Editor(s): Kornhuber, R; Hoppe, R; Periaux, J; et al., Conference: 15th International Conference on Domain Decomposition Methods in Science and Engineering Location: Freie Univ, Berlin, GERMANYDate: JUL 21-25, 2003, Source: DOMAIN DECOMPOSITION METHODS IN SCIENCE AND ENGINEERING Book Series: LECTURE NOTES IN COMPUTATIONAL SCIENCE AND ENGINEERING Volume: 40 Pages: 487-494 Published: 2005, Times Cited: 1

[10] Dostal, Z; Horak, D: Scalable FETI with optimal dual penalty for a variational inequality, Conference: International Conference on Preconditioning Methods for Optimal Control and Constrained Optimization Problems (PMOCCO 2002) Location: Univ Nijmegen, Nijmegen, NICARAGUADate: OCT 23-25, 2002, Source: NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS Volume: 11 Issue: 5-6 Pages: 455-472 DOI: 10.1002/nla.355 Published: JUN-AUG 2004, Times Cited: 19

[11] Dostal, Z; Horak, D: Scalability and FETI based algorithm for large discretized variational inequalities, Conference: 2nd IMACS Conference on Mathematical Modelling and Computational Methods in Mechanics, Physics, Biomechanics and Geodynamics Location: PLZEN, CZECH REPUBLICDate: JUN 19-25, 2001, Source: MATHEMATICS AND COMPUTERS IN SIMULATION Volume: 61 Issue: 3-6 Pages: 347-357 Article Number: PII S0378-4754(02)00088-5 DOI: 10.1016/S0378-4754(02)00088-5 Published: JAN 30 2003, Times Cited: 29

[12] Dostal, Z; Horak, D: Scalable FETI with optimal dual penalty for semicoercive variational inequalities, Book Editor(s): Chen, Z; Glowinski, R; Li, K, Conference: Satellite Conference on Scientific Computing (ICM2002) Location: Xian Jiaotong Univ, Xian, PEOPLES R CHINADate: AUG 15-18, 2002, Source: CURRENT TRENDS IN SCIENTIFIC COMPUTING Book Series: Contemporary Mathematics Volume: 329 Pages: 79-88 Published: 2003, Times Cited: 6


© 2017 VŠB-TU Ostrava