Bel- és külföldi kutatási pályázatok

 

 

Témavezető

 

Természet-motivált számítási modellek a formális nyelvek és automaták elméletében. OTKA, K 75952, 2008-2012.

 

Bio-molekuláris kiszámítások.

Magyar-francia kétoldalú tudományos és technikai

együttműködés, TéT, F-19/04, 2005-2006.

 

Biológiai indíttatású  kiszámítás: formális nyelvi modellek.

OTKA, T 042529, 2003-2006.

 

Centre of Excellence in Information Technology, Computer Science and

Control, ICA1-CT-2000-70025, HUN-TING project, Workpackage 5, 2002-2004.

 

"MolCoNet" project, Thematic Network in Molecular Computing,

IST-2001-32008, 2001-2003. Magyar témavezető.

 

Multi-ágens rendszerek formális nyelvi modelljei.

Magyar-német kétoldalú tudományos és technikai

együttműködés, TéT, D-35/00, 2000-2002.

 

Természet-motivált számítástudományi  modellek.

OTKA T 029615, 1999-2002.

 

Multi-ágens rendszerek számítástudományi modelljei.

OTKA T 017105, 1995-98.

 

 

Résztvevő

 

 

INCO-Copernicus ALTEC-KIT, 1997-98. Témavezető: Rónyai Lajos.

 

Automaták és formális nyelvek algebrai aspektusai.

Magyar-francia kétoldalú tudományos és technikai

együttműködés, "Balaton program", TéT-F-28/96 (OMFB),

1997-98. Témavezető: Ésik Zoltán.

 

Kiszámítás fákkal. A JATE Informatikai doktori programjának

fejlesztésére irányuló program. Oktatási Minisztérium,

MKM 665/96-97, 1996-98. Témavezető: Fülöp Zoltán.

 

Formális nyelvek, automaták és Petri hálók. Magyar-német

kétoldalú tudományos és technikai

együttműködés. OMFB-NPI (TéT) 102,

1995-97. Témavezető: Horváth Sándor.

 

ALTEC - Algorithms for Future Technologies. EC Cooperative Action

IC 1000, 1993-95. Témavezető: Rónyai Lajos.

 

Formális nyelvek és párhuzamosság. Kombinatorikai, automataelméleti,

és rekurzióelméleti vonatkozások.

OTKA 4295, 1992-95. Témavezető: Dömösi Pál.

 

Groupware kutatások. OTKA 2571, 1991-94. Témavezető: Csaba László.

 

 

Szerkesztői tevékenység

 

Szerkesztőbizottsági tag, International Journal of Foundations of Computer Science, World Scientific, 2007 - napjainkig,

Szerkesztőbizottsági tag, ERCIM News, Bulletin of the European Research Consortium for Informatics and Mathematics, 1995-től napjainkig.

Szerkesztőbizottsági tag, Grammars, 1998-től napjainkig.

A szerkesztő bizottság titkára, Computational Linguistics and Computer Languages, 1980-84.

 

Tagság tudományos testületekben, bizottságokban, társaságokban

 

 

Magyar Tudományos Akadémia Számítástudományi és Informatikai Bizottság, tag, 1999-től napjainkig

 

MTA Bolyai János Kutatási Ösztöndíj Kuratóriuma, szakértői kollégium (matematika), tag, 2007 – napjainkig

 

Magyar Tudományos Akadémia, közgyűlési doktorképviselő, 2004-2007

 

 

OTKA, Természettudományi Kollégium, tag, (2006-2009)

European Molecular Computing Consortium, magyar képviselő

Neumann János Számítógéptudományi Társaság, tag

European Association for Theoretical Computer Computer Science, tag

IFIP Working Group 1.2, tag

Association Computability in Europe

 

Konferencia programbizottsági tagság, elnökség

 

10th Workshop on Membrane Computing (WMC 10),  2009, Curtea de Arges, Romania.

Társszervező, Special Session ’’Computation in Biological systems”, Computability in Europe 2009 (CiE’09), 2009, Heidelberg, Germany.

 11th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2009), 2009, Magdeburg, Germany.

 3rd International Conference on Algebraic Informatics (CAI 2009), 2009, Thessaloniki, Greece.

Elnök, 12th International Conference on Automata and Formal Languages (AFL 2008), 2008, Balatonfüred.

Second International Conference on Language and Automata: Theory and Applications (LATA 2008), 2008, Tarragona, Spanyolország.

