Általános | Önéletrajz | Publikációk | Tárgyak | angol zászlóIn English

 

Publikációk és szakmai tevékenységek


1. Egyetemi jegyzetek, tankönyvek
2. Tudományos és szakmai közlemények
3. Előadások kivonata
4. Disszertációk, szakmai jelentések, dokumentációk
5. Tudományos intézetekben tartott fontosabb szakmai előadások
6. Társintézményekben tartott féléves kurzusok
7. Lektorálások
8. Pályázatok, projektek
9. Vezetői feladatok
10. Bizottsági tagságok
11. Interjúk
12. Kitüntetések
13. Sikeresen védett PhD hallgatói

1. Egyetemi jegyzetek, tankönyvek

[1] Kozma, L. – Varga, L.: Adattípusok osztálya - Definíciók, elemzés, példák, ELTE TTK Informatikai Tanszékcsoport, Budapest, 2001.

 

[2] Kozma, L. – Varga, L.: Párhuzamos rendszerek elemzése, ELTE TTK Informatikai Tanszékcsoport, Budapest, 2002.

 

[3] Kozma, L. – Varga, L.: A szoftvertechnológia elméleti kérdései, ELTE Eötvös Kiadó, első kiadás 2003, második kiadás 2006.

 

2. Tudományos és szakmai közlemények

[1] Hoffmann, P. – Kozma, L.: Mikrogép software készítése nagygépen, Programozási Rendszerek´75 Konferencia előadásai, Szeged, pp. 133-137, 1975.

 

