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