13th International Conference on Implementation and Application of Automata (CIAA 2008), 2008, San Francisco, USA.

10th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2008), 2008, Charlottetown, Kanada.

Seventh International Conference on Unconventional Computation (UC 2008), 2008, Bécs, Ausztria.

Társelnök, International Workshop on Computing with Biomolecules. Satellite workshop of UC 2008, 2008, Bécs, Ausztria.

Prague International Workshop on Membrane Computing, 2008, Prága, Csehország.

Second International Workshop on Formal Languages in Linguistics (ForLing 2008), 2008, Tarragona, Spanyolország.

Társelnök, International Symposium on Fundamentals of Computation Theory (FCT 2007),  2007, Budapest.

International Conference on Language and Automata: Theory and Applications (LATA 2007), 2007, Tarragona, Spanyolország.

2nd International Work Conference on the Interplay between Natural and Artificial Computation (IWINAC 2007), 2007, Murcia, Spanyolország.

Conference "Machines, Computations and Universality" (MCU 2007), 2007, Orleans, Franciaország.

9th International Workshop on Descriptional Complexity of Formal Systems, 2007, Novy Smokovec, Magas Tátra, Szlovákia.

12th International Conference on Implementation and Application of Automata (CIAA 2007), 2007, Prága, Csehország.

Eights Workshop on Membrane Computing (WMC8), 2007,  Thesszaloniki, Görögország.

International Workshop on Formal Languages in Linguistics (ForLing 2007), 2007, Budapest.

Automata for Cellular and Molecular Computing. International Workshop (ACMC'07), 2007, Budapest.

ESF Workshop ''Automata and formal languages for DNA computing and bio-informatics'', 2006, Como, Olaszország.

11th International Conference on Implementation and Application of Automata, CIAA 2006, Taipei, Taiwan, 2006.

Seventh Workshop on Membrane Computing, WMC7,  Leiden, Hollandia, 2006.

Tenth International Conference on Developments of Language Theory, DLT'06,  Santa Barbara, USA, 2006.

8th Workshop on Descriptional Complexity of Formal Systems, DCFS 2006,Las Cruses, USA, 2006.

1st International Workshop on Formal Models (WFM'06), Prerov, Csehország, 2006.

SYNASC Workshop, TAPS: Theory and Application of P systems, Temesvár, Románia, 2005.

6th "International Worskhop on Membrane Computing", Bécs,  Ausztria, 2005.

11th "International Conference on Automata and Formal Languages", Dobogókő,  2005.

7th International Workshop "Descriptional Complexity of Formal Systems", Como, 2005.

Elnök, "Grammar Systems Week 2004", International Workshop, Budapest, 2004. július 5-9.

5th "International Workshop on Emergent  Synthesis" (IWES'04), Budapest, 2004.

6th International Workshop "Descriptional Complexity of Formal Systems", London, Ontario.

Conference "Machines, Computations and Universality" (MCU 2004), Szentpétervár.

Társelnök,  5th International Workshop "Descriptional Complexity of Formal Systems", Budapest, 2003.

A szervezőbizottság elnöke, Annual meeting of project "MolCoNet", IST-2001-32008, november 29-30, 2002, Budapest.

A szervezőbizottság elnöke, Meeting of the European Molecular Computing Consortium, november 30, 2002, Budapest.

Workshop "Descriptional Complexity of Formal Systems", London, Ontario, Kanada,  2002.

Workshop "Descriptional Complexity of Automata, Grammars and Related Structures 2001", Bécs, Ausztria, 2001.

International Conference "Universal Machines and Computations 2001", Chisinau, Moldova, 2001.

Workshop "Descriptional Complexity of Automata, Grammars and Related Structures 2000", London, Ontario, Kanada, 2000.

International Workshop Grammar Systems 2000, Bad Ischl, 2000.

"Formal Languages and Automata", Satellite Workshop of FCT'99, Iasi, 1999.

Conference "Telecooperation", IFIP World Congress, Budapest-Bécs, 1998.

"Grammar Systems", Satellite Workshop of MFCS'98, Brno, 1998.

"Mathematical Linguistics", Satellite Workshop of MFCS'98, Brno, 1998.

Elnök, Workshop "Grammar Systems: Recent Results and Perspectives", Budapest, 1996.

International Meeting of Young Computer Scientists, Smolenice, 1986, 1988, 1990, 1992.