Vedecko/umelecko-pedagogická charakteristika osoby
Meno a priezvisko:
doc. RNDr. Dana Pardubská, CSc.
Typ dokumentu:
Vedecko/umelecko-pedagogická charakteristika osoby
Názov vysokej školy:
Univerzita Komenského v Bratislave
Sídlo vysokej školy:
Šafárikovo námestie 6, 818 06 Bratislava

I. - Základné údaje

I.1 - Priezvisko
Pardubská
I.2 - Meno
Dana
I.3 - Tituly
doc., RNDr., CSc.
I.4 - Rok narodenia
1961
I.5 - Názov pracoviska
Fakulta matematiky, fyziky a informatiky Univerzity Komenského v Bratislave
I.6 - Adresa pracoviska
FMFI UK, Mlynská dolina, 84248 Bratislava
I.7 - Pracovné zaradenie
docent
I.8 - E-mailová adresa
pardubska@dcs.fmph.uniba.sk
I.9 - Hyperlink na záznam osoby v Registri zamestnancov vysokých škôl
https://www.portalvs.sk/regzam/detail/4683
I.10 - Názov študijného odboru, v ktorom osoba pôsobí na vysokej škole
Informatika
I.11 - ORCID iD
0000-0001-9383-8117

II. - Vysokoškolské vzdelanie a ďalší kvalifikačný rast

II.1 - Vysokoškolské vzdelanie prvého stupňa
II.2 - Vysokoškolské vzdelanie druhého stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
1985
II.c - Odbor a program
Teoretická kybernetika a matematická informatika
II.3 - Vysokoškolské vzdelanie tretieho stupňa
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
1995
II.c - Odbor a program
Matematická informatika a teoretická kybernetika
II.4 - Titul docent
II.a - Názov vysokej školy alebo inštitúcie
Univerzita Komenského v Bratislave
II.b - Rok
2008
II.c - Odbor a program
Informatika
II.5 - Titul profesor
II.6 - Titul DrSc.

III. - Súčasné a predchádzajúce zamestnania

III.a - Zamestnanie-pracovné zaradenie III.b - Inštitúcia III.c - Časové vymedzenie
odborný asistent Univerzita Komenského v Bratislave 1985-2008
docent Univerzita Komenského v Bratislave 2008-

IV. - Rozvoj pedagogických, odborných, jazykových, digitálnych a iných zručností

V. - Prehľad aktivít v rámci pedagogického pôsobenia na vysokej škole

V.1 - Prehľad zabezpečovaných profilových študijných predmetov v aktuálnom akademickom roku podľa študijných programov
V.1.a - Názov profilového predmetu V.1.b - Študijný program V.1.c - Stupeň V.1.d - Študijný odbor
Výpočtová zložitosť a vypočítateľnosť Informatika I. Informatika
Bakalársky seminár (1) Informatika I. Informatika
Bakalársky seminár (2) Informatika I. Informatika
Teória vypočítateľnosti Informatika II. Informatika
Pravdepodobnostné algoritmy Informatika II. Informatika
Algoritmy a dátové štruktúry Počítačová grafika a geometria II. Matematika
Výpočtová zložitosť Počítačová grafika a geometria II. Matematika
V.2 - Prehľad o zodpovednosti za uskutočňovanie, rozvoj a zabezpečenie kvality študijného programu alebo jeho časti na vysokej škole v aktuálnom akademickom roku
V.2.a - Názov študijného programu V.2.b - Stupeň V.2.c - Študijný odbor
Informatika I. Informatika
V.3 - Prehľad o zodpovednosti za rozvoj a kvalitu odboru habilitačného konania a inauguračného konania v aktuálnom akademickom roku
V.4 - Prehľad vedených záverečných prác
V.4.1 - Počet aktuálne vedených prác
V.4.a - Bakalárske (prvý stupeň)
1
V.4.b - Diplomové (druhý stupeň)
0
V.4.c - Dizertačné (tretí stupeň)
0
V.4.2 - Počet obhájených prác
V.4.a - Bakalárske (prvý stupeň)
4
V.4.b - Diplomové (druhý stupeň)
14
V.4.c - Dizertačné (tretí stupeň)
1
V.5 - Prehľad zabezpečovaných ostatných študijných predmetov podľa študijných programov v aktuálnom akademickom roku
V.5.a - Názov predmetu V.5.b - Študijný program V.5.c - Stupeň V.5.d - Študijný odbor
Kolmogorovská zložitosť Informatika II. Informatika

