Az adatok hitelességéről nyilatkozott: 2024. VI. 09.
| Személyes adatok | |
 |
|
| név | Kozsik Tamás |
| intézmény neve | |
| doktori iskola | |
| doktori képzéssel kapcsolatos munkájának megoszlása | ELTE Informatika Doktori Iskola 99% ELTE IDI2-ELTE Doktori Iskola Tanácsa 1% |
| Elérhetőségek | |
| drótpostacím | kto elte.hu |
| telefonszám | +36 1 209-0555/8501 |
| saját honlap | |
| saját honlap (angol) | |
| Fokozat, cím | |
| tudományos fokozat, cím | PhD |
| fokozat megszerzésének éve | 2006 |
| fokozat tudományága | informatikai tudományok |
| fokozatot kiadó intézmény neve | Eötvös Loránd Tudományegyetem |
| Jelenlegi munkahelyek | |
| 1996 - | Eötvös Loránd Tudományegyetem egyetemi oktató |
| Témavezetés | ||||||||||||||||||||||||||||||||||||||||||||||
| témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma | 20 | |||||||||||||||||||||||||||||||||||||||||||||
| ezek közül abszolutóriumot szerzettek száma | 8.5 | |||||||||||||||||||||||||||||||||||||||||||||
| témavezetettjei közül fokozatot szereztek: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| témavezetettjei folyamatban lévő doktori cselekménnyel: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| abszolutóriumot szerzett: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| jelenlegi doktorandusz hallgatói az abszolutórium várható évével: |
|
|||||||||||||||||||||||||||||||||||||||||||||
| Témakiírások | ||||||||||||||||||||||||||||||||||||||||||||||
| Kutatás | |
| kutatási terület | programozási nyelvek; formális módszerek; programelemzés és -transzformáció; párhuzamos, konkurrens és elosztott számítások |
| jelenlegi kutatásainak tudományága | informatikai tudományok |
| Közlemények | |||
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 dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol 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. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 3 nyelv: angol 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 34 nyelv: angol 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 20 nyelv: angol 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 8 nyelv: angol URL |
||
| 2005 |
Tejfel M, Horváth Z, Kozsik T: Extending the Sparkle Core language with object abstraction, ACTA CYBERNETICA 17: (2) pp. 419-445. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 18 nyelv: angol |
||
| 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 dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 32 nyelv: angol URL |
||
 | |||
| |||
| Tudománymetriai adatok | |||
| Saját közlemény- és idézőlista | Tudományos közlemény- és idézőlista mycite adattárban | ||
| a 10 válogatott közlemény közé kiválasztható közleményeinek száma: |
|
||
| összes tudományos és felsőoktatási közleményének száma: |
|
||
| kiválasztható monográfiák és szakkönyvek: |
|
||
| monográfiák és szakkönyvek száma melyben fejezetet/részt írt: |
|
||
összes tudományos közleményének és alkotásainak független idézettségi száma:  |
|
||