[2] Kozma, L. – Simonfai, L.: Kommunikációs eszközök egy többgépes rendszerben, Programozási Rendszerek`78 Konferencia előadásai, Szeged, pp. 351-363, 1978.

 

[3] Kozma, L.: Absztrakt osztott adattípusok egy specifikációja, Alkalmazott Matematikai Lapok 7, pp. 331-344, 1981.

 

[4] Kozma, L.: Absztrakt Adattípusok Specifikációja Párhuzamos Programozási Környezetben, Programozási Rendszerek ´81 Konferencia előadásai II. kötet, Szeged, pp. 326-341, 1981.

 

[5] Kozma, L.: A Transformation of Strongly Correct Concurrent Programs, In: Proc. of Third Hungarian Computer Science Conference, Budapest, pp. 157-170, 1981.

 

[6] Kozma, L.: Proving the Correctness of Implementations of Shared Data Abstractions, International Symposium on Programming 5th Colloquium Turin, Lecture Notes in Computer Science Vol. 137, pp. 227-241, 1982.

 

[7] Kozma, L.: Absztrakt adattípusok párhuzamos környezetben, Kandidátusi értekezés 1982.

 

[8] Kozma, L.: On Implementation Problems of Shared Abstract Data Types, in: Abstracts of the 7th Conference on Operating Systems, pp.29-32, 1982.

 

[9] Kozma, L.:            La nestopigeco in metodo pri sinkronigo-specifo, In: Proc. of Intercomputo, Budapest, Teoriaj Practicaj Problemoj de la programado, pp. 171-182, (in Esperanto) 1982.

 

[10] Kozma, L. – Laborczi, Z.: On Implementation Problems of Shared Abstract Data Types, Conference on Operating Systems Visegrád, Hungary, Lecture Notes in Computer Science Vol. 152, pp. 146-152, 1983.

 

[11] Rácz, É. – Horváth, J. – Kozma, L.: On Testing of a Distributed Database Management System, Humboldt-Universität zu Berlin BIT' 85 Tagungsbericht Band 1, pp. 3.44-3.54 1985.

 

[12] Kozma, L.: Shared Data Abstractions, In: Proc. of Fourth Hungarian Computer Science Conference, Arató, M. – Kátai,I. – Varga.L. (eds) Győr, pp. 201-210, 1985.

 

[13] Kozma, L.: A Temporal Logic Approach to Shared Data Abstractions, Conference on Automata, Languages and Progr. Systems, Salgótarján, pp.160-172, 1986.

 

[14] Kozma, L.: On Specification of Abstract Objects, Conference on Computer Science and Software Technology, Visegrád, 1990.

 

[15] Rácz, É. – Kozma, L.: A Temporal Logic Specification of a Transaction Management System, P.U.M.A. Ser. A. Vol. 1 No. 3-4, pp. 369-374, 1990.

 

[16] Belik, F. – Kozma, L. – Rácz, É.: A Transaction Manager Controlled by a Precedence Graph, In: Proc. of the Second Symposium on Programming Languages and Software Tools, University of Tampere Report A-1991-5, pp. 172-182, 1991.

 

[17] Kozma, L. – Varga, L.: A Methodology for the Development of Shared Object Classes,      International Conference on Applied Informatics, Eger, pp. 5-14, 1993.

 

[18] Belik, F. – Kozma,L. – Krznaric, D.: Avoiding Deadlock and Starvation in a Distributed Resource Allocation System, In: Proceedings of International Conference on Parallel And Distributed Systems, Taipei, ICADS'93, pp.112-117, 1993.

 

[19] Kozma, L.:Synthesizing Methods of Parallel Systems, In: Proc. of The 8th Symposium on Microcomputer and Microprocessor Applications, Budapest, pp. 586-594, 1994.

 

[20] Kozma, L.: Programozási nyelvek szemantikájának oktatása, Informatika a Felsőoktatásban Országos Konferencia előadásai, Debrecen pp. 228-237, 1993.

 

[21] Kozma, L. – Temesvári, T.: Párhuzamos számítógépeké a jövő? (1. rész) Ispiráció 2. évf. 1. szám, pp.7-8, 1994.

 

[22] Kozma, L. – Temesvári, T.: Párhuzamos számítógépeké a jövő? (2. rész) Ispiráció 2. évf. 3. szám, pp. 21- 24, (1994).

 

[23] Horváth, Z. – Kozma, L.: Parallel Programming Methodology, Workshop on Parallel Processing, Budapest, KFKI-94-09/M, N Report, 1994.

 

[24] Kozma, L. – Rácz, É.: A Specification Technique for Scheduling the Methods of Concurrent Objects, in: Proceedings of the Fourth Symposium on Programming Languages and Software Tools (Varga, L. ed.) Visegrád, Hungary, pp. 153-164, 1995.

 

[25] Blum, L. – Kozma, L.: Öröklődés és konkurencia az objektum-orientált programozásban, I. Országos Objektum-orientált Konferencia, Kecskemét, pp. 3-15, 1996.

 

[26] Pásztorné Varga, K. – Kozma, L.: A logika és az informatikai tudományok kölcsönhatása és fejlődésük, Magyar Informatikusok I. Világtalálkozója Konferencia, pp. 445- 459, 1996.

 

[27] Hunyadvári, L. – Kozma, L. – Nyékyné Gaizler, J.: Az informatikaoktatás 25 éve az Eötvös Loránd Tudományegyetemen, Magyar Informatikusok I. Világtalálkozója Konferencia kiadványa, pp. 119- 125, 1996.

 

[28] Kozma, L.: A fejlődés várható irányai a szoftvertechnológiákban, SZÁMOKT ‘97 Informatika az Oktatásban Konferencia, Felkért előadó , Illyefalva, pp. 20-21, 1997.

 

[29] Blum,L. – Kozma, L.: Implementation Problems of a New Synchronization-Scheme, in: Proceedinds of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, pp. 24-36, 1997.

 

[30] Blum, L. – Kozma, L.: A Synchronization Specification of Concurrent Objects, in: Proc. of 3rd International Conference on Applied Informatics, Eger-Noszvaj , pp. 313-322, 1997.

 

[31] Kozma, L. – Rácz, É.: A Specification Technique for Scheduling the Methods of Concurrent Objects, Annales Univ. Sci. Budapest., Sect. Comp. 17, pp. 253-268, 1998.

 

[32] Blum, L. – Kozma, L.: Specifying Concurrent Object-Oriented Systems, in: Proc. of 4th International Conference on Applied Informatics, Eger-Noszvaj , pp. 35-41, 1999.

 

[33] Lakner, T.– Kozma, L.– Gyimóthy, T.: A Compiler Generator Based on the Pred-LL(k) Parsing Method, in: Proceedings of Fenno-Ugric Symposium FUSST’99, Sagadi, Estonia, pp. 41- 49, 1999.

 

[34] Csörnyei, Z. – Horváth, Z. – Hunyadvári, L. – Kozma, L. – Márkus, T. – Nyékyné Gaizler, J. – Porkoláb, Z.: Programozási nyelvek specializáció az ELTE programtervező matematikus képzésében, Informatika a Felsőoktatásban '99 Konferencia kiadványa, pp. 550- 556, 1999.

 

[35] Kozma, L. – Pásztorné Varga, K.: Tömegoktatás felsőfokon az informatikában (Elvárások, Kérdőjelek! Megoldások?), Informatika a Felsőoktatásban '99 Konferencia kiadványa 721-730, 1999.

 

[36] Kozma, L. – Frohner, Á. – Kozsik, T. – Porkoláb, Z.: Beyond 2000, Beyond Object-Orientation Hungarian-Korean Joint Seminar Information Technologies for the New Millenium , Budapest University of technology and Economics May 3-6, 2000

 

[37] Kozma, L. – Pásztorné Varga, K.: A logika alkalmazásainak hatása. Új irányok megjelenése. Eredmények újragondolása. Magyar informatikusok második világtalálkozója. Budapest, 2000 jún. 5-8.

 

[38] Kozma, L. – Lakner, T.: A Programming Language for Teaching Concurrent Object–Oriented Concepts, ECOOP 2000 Workshop 8: Tools and Environments for Understanding Object-Oriented Concepts, Sofia Antipolis, France, 2000.

 

[39] Kozma, L.: The Role of Abstraction Process in Software Development, 5th International Conference on Applied Informatics, Eger, 28 January-3 February, pp. 113-123, 2001.

 

[40] Kozma, L. – Frohner, Á. – Kozsik, T. – Porkoláb, Z.: Beyond 2000, Beyond Object-Orientation, In: Proc. Of the 5th International Conference on Applied Informatics, Eger, 28 January-3 February, pp. 125-134, 2001.

 

[41] Ugron, B. – Kozma, L. – Hajdara, Sz.: A strukturált programozástól az objektumelvű technológiákig, V. Országos Objektum-orientált Konferencia előadásai CD, Dobogókő, 2002

 

[42] Hajdara, Sz. – Kozma, L. – Ugron,.B.: Párhuzamos programok szintézise és objektum elvű kiterjesztésük, V. Országos Objektumorientált Konferencia előadásai CD, Dobogókő, 2002

 

[43] Varga, L. – Kozma, L.: A programfejlesztés gyakorlatának és elméletének összekapcsolása az ELTE informatikai képzési programjában, Informatika a Felsőoktatásban CD, pp. 1014-1024, Debrecen, 2002.

 

[44] Hajdara, Sz. – Kozma, L. – Ugron, B.: Synthesis of a System Composed by Many Similar Objects, Annales Univ. Sci. Budapest., Sect. Comp., 22 (2003) pp.127-150

 

[45] Ugron, B. – Kozma, L. – Hajdara, Sz – Blum L.:Implementations of Synchronization of Concurrent Objects, Annales Univ. Sci. Budapest., Sect. Comp., 24 (2004) pp.79-102

 

[46] L. Kozma, L. Varga: On the starvation problem of concurrent programs, PU.M.A. Vol. 15 (2004), No.2-3, pp. 203-212.

 

[47] B. Ugron - Sz. Hajdara – L. Kozma: Synthesis of synchronization of general pipeline systems, Acta Cybernetica 17 (2005), pp. 123-151

 

[48] Dávid Ákos- Pozsgai Tamás-Kozma László: Environment for Concurrent Programming, 5th International Conference of PHD Students, University of Miskolc, Hungary, pp. 53-58, 2005.

 

[49] Dávid Ákos- Pozsgai Tamás- Kozma- László: Educational framework for developing applications from verified components, Proceedings of the Nintth Symposium on Programming Languages and Software Tools, pp. 7- 18, Tartu, Estonia, 2005.

 

[50] Kozma László: A számítástechnika hőskora - egy volt INFELOR-os szemszögéből. Mozaikok a magyar informatikából, 42-46 oldalak, MIL-ORG KFT., 2005

 

[51] Szabolcs Hajdara, Balázs Ugron, László Kozma: A graphical interface for specifying the synchronization of a concurrent system. IKKK tanulmány, 2005.

 

[53] Kozma László, Varga László: Párhuzamos programozástól az ágens rendszerekig. IKKK tanulmány, 2006. GVOP-3.2.2-2004-07-005/3.0. 1-15.

 

[54] Ákos Dávid, Tamás Pozsgai, László Kozma: Educational aspects of contract-based testing of reusable components. IKKK tanulmány, 2006.

 

[55] Ákos Dávid, László Kozma, László Varga: On the correctness of data type classes based on contracts. IKKK tanulmány 2006 és előadás: 6th Joint Conference on Mathematics and Computer Science, Pécs, 2006. július 12-15.

 

[56] Dávid Á., Pozsgai T., Kozma L.,: Extending a system with verified components. IKKK tanulmány 2006 és előadás: 5th International Conference of PhD Students in Computer Science, Szeged, 2006. június 27-30.

 

[57] Tamás Pozsgai, Ákos Dávid, László Kozma: On the Contract-based Testing of Reusable Components. IKKK tanulmány 2006 és előadás: 6th Joint Conference on Mathematics and Computer Science, Pécs, 2006. július 12-15.

 

[58] Ákos Dávid, Tamás Pozsgai, László Kozma: Educational Framework for Developing Applications from Verified Components. IKKK tanulmány, 2006.

 

[59] Kozma László, Dávid Ákos, Pozsgai Tamás: Komponens alapú programfejlesztés. IKKK tanulmány, 2006.

 

[60] Ákos Dávid- László Kozma-  László Varga: On the correctness of data type classes based on contracts PU. M. A., Vol.17. (2006), No. 3-4, pp. 251-261.

 

[61] Ákos Dávid-László Kozma-Tamás Pozsgai: On the granularity of components. Proceedings of the 7th International Conference on Applied Informatics, Eger, January 28-31, Vol. 2. pp. 219-228. 2007.

 

[62] Ákos Dávid-László Kozma-Tamás Pozsgai: On the model checking of a system consisting of many similar components. Annales Univ. Sci. Budapest, Sect. Comp. 28 pp. 183-195, 2008.

[63] Ákos Dávid- Tamás Pozsgai- László Kozma: Extending a system with verified components. Periodica Politechnica, Electrical Engineering, 51/3-4 (2007) pp. 133-139.

http://www.pp.bme.hu/ee/index.html

 

[64] Kozma László: ELTE IKKK bemutatása és párhuzamos programok szintézise, előadás. BME-ELTE szakmai nap, Párkány, 2007. 02. 17.

 

[65] Ákos Dávid- László Kozma: Educational Aspects of Incremental Model Checking. Sybase Academic User Conference, 2007.12.04., Budapest

 

[66] László Kozma- Ákos Dávid- Tamás Pozsgai: On the model checking of a system consisting of many similar components. Numbers, Functions, Equations 2008. jún.15-21, Noszvaj

 

[67] Illés Zoltán- Istenes Zoltán- Heizlerné Bakonyi Viktória- Kozma László: Informatikai képzések összehasonlítása a közös európai keretrendszer alapján. Informatika a felsőoktatásban 2008. aug.28-29. (CD-ROM) Szerk.: Pethő Attila, Herdon Miklós.

 

[68]  Kozma László-Heizlerné Bakonyi Viktória- Illés Zoltán- Istenes Zoltán: A Sector-Specific Implementation of the European Qualification Framework. ECSS’08, Zürich, 9-10 October, 2008. http://www.informatics-europe.org/ECSS08/papers/kozma2.pdf

 

[69]  Kozma László- Heizlerné Bakonyi Viktória- Illés Zoltán- Istenes Zoltán: A European ICT Sector Framework in Line with European Qualification Framework (EQF). 120th Anniversary Celebration Lecture of Sofia University St. Kliment Ohrodski, Sofia, 24 November 2008.

 

[70] Ákos Dávid, László Kozma: Educational aspects of incremental model checking in Proceedings of the 3rd International Multi-Conference on Society, Cybernetics and Informatics, Vol 2, pp. 190-194, 10-13, 2009, Orlando, Florida, USA, ISBN-10: 1-934272-73-6, ISBN-13: 978-1-934272-73-2.,

 http://www.iiis.org/CDs2008/CD2009SCI/EISTA2009/index.asp?id=0&area=4

 

[71] Anna Medve - László Kozma - Ileana Ober: General Modelling Approach Based on the Intensive Use of Architectural and Design Patterns. In: Proceedings of the IADIS International Conference Applied Computing 2010, Timisoara, Romania, ISBN: 978-972-8939-30-4, pp. 251-255.

 

[72] Zsolt Borsi - László Kozma: Verifying Universal CTL* Properties by Checking the Properties on the Abstract Model of the System. In: Proceedings of the XXV. microCAD International Scientific Conference, 2011, Miskolc, Section M: Applied Information Engineering. ISBN: 978-963-661-966-4, pp. 13-18.

 

[73] Zsolt Borsi – László Kozma – Anna Medve: On the Verification Problems of the Component-Based Software Development. In: Proceedings of the 8th International Conference on Applied Informatics, Eger, Hungary, 2011., Vol. 2. ISBN: 978-963-9894-72-3, pp. 391-399.

 

[74] Anna Medve – György Orbán – László Kozma: Let’s Go the Verification Engineering. In: Proceedings of the 8th International Conference on Applied Informatics, Eger, Hungary, 2011., Vol. 2. ISBN: 978-963-9894-72-3, pp. 417-427.

 

[75] Zsolt Borsi, László Kozma: Model checking and testing, In Proceedings of MACS 2010, 8th  Joint Conference on Mathematics and Computer Science, Komarno, 2010. július, Eds., Horia F. Pop and Antal Bege, pp.175-184, ISBN 978-963-9056-38-1.

 

[76] Anna Medve, László Kozma: MDE process and model improvement using the Verimag IFx verification tools, In Proceedings of MACS 2010 8th Joint Conference on Mathematics and Computer Science, Komarno, 2010. július, Eds., Horia F. Pop and Antal Bege, pp.323-336. ISBN 978-963-9056-38-1.

 

[77] Kozma László, Orbán György: Kontraktusok szerepe a komponens alapú szoftverfejlesztésben, Informatika a Felsőoktatásban Konferencia kiadványa, Debrecen, 2011, CD, ISBN 978-963-473-461-1

 

[78] Dávid Ákos, Kozma László: Hálózatbiztonság formális szemmel, Informatika a Felsőoktatásban Konferencia kiadványa, Debrecen, 2011, CD,
ISBN 978-963-473-461-1

 

[79]  Istenes Zoltán, Kerek Ágnes, Kozma László: Az európai képesítési keretrendszer szektor specifikus alkalmazásának lehetőségei: az ECCE modell bemutatása, Informatika a Felsőoktatásban Konferencia kiadványa, Debrecen, 2011, CD,
ISBN 978-963-473-461-1

 

[80] György Orbán, László Kozma: Using Contracts for Developing and Testing Software Systems, in Proceedings of the International Conference on Education, Informatics, and Cybernetics (icEIC 2011), and the International Symposium on Integrating Research, Education, and Problem Solving (IREPS 2011), Eds. By: N. Callaos, H-W Chu, J. Horne, F. Welsch, Orlando, Florida,USA, November 29th – December 2nd, pp. 67-72, ISBN-978-1-936338-44-3

 

[81]     Zoltán Istenes-Ágnes Kerek-László Kozma: A sector-specific implementation of ECCE model, előadás, ECCE Engineering Observatory on Competence based Curricula for Job Enhancement, Final conference, 08/09/2011, Brussels

 

[82]     Kozma László: A számítástechnika hőskora – egy volt INFELOROS-os szemszögéből, A SZÁMALK és elődei, Összeállította és szerkesztette: Havass Miklós, Budapest, 2011, ISBN: 978-963-553-443-2

 

[83] György Orbán, László Kozma: Defining Contracts with Different Tools in Software Development, Annales Univ. Sci. Budapest., Sect. Comp. 36 (2012) pp. 323-339, ISSN 0138-9491

 

[84] László Kozma, György Orbán: On Semantic Descriptions of Software Systems, Annales Univ. Sci. Budapest., Sect. Comp. 41 (2013) pp. 57-71, ISSN 0138-9491

 

[[85] Kozma László: A programok helyességéről, Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye ünnepi kiadványa, Budapest, pp. 248-276, 2014, ISBN-978-615-5371-30-1

 

3. Előadások kivonata

[1] Kozma, L. – Simonfai, L.: mplementation Problems of a Multi-computer System, In: Abstracts of the 5th Conference on the Theory of Operating Systems, 17. Visegrad, p. 48, 1979.

 

[2] Blum László – Kozma, L.: Konkurens objektumrendszerek specifikációja (absztrakt). IV. Országos Objektum-orientált Konferencia kiadványa 15. oldal, Budapest, 2000.

 

[3] Kozma, L. – Varga, L: On the Starvation Problem of Concurrent Programs (abstract)  5th Joint Conference on Mathematics and Computer Science,  Page 53, Debrecen, Hungary, June 9-12, 2004.

 

4. Disszertációk, szakmai jelentések, dokumentációk

[1] Kozma, L.: ist-processing módszeren alapuló fordító a VT 1010/B számítógépre, Egyetemi diplomadolgozat, JATE Szeged, 1972.

 

[7] Kozma, L.: Absztrakt adattípusok párhuzamos környezetben, Kandidátusi értekezés 1982.

 

[2] Kozma, L. – Mandler György – Pacor István: OLD (Overlay Loader) Készítői dokumentáció, INFELOR 1156/73, 1973.

 

[3] Kozma, L.: VT 1005 Linkage Editor, Rendszerterv, INFELOR 1481/1975, 1975.

 

[4] Kozma, L.: LINK5 Szerkesztőprogram, VIDEOTON Software Tájékoztató ´76/3 pp. 20-22, 1976.

 

[5] Kozma, L.: LINK5 Szerkesztőprogram, Fejlesztői kézikönyv, SZÁMKI, 1976.

 

[6] Békéssy, P. – Horváth, J. – Kozma, L. – Simonfai, L.: MUSCLE Többszámítógépes rendszer monitora, Rendszerterv, SZÁMKI 1572/76, 1976.

 

[7] Farkas, Zs. – Kozma, L. – Sain, I. – Sántáné Tóth, E.: A programozáselmélet matematikai alapjai, Összeállítás Z. Manna Mathematical Theory of Computation c. könyve alapján, SZÁMKI 1818/1977, 1977.

 

[8] Kozma, L.: Muscle real-time monitor többszámítógépes szeizmikus rendszerhez, SZÁMKI 2036/1978, 1978.

 

[9] Kisdi, G. – Kozma, L.: Az ATR-300 Rendszer, MSZR Software Tájékoztató, Budapest, 1983.

 

[10] Kozma, L. – Rácz, É.: Temporális logika alkalmazása konkurens rendszerekre, OTKA kutatási jelentés, 1989.

 

[11] Rácz, É. – Kozma, L. A tabló módszer alkalmazása a különböző logikákban, OTKA kutatási jelentés, 1990.

 

5. Tudományos intézetekben tartott fontosabb szakmai előadások

[1] Kozma, L.: vent-oriented Synchronization Specification, Lomonoszov Egyetem, Moszkva, 1983.

 

[2] Kozma, L.: Synchronization Specification for Data Abstraction, Humboldt-Universität zu Berlin 1984.

 

[3] Kozma, L.: A tesztelés szerepe a megbízható szoftver előállításában, Technika Háza, Budapest, 1991.

 

[4] Kozma, L.: Programtulajdonságok kifejezése temporális logikával, KLTE, Matematikai Intézete 1992.

 

[5] Kozma, L.: Párhuzamos számítógépeké a jövő?, Informatikatanárok konferenciája, Békéscsaba, 1993.

 

[6] Kozma, L.: Párhuzamos programok szintézise, Erdélyi informatikatanárok konferenciája, Illyefalva, 1994.

 

[7] Kozma, L.: A párhuzamos programozás módszertani problémái, KLTE Matematikai Intézete 1994.

 

[8] Kozma, L.: Párhuzamos szoftverarchitektúrák, MTA Veszprémi Területi Bizottságának Számítástudomány és Matematika Munkabizottságának ülése, Győr, Széchenyi István Főiskola, 1995.

 

[9] Kozma, L.: Some Notes on Specifying Concurrent Objects, Johannes Kepler Universität, Institut für Informatik Systemsoftware, 1997.

 

[10] Kozma, L.: A fejlődés várható irányai a szoftver technológiákban, SZÁMOKT ‘97 Informatika az Oktatásban Konferencia, Felkért előadás, Illyefalva, 1997.

 

[11] Kozma, L.: A párhuzamos programozás problémái, KLTE, Debrecen, 1998.

 

[12] Kozma, L.: A konkurens objektum elvű programozás problémái, JATE, Szeged, 2000.

 

[13] Kozma, L.: Az űrkutatás és a számítástechnika, ELTE Budapest, Hunveyor szeminárium, 2004.01.22.

 

[14] Kozma, L. : On the Starvation Problem of Concurrent Programs,  5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, June 9-12, 2004.

 

[15] Kozma, L.: Synthesis methods of concurrent programs, Scientific Exchange Initiative Hungary - Baden-Württemberg, Stuttgart, 2004. október 4.

 

[16] Kozma, L.: Application Oriented Information Technology Teaching at Budapest University, First Meeting of the German-Hungarian Initiative for Cooperation in IT Education and Research, National Office of Research and Technology, Budapest, 2004. March 11.

 

[17] Kozma, L.:  On the Correctness of Object Classes, 5th International Conference on Applied Informatics, Eger, 28-30 January 2004.

 

[18] Kozma László: Sok hasonló objektum szintézise (Marton László emlékére), Széchenyi István Egyetem Győr, 2005. április 6.

 

[19] Kozma L. : Information Technology at the Faculty of Informatics in Eötvös Loránd University, Hungarian - Croatian Workshop on Mathematics and Informatics, Debrecen, 2005-10-07.

 

[20] L. Kozma: Synthesis Methods of the Pipeline Systems in Parallel Systems, Old-Union 213E School of Information Technology, Illinois State University, 2005. november 2.

 

[21] Kozma László: Komponens alapú programfejlesztés, ELTE Informatikai Kar, Jubileumi konferencia, Szigetszentmiklós, 2006.06.01.

 

[22] Kozma László: Teaching and Research at Eötvös Loránd University, Faculty of Informatics

·         Scientific Exchange initiative Hungary/Baden-Würtemberg, Ministry of Informatics and Communications, Budapest, 2004. March 30.

·         First Meeting of the German-Hungarian Initiative for Cooperation in IT Education and Research, National Office of Research and Technology, Budapest, 2004. March 11.

·         Babes-Bolyai University, Kolozsvár, 2004. május 26.

·         Morgan Stanley, August 24th, 2006, Budapest

·         Go8 Meeting, 12 September 2006, Budapest

·         ICT Lane Kick-off Meeting, Frankfurt, 27th November 2006.

·         ECCE Kick-off Meeting, Milano, 17th November, 2009.

 

[23] Kozma László: Developing applications from verified components an educational  framework. Friedrich Schiller University of Jena, Németország, 2007. október 30.

 

[24] Kozma László: A tanári mesterképzési szak informatika szakképzettség megszerzésének képzési és kimeneti követelményei. Informatika szakokat oktató intézmények képviselőinek megbeszélése, Szeged, 2006. nov.24-25.

 

[25] A 2005. évi CXXXIX. törvény a felsőoktatásról. Változások. Informatika szakokat oktató intézmények megbeszélése, Szeged, 2006. nov. 24-25.

 

[26] László Kozma: Teaching Software Technology at Eötvös Loránd University. Sybase Academic User Conference 2007. dec.4-5.

 

[27] Kozma László: A szoftvertechnológia elméleti és gyakorlati kérdései. Számítástudományi szimpózium, Győr, 2008. ápr. 30.

 

[28] Kozma László: Komponens alapú szoftverfejlesztés. 25 éves a hazai mikroszámítógépes oktatás. Emlékülés és kiállítás 2009. május 8-án a Gábor Dénes Főiskolán. Budapest, 2009. május 8.

 

6. Társintézményekben tartott féléves kurzusok

[1] Kozma, L.: rogramozásmódszertan elmélete, KLTE Debrecen, 1990, 1991.

 

[2] Kozma, L.: Párhuzamos programozás a gyakorlatban, Nyári iskola, Győr. Széchenyi István Főiskola, 1995.

 

[3] Kozma, L.: Konkurens programozás alapjai, SZIF Győr, 1997, 1998.

 

[4] Kozma, L.: Concurrent Programming, egyetemi előadás, Johannes Kepler Universität, Institut für Informatik Systemsoftware, 1999.

7. Lektorálások

[1] Pásztorné Varga, K.: Logikai alapozás alkalmazásokhoz (matematikai logika –span style="mso-spacerun:yes">  számítástudomány), Egyetemi jegyzet, ELTE TTK, Budapest, 1992.

 

[2] Gonda, J.: Bevezető fejezetek a matematikába III., Egyetemi jegyzet, ELTE TTK, Budapest, 1998.

 

[3] Gonda, J.: Bevezető fejezetek a matematikába Kiegészítés, Egyetemi jegyzet, ELTE TTK, Budapest, 1998.

 

[4] Nyékyné Gaizler, J. (szerk.) et al.: Java útikalauz programozóknak, Kalibán Bt., Budapest, 1996.

 

[5] Nyékyné Gaizler, J. (szerk.) et al.: Java 2 útikalauz programozóknak, ELTE TTK Hallgatói Alapítvány, 1999.

 

[6] Szelezsán János: Matematika, LSI Oktatóközpont, 1999.

 

[7] Nyékyné Gaizler, J. (szerk.) et al.: Programozási nyelvek összehasonlítása, 2003.

[8] Iványi Antal (szerk.): Angol-magyar informatikai szótár, Tinta Könyvkiadó, Budapest, 2006.

8. Pályázatok, projektek

Tanszékvezetőként, tanszékcsoport-vezetőként több intézménnyel (OM, IQSOFT, IBM, NOKIA, ISC, tb) közös projekt létrejöttét készítette elő. Ezek közül a szakmai körökben is jelentős együttműködésnek tartott, a Simonyi Károly vezette ISC-vel kötött megállapodást tekinti az egyik legfontosabbnak. Az együttműködésnek a napi sajtóban is igen nagy volt a visszhangja, az Egyesült Államokban és Európában is számos híradás jelent meg a projektről.

Résztvevő kutatóként több sikeres OTKA-pályázatban vett részt Arató Péter (BME), Benczúr András és Varga László témavezetésével; a TÁMOP 4.1.3 Felsőoktatás-fejlesztési alprojekt – 2. ütem pályázat szakértője 2013-2014 -ben.

 

Témavezetője ill. hazai koordinátora a következő pályázatoknak:

 

[1] OTKA
T-017800

Objektum-orientált programozás elméleti alapjai párhuzamos környezetben

1995-97

[2] AMFK
 464/95

Objektum-orientált programozás módszertana

1995-96

[3] PFP
1308/98

Az angol nyelvű képzés megújítása

1998

[4] FEFA
4120

Infrastruktúrafejlesztés

1999-2000

[5] OTKA
M028136

Infrastruktúrafejlesztés

1998

[6] PEA/1330/P/U/V

ELTE Informatikai Kooperációs Kutatási és Oktatási Központ (ELTE IKKK) létrehozása és működtetése

2003-2004

ELTE IKKK GVOP-3.2.2.2004-07-0005/3.0

Informatikai Kooperációs Kutatási és Oktatási Központ 3. számú kutatási főirány

2004-2007

HEFOP-3.3.1-P.-2004-09-0093/1.0

Tudásszintkiegyenlítő, rövid ciklusú e-Learning kurzusok kifejlesztése

2005-2006

N 2006 146 575

 

Leonardo project: ICT Lane, Towards a shared European Language for ICT qualification and competences.

2006-2008

504345-LLP-1-2009-1-IT-ERASMUS-ECCE

Engineering Observatory on Competence Based Curricula for Job Enhancement

2009-2011

TÁMOP-4.2.1/B-09/1/KMR-2010-0003

 

ELTE Kutatóegyetemi pályázatában “Modellvezérelt szoftverfejlesztés verifikációs problémái elosztott környezetben” alprogram

22010 – 2012

 

9. Vezetői feladatok

[1] Az ELTE TTK Általános Számítástudományi Tanszék vezetője 1996. aug. 1-jétől 2003. aug. 31-ig.o:p>

 

[2] Az ELTE TTK Informatikai Tanszékcsoport vezetője 1997. szept. 15-től 2001. jún. 30-ig.

 

[3] Az ELTE TTK gazdasági és műszaki dékánhelyettese 2001. aug. 1-jétől 2003. máj. 31-ig.

 

[[4] Az ELTE Informatikai Kar dékánja 2003. szept. 1-jétől 2012. július 31-ig.

 

10. Bizottsági tagságok

[1] Számos esetben volt bizottsági tag kandidátusi védésen, PhD-védésen. o:p>

 

[2] Több kandidátusi értekezés, PhD-dolgozat bírálatát készítette el.

 

[3] Többször kapott felkérést különböző pályázatok bírálatára.

 

[4] Szakdolgozatok, diplomamunkák bírálatát végezte.

 

[5] Tudományos konferenciákra benyújtott dolgozatok bírálatára többször kapott felkérést (CSCS, OOOK, ECOOP, CEE-SET,  stb.)

 

[6] Rendszeresen részt vett az ELTE informatikus szakterületén működő államvizsga-bizottságok munkájában.

 

[7] Diplomavédésen elnöki teendőket látott el a Veszprémi Egyetem Műszaki Informatika szakán 2003-ban.

 

[8] Záróvizsga bizottság elnöki teendői a Budapesti Műszaki Főiskola Neumann János Informatikai Karán 2008-ban.

 

[9] Országos Szakmai Tanulmányi Versenyek (informatika szakcsoportok) versenybizottsági társelnöke 2003-tól évente 2011-ig.

 

Folyóiratok szerkesztőbizottságának tagja

[1] Annales Universitatis Scientiarum Budapetinensis, Sectio Computatorica – 2004-től.

 

[2] Annales Mathematicae et Informaticae – 2005.

 

[3] Teaching Mathematics and Computer Sciences - 2007.

 

Egyetemi, szakmai bizottságokban

[1] Az ELTE TTK Informatikai Tanszékcsoport Tanácsának tagja 1993-tól 2001-ig.

 

[2] Az ELTE TTK Gazdasági Bizottságának tagja 1997-től 2003-ig, vezetője 2001- 2003-ig.

 

[3] Az ELTE TTK Kari Tanácsának tagja 1997-től 2003. máj. 31-ig

 

[4] Az ELTE TTK Dékáni Tanácsának tagja 1997-től 2003. máj. 31-ig.

 

[5] Az MTA Matematikai Tudományok Osztálya Informatika- és Számítástudományi Bizottságának tagja 1996-tól 2014-ig.

 

[6] A Gábor Dénes Alapítvány Kuratóriumának tagja 1997-2007.

 

[7] Az OTDK Informatikai Szekció Szakmai Bizottságának tagja 1996-tól 2000-ig.

 

[8] A Pázmány-Eötvös Természettudományi Információs Alapítvány Felügyelőbizottságának tagja 2001-től 2012-ig.

 

[9] A Magyar Akkreditációs Bizottság Informatikai tudományok bizottságának tagja 2001-től 2003. dec. 31-ig, 2007-től 2009-ig.

 

[10] A Magyar Tudományos Akadémia választott közgyűlési képviselője két cikluson át 2001-től-2007-ig.

 

[11] A Debreceni Egyetem TTK Kari Doktori Tanácsának tagja 2002. ápr. 1-jétől-2005-ig.

 

[12] Infopark Alapítvány Felügyelő Bizottságának tagja 2008-tól 2012-ig.

 

Konferenciák programbizottságaiban és szervezőbizottságaiban

[1] Symposium on Programming Languages and Software Tools Programbizottságának tagja 1995-2007.

 

[2] International Conference on Applied Informatics Programbizottságának tagja 1997, 1999, 2001, 2004, 2007, 2010.

 

[3] Illyefalvi Konferencia Programbizottságának tagja 1997, 1999.

 

[4] CSCS Szeged Tudományos bizottság tagja 2000, 2002, 2004, 2006, 2008.

 

[5] Informatika a Felsőoktatásban Konferencia Programbizottságának tagja 1999, 2002.

 

[6] ECOOP 2001 Szervezőbizottságának társelnöke, 2001.

 

[7] V. Országos Objektum-orientált Konferencia Programbizottságának elnöke 2002.

 

[8] Az AITO (Association Internationale pour les Technologies Objets) tagja 2002-től 2014-ig.

 

[[9] Thirteenth International Symposium on Temporal Representation and Reasoning (TIME 2006) Programbizottságának tagja

 

[10] CEE-SET 2007, 2008 (Central and East-European Conference on Software Engineering Techniques) 2007, 2008, 2009.

 

11. Interjúk

[1] Átalakul a hazai informatikusképzés, Világgazdaság, 35. évf. 235. (8744.) szám, 2003. december 4.o:p>

 

[2] Iskolapélda: a magyar informatikaoktatás helyzete I. rész, Magyar Televízió, 2005.

 

[3] Iskolapélda: a magyar informatikaoktatás helyzete II. rész, Magyar Televízió, 2005.

 

[4] LINUX-48 verseny, Club rádió, 2005.

 

[5] Informatikus-lépcsőfokok (Az ELTE-n már szeptemberben indul az első alapképzés), a Világgazdaság havi melléklete, 2005. augusztus

 

[6] Eastern Europe’s Silicon Rush, The Chronicle of Higher Education, March 9, 2007, A45-A46

12. Kitüntetések

Neumann János díj 2002. augusztus 28. – Neumann János Számítógép-tudományi Társaságo:p>

 

Pro Universitate emlékérem 2003. szeptember 5. – Eötvös Loránd Tudományegyetem Szenátusa

 

Gábor Dénes emlékérem 2003. szeptember 27. – Gábor Dénes Főiskola

 

Magyar Köztársasági Érdemrend Lovagkeresztje, 2009. február 20. – Magyar Köztársaság Elnöke

 

Eötvös Collegiumért emlékérem 2011. – Eötvös József Collégium

 

Az Egyetem emlékérme 2012. szeptember 7. – Eötvös Loránd Tudományegyetem Szenátusa

 

PPro Facultate Informatica emlékérme 2013. május 9. – ELTE Informatikai Kar Tanácsa

 

13. Sikeresen védett PhD hallgatói

 

Ulbert Attila               2004 ELTE,

Szlávi Péter                2005 ELTE,

Hajdara Szabolcs        2008 ELTE,

Ugron Balázs              2008 ELTE,

Radu Gaceanu            2012 Babes-Bolyai Tudományegyetem Kolozsvár,

Dávid Ákos                2013 ELTE,

Medve Anna               202014 ELTE.

ugrás a lap tetejére