|
Csuhaj-Varjú Erzsébet szakmai életrajza Beosztás
tudományos
tanácsadó, valamint részfoglalkozású
tudományos tanácsadó,
az ELTE Informatikai Kar Algoritmusok és Alkalmazásaik
Tanszékén Elérhetőségek
Magyar
Tudományos Akadémia Tel. : (+36)
(1) 279-6139,
Telex: 22 5066, Fax: (+36) (1) 4667-503 E-mail : csuhaj@sztaki.hu Algoritmusok
és Alkalmazásaik Tanszék, ELTE, Informatikai Kar, 1117 Budapest, Pázmány Péter
sétány 1/c. Tudományos
címek, fokozatok, végzettség Habilitált
doktor, informatika, Eötvös Loránd Tudományegyetem, Informatikai Kar,
Budapest, 2007. Az MTA
doktora, matematika, Budapest, 2003. A
matematikai tudomány kandidátusa, Budapest, 1993. Egyetemi
doktori cím, számítástudomány, Kossuth Lajos Tudományegyetem, Debrecen, 1981.
Okleveles
matematikus, Kossuth Lajos Tudományegyetem, Debrecen, 1972-77. Kutatási
területek Formális
nyelvek, multi-ágens rendszerek, természet-motivált
számítástudomány (molekuláris számítások, membrán
számítások, biológiai indíttatású számítástudomány). Publikációk 143 megjelent
(önálló és társszerzős) dolgozat nemzetközi folyóiratokban és
konferenciakötetekben, illetve könyvfejezetként, egy társszerzős könyv, 11
szerkesztett kötet. Hivatkozások száma 750
felett. Fontosabb tudományos előadások Computational Completeness of Hybrid Networks of Evolutionary
Processors with Seven Nodes. 10th International Workshop on Descriptional Complexity
of Formal Systems, DCFS 2008, Charlottetown, 2008. július 16-18. P automata: Membrane systems as acceptors. Computability in Europe
2008, CiE'08, Special Session: Biology and Computation. University of Athens,
Athén, 2008. június 15-20. (meghívott
előadás) Power and Size of Hybrid Networks of Evolutionary Processors.
Computational Biomodelling Laboratory, Abo Akademi, Turku, 2008. június 9. On some string-based operations modelling linear self-assembly.
Workshop ''Algorithmic Bioprocesses''. Lorentz Center, Leiden, 2007. december
3-7. (meghívott előadás) P systems with string objects and with communication by request. Eighth Workshop on Membrane Computing (WMC8), Thesszaloniki, 2007.
június 25-28. (Self-)assembly of bio-sequences in bio-inspired
networks. ESF Workshop ''Automata and formal languages for DNA computing and
bio-informatics''. Como, 2006. október 18-20. Grammar Systems: Power, Size, Universality. Workshop ''Selected Topics
in Computer Science''. Satellite Workshop of ''Theorietag 16: Automaten und
Formale Sprachen''. Technological University of Vienna, Bécs, 2006.
szeptember 27. (meghívott előadás) P colonies with a Bounded Number of Cells and Programs. 7th
International Worskhop on Membrane Computing (WMC7), Leiden, 2006. július
17-21. P automata. University of Metz, Department of Computer Science, Metz,
2005. október 6. On the power of P automata. Turku School of Computer Science, Turku,
2005. szeptember 16. Grammar Systems versus Membrane Computing: EP-colonies. 3rd Brainstorming Week on Membrane
Computing, Sevilla, 2005. január 31-február 4. Grammar Systems versus Membrane Computing: The Case of CD Grammar
Systems. Workshop ''Molecular
Computing'', Lorentz Center, Leiden University, Leiden, 2004. november 22-26. On the computational power of P automata. Otto-von-Guericke
University of Magdeburg, Magdeburg, 2004. október 20. On the power of
P automata. Technological University of Vienna, Bécs, 2004.
október 5. Reducing the size of extended gemmating P systems. Fifth Workshop on
Membrane Computing (WMC5), Milánó, 2004. június 14-16. P automata. Fifth Workshop on Membrane Computing (WMC5), Milánó, 2004.
június 14-16. (meghívott előadás) On hybrid networks of evolutionary processors. Turku School of
Computer Science, Turku, 2003. szeptember 26. On gemmating P systems. 2nd Annual MolCoNet Meeting, Bécs, 2003.
november 27. Descriptional Complexity Issues in Grammar Systems. Descriptional
Complexity of Formal Systems. 4th Workshop, 2002. augusztus
21-24, London, Ontario, Canada. (meghívott tutorial) Networks of
language processors:bio-inspired models of
computing. Workshop "Structural questions in neural networks".
Computational Neuroscience Group, Research Institute for Particle and Nuclear
Physics, Hungarian Academy of Sciences. 2002. július 1-3. (meghívott
előadás) P-automata.
Workshop of the European Molecular Computing Consortium, 2002. május 10-11, Metz. Watson-Crick
D0L rendszerek hálózatai. A Számítástudomány Alapjai Tanszék, Szegedi
Egyetem, 2002. március 26. On networks
of Watson-Crick D0L systems. Institute of Informatics. Silesian University at
Opava, Opava, 2001. november 26. Networks of
Watson-Crick D0L systems. Department of Informatics. University of Potsdam,
2001. október 15. On the
number of rules in components of cooperating distributed grammar systems with
probabilities. Third International Workshop DCAGRS'2001, Bécs, 2001. július
21. Pipeline
systems. Workshop of the European Molecular Computing Consortium, Madrid,
2001, május 11. Networks of
Watson-Crick D0L systems. Technological University of Madrid, Madrid, 2001,
május 11. Networks of
Watson-Crick D0L systems. Masaryk University, Brno, 2000. december 18. On
language-theoretic aspects of Watson-Crick complementarity: models and results.
Satellite Worskhop of Theorietag 10, "Molecular Computing, Quantum
Computing", 2000. szeptember 25-27. (meghívott előadás) Grammar
Systems: 12 years, 12 problems. Workshop Grammar Systems 2000, Bad Ischl,
2000. július 4-8. (meghívott előadás) Networks of
Watson-Crick D0L systems. 3rd International Colloquium on Words, Languages,
and Combinatorics. Kyoto, 2000. március 14-18. (meghívott előadás) Computing by
networks of Watson-Crick D0L systems. Workshop on Algebraic Systems, Formal
Languages and Computations. Kyoto, 2000. március 21-23. Parallel
Communicating Grammar Systems with Bounded Resources. Turku Centre for
Computer Science, Turku, 1999. november 24. Grammar
Systems with Bounded Resources. Workshop "Descriptional Complexity of
Automata, Grammars and Related Structures". Magdeburg, 1999. július
20-23. (meghívott előadás) Networks of
Watson-Crick D0L systems. Symposium "Recent Trends in Discrete
Mathematics", Finnish Science Days in Hungary, Budapest, 1999. április
20. (meghívott előadás) Watson-Crick
Reactive Systems. Turku Centre for Computer Science, Turku, 1998. november
27. Grammar
Systems: A grammatical approach to distribution and cooperation. LIAFA,
University Paris VII, Párizs, 1998. október 21. Watson-Crick
Reactive Systems. MFCS'98 Satellite Workshop on Molecular Computing, Brno,
1998. augusztus 25-26. (meghívott előadás) Networks of
Language Processors. MFCS'98 Satellite Workshop on Grammar Systems, Brno,
1998. augusztus 22-23. (meghívott előadás) Networks of
language processors. A language theoretic framework for locally connected
processors arrays. FIFTh IEEE International Workshop on Cellular Neural
Networks and Their Applications, London, 1998. április 14-17. Networks of
language processors. Workshop on Formal Languages, Automata and Petri Nets,
Stuttgart, 1998. január 16-17. Non-standard
eco-grammar systems. International Workshop on Grammar Systems. Institute of
Computer Science, Silesian University, Opava, 1997. december 12-13. (meghívott
előadás) Recent
developments in networks of language processors, Turku Centre for Computer
Science, Turku, 1997. november 19. Networks of
language processors: a language theoretical framework for filtering and
cooperation. Fifth DELOS Workshop on Filtering and Collaborative Filtering,
Budapest, 1997. november 10-12. Systems of
Watson-Crick language processors. Workshop on Molecular Computing, Mangalia,
1997. augusztus 17-24. (meghívott előadás) Networks of
language processors. Department of Computer Science, University of Leiden,
Leiden, February 20, 1997. Networks of
language processors. "Logic, Algebra and Computer Science. Helena
Rasiowa in memoriam". Minisemester, Stefan Banach International
Mathematical Center, Warsaw, 1996. december 12. (meghívott előadás) Eco-language-processor
systems. Department of Mathematics, University of Turku, Turku, 1996.
november 22. Networks of
language processors. XIIth Congress on Natural an Formal Languages. Generalized
eco-grammar systems: a framework for natural language generation. XIIth
Congress on Natural an Formal Languages. COLONIES: a
multi-agent approach to language generation. ECAI'96 Workshop "Extended
Finite State Models of Language". Budapest, 1996. augusztus 11-16. (meghívott
előadás) Impulse-controlled
eco-grammar systems. 8th Conference on Automata and Formal Languages
(AFL'96), Salgótarján, 1996. július 29. - augusztus 2. Networks of
Language processors. Workshop "Grammar Systems: Recent Results and
Perspectives", Budapest, 1996. július 26-27. Systems of
parallel string processors. Department of Mathematics, University of Turku,
Turku, 1995. október 18. Two variants
of eco-grammar systems. Institute of Computer Languages, Technical University
of Vienna, Bécs, 1995. június 7. Some
variants of eco-grammar systems. Institute of Mathematics, Silesian
University, Opava, 1995. május 25. Artificial
Life Models: Developmental Parallel Systems in Formal Language Theory.
Workshop "Algorithms and Future Technologies'95" (ALTEC'95), Prága,
1995. március 8-11. Bel- és külföldi kutatási
pályázatok Témavezető Temé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, tag 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.
Oktatói tevékenység Tagság oktatási szakmai bizottságokban, testületekben: Eötvös
Loránd Tudományegyetem Informatikai Doktori Iskola, az Iskola Doktori
Tanácsának tagja, Eötvös Loránd
Tudományegyetem Informatikai Doktori Iskola, törzstag, Szegedi
Egyetem Informatikai Doktori Iskola, témavezető és oktató, Rovira i
Virgili Egyetem, Tarragona,
"International Ph.D School in Formal Languages and
Applications", nemzetközi doktori
iskola professzor Témavezetői tevékenység, tanítványok kimagasló
eredménnyel Témavezetője Ph.D disszertációknak,
szakdolgozatoknak Magyarországon és külföldön, témavezetője posztdoktori
ösztöndíjasoknak. Vaszil György,
Ph.D, summa cum laude, 2001, ELTE, Csima Judit,
Ph.D, summa cum laude, 2002, ELTE, María Dolores Jiménez-López, Ph. D vendéghallgató, 1997-1999, Ph.D (Euro-doktori cím), summa cum laude, 2000, University
Rovira i Virgili, Tarragona, Vaszil György,
a Magyar Tudományos Akadémia Bolyai János Kutatási Ösztöndíjának posztdoktori
ösztöndíjasa, 2001-2004, Maurice H. ter Beek, Ph.D,
ERCIM (European Research Consortium for Informatics and Mathematics)
posztdoktori ösztöndíjas, 2002, 9 hónap, Maurice H. ter Beek, vendéghallgató, szakdolgozó, 1995-96, kitűnő
minősítésű oklevél, Leideni Egyetem. Oktatott
kurzusok az utóbbi években Biológiai indíttatású számítások: Membrán rendszerek. Eötvös Loránd
Tudományegyetem, Budapest,
Informatikai Kar, Ph.D kurzus, 2007/2008, második félév. Grammar Systems. 5th International Ph. D. School in Formal Languages and Applications,
Tarragona, University Rovira i Virgili, 2006. (első szemeszter) Biológiai indíttatású számítások: Membrán rendszerek. Eötvös Loránd
Tudományegyetem, Budapest, Informatika Kar, közös PhD és MSc kurzus,
2005/2006, második félév. Nyelvprocesszor -rendszerek. Eötvös Loránd Tudományegyetem,
Informatikai Doktori Iskola, és Pázmány Péter Katolikus Egyetem, Budapest,
Informatikai Kar, közös, PhD és MSc kurzus, 2005/2006, első félév. Grammar Systems. 4th International Ph.D
School in Formal Languages and Applications, Tarragona, University Rovira i
Virgili, 2005. (első szemeszter) Grammar Systems. 3rd International Ph.D
School in Formal Languages and Applications, Tarragona, University Rovira i
Virgili, 2004. (első szemeszter) Grammar Systems. 2nd International Ph.D
School in Formal Languages and Applications, Tarragona, University Rovira i
Virgili, 2003. (első szemeszter) Grammar Systems. 1st International Ph. D. School in Formal Languages
and Applications, Tarragona, University Rovira i Virgili, október 21-23, 2002 .
(posztgraduális kurzus) Grammatikarendszerek.
Eötvös Loránd Tudományegyetem, Informatikai PhD. program, 2000/2001, második
félév. Multi-agent
Systems: Selected Topics and Formal Models. Technical University of Vienna,
Institute of Computer Languages, Bécs, Informatics PhD. Programme, 1999/2000,
téli szemeszter. Nyelvprocesszor-rendszerek.
Szegedi Egyetem, Informatikai PhD. program, 1999/2000, első félév. Nyelvprocesszor-rendszerek.
Eötvös Loránd Tudományegyetem, Informatikai PhD program, 1997/98, második
félév. Grammar
Systems, University of Pisa, Department of
Informatics, 1997/98, második szemeszter. (graduális kurzus) Grammar
Systems, Silesian University at Opava, Faculty of Sciences, Institute of
Mathematics and Informatics, 1997/98, első szemeszter. (graduális kurzus). Nyelvprocesszor-rendszerek.
Budapesti Műegyetem, Neuromorf számítások PhD program, 1996/97. második
félév. Grammar
Systems. Grammar Systems and Metagrammatical Representations, VI. Tarragona
Seminar on Formal Syntax and Semantics, Research Group on Mathematical
Linguistics and Language Engineering, Rovira i Virgili University, Tarragona,
1996. október. (12 órás kurzus a PhD programon) |