personal data approved: 2024. VI. 09.
| Personal data | |
 |
|
| name | Tamás Kozsik |
| name of institution | |
| doctoral school | |
| the share of work in the different doctoral schools. | ELTE Doctoral School of Informatics 99% ELTE IDI2-ELTE Council of the Doctoral School 1% |
| Contact details | |
| E-mail address | kto elte.hu |
| phone number | +36 1 209-0555/8501 |
| own web page | |
| Academic title | |
| scientific degree, title | Ph.D. |
| year degree was obtained | 2006 |
| discipline to which degree belongs | computer sciences |
| institution granting the degree | Eötvös Loránd Tudományegyetem (to be translated) |
| Employment | |
| 1996 - | Eötvös Loránd University, Budapest university professor or researcher |
| Thesis topic supervisor | ||||||||||||||||||||||||||||||||||||||||||||||
| number of doctoral students supervised until now | 20 | |||||||||||||||||||||||||||||||||||||||||||||
| number of students who fulfilled course requirements | 8.5 | |||||||||||||||||||||||||||||||||||||||||||||
| students who obtained their degrees: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| students with degree granting in process: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| completed course requirement: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| present PhD students: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| Thesis topic proposals | ||||||||||||||||||||||||||||||||||||||||||||||
| Research | |
| research area | programming languages; formal methods; program analyses and transformations; parallel, concurrent and distributed programming |
| research field in which current research is conducted | computer sciences |
| Publications | |||
2024 |
Morse Gregory, Rybotycki Tomasz, Kaposi Ágoston, Kolarovszki Zoltán, Stojčić Uroš, Kozsik Tamás, Mencer Oskar, Oszmaniec Michał, Zimborás Zoltán, Rakyta Péter: High performance Boson sampling simulation via data-flow engines, NEW JOURNAL OF PHYSICS 26: (3) 033033 type of document: Journal paper/Article language: English URL |
||
| 2024 |
Alqaradaghi Midya, Kozsik Tamás: Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code, IEEE ACCESS 12: pp. 55824-55842. type of document: Journal paper/Article language: English URL |
||
| 2022 |
Morse Gregory, Alqaradaghi Midya, Kozsik Tamas: Control flow obfuscation with irreducible loopsand self-modifying code, PUBLICATIONES MATHEMATICAE DEBRECEN 100: (Supplementum) pp. 617-637. type of document: Journal paper/Article language: English URL |
||
| 2022 |
M Alqaradaghi, G Morse, T Kozsik: Detecting security vulnerabilities with static analysis – A case study, POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 17: (2) pp. 1-7. type of document: Journal paper/Article number of independent citations: 3 language: English URL |
||
| 2020 |
Tabi Z., El-Safty K.H., Kallus Z., Haga P., Kozsik T., Glos A., Zimboras Z.: Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding, In: Hausi, A. Müller; Greg, Byrd; Candace, Culhane; Erik, DeBenedictis; Travis, Humble (szerk.) Proceedings IEEE International Conference on Quantum Computing and Engineering (QCE20) Quantum Week 2020, IEEE Computer Society (2020) pp. 56-62. type of document: Part of book/Proceedings Paper number of independent citations: 34 language: English URL |
||
| 2017 |
Kozsik T, Tóth M, Bozó I: Free the Conqueror! Refactoring divide-and-conquer functions, FUTURE GENERATION COMPUTER SYSTEMS 79: (2) pp. 687-699. type of document: Journal paper/Article number of independent citations: 9 language: English URL |
||
| 2014 |
István Bozó, Viktoria Fordós, Zoltán Horvath, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond: Discovering parallel pattern candidates in Erlang, In: Laura, M Castro; Hans, Svensson (szerk.) Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, ACM Press (2014) pp. 13-23. type of document: Part of book/Proceedings Paper number of independent citations: 20 language: English URL |
||
| 2008 |
Kozsik T., Csörnyei Z., Horváth Z., Király R., Kitlei R., Lövei L., Nagy T., Tóth M., Vig A.: Use Cases for Refactoring in Erlang, LECTURE NOTES IN COMPUTER SCIENCE 5161: pp. 250-285. type of document: Journal paper/Article number of independent citations: 8 language: English URL |
||
| 2005 |
Tejfel M, Horváth Z, Kozsik T: Extending the Sparkle Core language with object abstraction, ACTA CYBERNETICA 17: (2) pp. 419-445. type of document: Journal paper/Article number of independent citations: 18 language: English |
||
| 1999 |
Gulyás L, Kozsik T, Corliss JB: The multi-agent modelling language and the model design interface, JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 2: (3) 8 type of document: Journal paper/Article number of independent citations: 32 language: English URL |
||
 | |||
| |||
| Scientometric data | |||
| Saját közlemény- és idézőlista | list of publications and citations | ||
| number of scientific publications that meet accreditation criteria: |
|
||
| number of scientific publications: |
|
||
| monographs and professional books: |
|
||
| monographs/books in which chapters/sections were contributed: |
|
||
number of independent citations to scientific publications and creative works:  |
|
||