VI. - Prehľad výsledkov tvorivej činnosti

VI.1 - Prehľad výstupov tvorivej činnosti a ohlasov na výstupy tvorivej činnosti
VI.1.1 - Počet výstupov tvorivej činnosti
VI.1.a - Celkovo
64
VI.1.b - Za posledných šesť rokov
13
VI.1.2 - Počet výstupov tvorivej činnosti registrovaných v databázach Web of Science alebo Scopus
VI.1.a - Celkovo
42
VI.1.b - Za posledných šesť rokov
12
VI.1.3 - Počet ohlasov na výstupy tvorivej činnosti
VI.1.a - Celkovo
191
VI.1.b - Za posledných šesť rokov
54
VI.1.4 - Počet ohlasov registrovaných v databázach Web of Science alebo Scopus na výstupy tvorivej činnosti
VI.1.a - Celkovo
158
VI.1.b - Za posledných šesť rokov
51
VI.1.5 - Počet pozvaných prednášok na medzinárodnej a národnej úrovni
VI.1.a - Celkovo
0
VI.1.b - Za posledných šesť rokov
0
VI.2 - Najvýznamnejšie výstupy tvorivej činnosti
1

Dobrev, S., Královič, R., Pardubská, D.:  

Measuring the problem-relevant information in input RAIRO - Theoretical Informatics and Applications, 43 (3), pp. 585-613 (2009)

https://www.scopus.com/inward/record.uri?eid=2-s2.0-67650494675&doi=10.1051%2fita%2f2009012&partnerID=40&md5=1c615d3db16c557b6c064b93735a318c DOI: 10.1051/ita/2009012

2

Viliam Geffert, Dana Pardubská:

Unary Coded NP-Complete Languages in Aspace(log log n). Int. J. Found. Comput. Sci. 24(7): 1167- (2013)

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84897595846&doi=10.1142%2fS0129054113400376&partnerID=40&md5=750e66d05d414c3099f99354763f32f1

DOI: 10.1142/S0129054113400376

3

Ďuriš, P., Královič, R., Pardubská, D.: Tight hierarchy of data-independent multi-head automata. (2020) Journal of Computer and System Sciences, 114, pp. 126-136.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087405144&doi=10.1016%2fj.jcss.2020.06.005&partnerID=40&md5=4bef676b68a4ed751f2677e7a28edad1

DOI: 10.1016/j.jcss.2020.06.005

4

Jirí Wiedermann, Dana Pardubská:

Wireless Mobile Computing and its Links to Descriptive Complexity. Int. J. Found. Comput. Sci. 19(4): 887-913 (2008) 

https://www.scopus.com/inward/record.uri?eid=2-s2.0-49449094641&partnerID=40&md5=3476e65f1234919123d7e7d75bf2d00d

5

Parallel communicating grammar systems with regular control and skeleton preserving FRR automata

(2011) Theoretical Computer Science, 412 (4-5), pp. 458-477.  

https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650827830&doi=10.1016%2fj.tcs.2010.10.017&partnerID=40&md5=0f18c6a2c9cae1fdf8282a965693f308 DOI: 10.1016/j.tcs.2010.10.017

VI.3 - Najvýznamnejšie výstupy tvorivej činnosti za ostatných šesť rokov
1

Pavol Duris, Rastislav Královic, Richard Královic, Dana Pardubská, Martin Pasen, Peter Rossmanith:

