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

 

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


1. Egyetemi jegyzetek, tankönyvek
2. Tudományos közlemények
3. Egyéb szakmai publikációk
4. Disszertációk, tudományos 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. Kitüntetések


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.


ugrás a lap tetejére


2. Tudományos közlemények

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

 

[2] 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.

 

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

 

[4] 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.

 

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

 

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

 

[7] 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.

 

[8] 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.

 

[9] 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.

 

[10] 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.

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

 

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

 

[13] 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.

 

[14] 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.

 

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

 

[16] 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.

 

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

 

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

 

[19] 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.

 

[20] 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.

 

[21] 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.

 

[22] 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.

 

[23] 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.

 

[24] 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.

 

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

 

[26] 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.

[27] 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.

 

[28] 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.

 

[29] 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.

 

[30] 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

 

[31] 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

 

[32] 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.

 

[33] 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

 

[34] 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

 

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

 

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

 

[37] 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.

 

[38] 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.

 

[39] László Kozma- Ákos Dávid-  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.

 

 

[40] Á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.

[41] Á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.

[42] Ákos Dávid- Tamás Pozsgai- László Kozma: Extending a system with verified components. Periodica Politechnica, megjelenés alatt.



ugrás a lap tetejére


3. Egyéb szakmai publikációk

[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. – Simonfai, L.: Implementation Problems of a Multi-computer System, In: Abstracts of the 5th Conference on the Theory of Operating Systems, 17. Visegrad, p. 48, 1979.

 

[4] 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.

 

[5] 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.

 

[6] 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).

 

[7] 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.

 

[8] 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.

 

[9] 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.

 

[10] 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.

 

[11] 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

 

[12] 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.

 

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

 

[14] 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.

 

[15] 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

 

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

 

[17] Kozma László, Varga László: Párhuzamos programozástól az ágens rendszerekig. IKKK tanulmány, 2006.

 

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

 

[19] Á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.

 

[20] 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.

 

[21] 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.

 

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

 

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

 

[24] 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.

 

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

 

[26] 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

 

[27] 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.

[28]  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

[29]  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. Megjelenés alatt.


ugrás a lap tetejére


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

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

 

[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.


ugrás a lap tetejére


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

[1] Kozma, L.: Event-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.

 

[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.


ugrás a lap tetejére


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

[1]

Kozma, L.: Programozá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.



ugrás a lap tetejére


7. Lektorálások

[1]

Pásztorné Varga, K.: Logikai alapozás alkalmazásokhoz (matematikai logika - 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.



ugrás a lap tetejére


8. Pályázatok, projektek

Tanszékvezetőként, tanszékcsoport-vezetőként több intézménnyel (OM, IQSOFT, IBM, NOKIA, ISC, stb) közös projekt létrejöttét készítettem elő. Ezek közül jelenleg 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 tekintem a legfontosabbnak. A szakmai körök elismerése mellett az együttműködésnek a napi sajtóban is igen nagy a visszhangja, melyet csak a hazai orgánumokban megjelent közlemények nagy száma is jelez. Az Egyesült Államokban és Európában is számos híradás jelent meg az induló projektről.
Résztvevő kutatóként több sikeres OTKA-pályázatban vettem részt Arató Péter (BME), Benczúr András és Varga László témavezetésével.

Témavezetője voltam a következő pályázatoknak:

[1] OTKA
T-017800

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

1,320 eFt

1995-97

[2] AMFK
 464/95

Objektum-orientált programozás módszertana

250 eFt

1995-96

[3] PFP
1308/98

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

600 eFt

1998

[4] FEFA
4120

Infrastruktúrafejlesztés

20.000 eFT

1999-2000

[5] OTKA
M028136

Infrastruktúrafejlesztés

1.000 eFt

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

25.000 eFt

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 témavezetője

 

2004-2007

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

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

 

2005-2006

N 2006 146 575

 

Leonardo project: ICT Lane, Towards a shared European Language for ICT qualification and competences.  - témavezető

 

2006-2008



ugrás a lap tetejére


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.

[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.



ugrás a lap tetejére


10. Bizottsági tagságok

[1]

Számos esetben voltam bizottsági tag kandidátusi védésen, PhD-védésen.

[2]

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

[3]

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

[4]

Szakdolgozatok, diplomamunkák bírálatát végzem rendszeresen.

[5]

Tudományos konferenciákra benyújtott dolgozatok bírálatára többször kaptam felkérést (CSCS, OOOK, ECOOP, stb.)

[6]

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

[7]

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

[8]

Annales Universitatis Scientiarum Budapetinensis, Sectio Computatorica folyóirat szerkesztő bizottságában tag 2004-től.

[9]

Országos Szakmai Tanulmányi Versenyek (informatika szakcsoportok) versenybizottsági elnöke 2003/2004. tanévben.

 

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, vezetője 2001-től 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.

[6]

A Gábor Dénes Alapítvány Kuratóriumának tagja 1997-től.

[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.

[9]

A Magyar Akkreditációs Bizottság 1090 Informatikai tudományok bizottságának tagja 2001-től 2003. dec. 31-ig.

[10]

A Magyar Tudományos Akadémia választott közgyűlési képviselője 2001-től.

[11]

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

 

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.

 

[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.

 

[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.



ugrás a lap tetejére


11. Kitüntetések

Neumann János díj 2002.
Pro Universitate Emlékérem 2003.
Gábor Dénes Emlékérem 2003.


ugrás a lap tetejére