Randomization in non-uniform finite automata(2020) Leibniz International Proceedings in Informatics, LIPIcs, 170, art. no. MFCS-2020-30.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85090509523&doi=10.4230%2fLIPIcs.MFCS.2020.30&partnerID=40&md5=138de3f3c3333106290e7bef3950b160

DOI: 10.4230/LIPIcs.MFCS.2020.30

2

Ďuriš, P., Královič, R., Pardubská, D.: Tight hierarchy of data-independent multi-head automata. (2020) Journal of Computer and System Sciences, 114, pp. 126-136.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85087405144&doi=10.1016%2fj.jcss.2020.06.005&partnerID=40&md5=4bef676b68a4ed751f2677e7a28edad1

DOI: 10.1016/j.jcss.2020.06.005

3

Stefan Dobrev, Rastislav Královic, Dana Pardubská: 

Improved Lower Bounds for Shoreline Search. SIROCCO 2020: 80-90

 https://www.scopus.com/inward/record.uri?eid=2-s2.0-85089409530&doi=10.1007%2f978-3-030-54921-3_5&partnerID=40&md5=1946a8359ca711fd675eb03376e2bef7

DOI: 10.1007/978-3-030-54921-3_5



4

Stefan Dobrev, Rastislav Královic, Dana Pardubská:

Exploration of Time-Varying Connected Graphs with Silent Agents. SIROCCO 2020: 146-162 

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85089439428&doi=10.1007%2f978-3-030-54921-3_9&partnerID=40&md5=aa388d0c8eea337aaf6fb9f4c37fb92f 

DOI: 10.1007/978-3-030-54921-3_9

5

Brona Brejová, Askar Gafurov, Dana Pardubská, Michal Sabo, Tomás Vinar: Isometric gene tree reconciliation revisited. Algorithms Mol. Biol. 12(1): 17:1-17:16 (2017) https://www.scopus.com/inward/record.uri?eid=2-s2.0-85020660962&doi=10.1186%2fs13015-017-0108-x&partnerID=40&md5=41ae3647bcc10a8a17b237a49cc100e7

DOI: 10.1186/s13015-017-0108-x

VI.4 - Najvýznamnejšie ohlasy na výstupy tvorivej činnosti
1

2017 Boyar, J. - Favrholdt, L. M. - Kudahl, C. - Larsen, K. S. - Mikkelsen, J. W.: Online algorithms with advice: A survey. In: ACM Computing Surveys, Vol. 50, No. 2, 2017, Art. No. 19 - SCI ;

(2017) ACM Computing Surveys, 50 (2), art. no. 19, .

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85017460258&doi=10.1145%2f3056461&partnerID=40&md5=9f96ef016640c43abd3874e10f65b31b

DOI: 10.1145/3056461


Cituje: Dobrev, S., Královič, R., Pardubská, D.: Measuring the problem-relevant information in input RAIRO - Theoretical Informatics and Applications, 43 (3), pp. 585-613 (2009)

2

Georgiou, K. - Leizerovich, S. - Lucier, J. - Kundu, S.: Evacuating from ?p Unit Disks in the Wireless Model: (Extended Abstract). In: 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks,ALGOSENSORS 2021 : Lecture Notes in Computer Science, Vol. 12961.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85118156545&doi=10.1007%2f978-3-030-89240-1_6&partnerID=40&md5=c2a9fa8c72acbc632d4e17bcd26d74a6


Cituje:Stefan Dobrev, Rastislav Královic, Dana Pardubská: Improved Lower Bounds for Shoreline Search. SIROCCO 2020: 80-90

3

Boyar, J. - Kamali, S. - Larsen, K. - López-Ortiz, A.: Online bin packing with advice. In: Algorithmica, Vol. 74, No. 1, 2016, s. 507-527

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84953346863&doi=10.1007%2fs00453-014-9955-8&partnerID=40&md5=4ed1408409b83d59a1e95a5425effa27


Cituje: Dobrev, S., Královič, R., Pardubská, D.: Measuring the problem-relevant information in input RAIRO - Theoretical Informatics and Applications, 43 (3), pp. 585-613 (2009)

4

Rodriguez-Tello, E., Romero-Monsivais, H., Ramirez-Torres, G., Lardeux, F.:

Tabu search for the cyclic bandwidth problem

(2015) Computers and Operations Research, 57, pp. 17-32.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84919775222&doi=10.1016%2fj.cor.2014.11.013&partnerID=40&md5=d7a78624dfedf9979907f856f6f1a6ac


Cituje: Dobrev, S., Královič, R., Pardubská, D., Török, Ľ., Vrťo, I.: Antibandwidth and cyclic antibandwidth of Hamming graphs. EuroComb 2009 : European Conference on Combinatorics, Graph Theory and Applications. 5th, Bordeaux, 7.-11.9.2009

5

Chen, L.-H., Hung, L.-J., Lotze, H., Rossmanith, P. Online Node- and Edge-Deletion Problems with Advice (2021) Algorithmica, 83 (9), pp. 2719-2753.

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85111970685&doi=10.1007%2fs00453-021-00840-9&partnerID=40&md5=e9db86e59433da3031d015ae53b4e2ea DOI: 10.1007/s00453-021-00840-9


Cituje: Dobrev, S., Královič, R., Pardubská, D.: Measuring the problem-relevant information in input RAIRO - Theoretical Informatics and Applications, 43 (3), pp. 585-613 (2009)


VI.5 - Účasť na riešení (vedení) najvýznamnejších vedeckých projektov alebo umeleckých projektov za posledných šesť rokov
1

VEGA 1/0601/20 Modely a algoritmy pre výpočty s neúplnou informáciou. (riešiteľ )

2

VEGA 1/0463/20: Alternatívne reprezentácie veľkých genomických dát (riešiteľ)

3

VEGA 2/0165/16 Výpočty s neúplnou informáciou - algoritmy, modely, siete (riešiteľ)

4

VEGA 1/0684/16: Algoritmy pre heterogénne sekvenačné dáta novej generácie (riešiteľ)

VII. - Prehľad aktivít v organizovaní vysokoškolského vzdelávania a tvorivých činností

VII.a - Aktivita, funkcia VII.b - Názov inštitúcie, grémia VII.c - Časové vymedzenia pôsobenia
prodekan pre pregraduálne štúdium FMFI UK 2008-2016
člen Vedeckej rady FMFI UK 2011-2019
člen AS FMFI UK a AS UK FMFI UK / UK 2019-2023/2019-(2027)
člen PC pre konferencie DCFS; MFCS; SOFSEM (2016,2020); (2015, 2017); (2008,2019)
predseda organizačného výboru medzinárodných konferencií SIROCCO, MFCS, SOFSEM 2004, 2012, 2019

VIII. - Prehľad zahraničných mobilít a pôsobenia so zameraním na vzdelávanie a tvorivú činnosť v študijnom odbore

VIII.a - Názov inštitúcie VIII.b - Sídlo inštitúcie VIII.c - Obdobie trvania pôsobenia/pobytu (uviesť dátum odkedy dokedy trval pobyt) VIII.d - Mobilitná schéma, pracovný kontrakt, iné (popísať)
University of Paderborn Paderborn, Nemecko 3 mesiace 1991,1993 pobyt na pozvanie prof.J.Hromkoviča
University of Trier Trier, Nemecko 2 mesiace 1996 pobyt na pozvanie prof.Ch. Meinla
University of Ottawa Ottawa, Kanada jul 2015 pobyt na pozvanie S. Dobreva
IBM research Lab. Austin, Texas 2 týždne, 2 mesiace 2000,2001 pobyt na pozvanie prof. W. Hunta

IX. - Iné relevantné skutočnosti

IX.a - Ak je to podstatné, uvádzajú sa iné aktivity súvisiace s vysokoškolským vzdelávaním alebo s tvorivou činnosťou

recenzent pre časopisy TCS, JALC a medzinárodné konferencie;