Viktória Zsók - Department of Programming Languages and Compilers Eötvös Loránd University

Home

Teaching
Parallel Programming
Programming Languages
Parallel Functional Programming

Research
Functional Programming
Parallel Programming

Projects
Current Projects
Past Projects

Conferences
Current Conferences
Past Conferences

Contact
Contact
Lessons Schedule
Curriculum Vitae

Links
Previous Projects I was involved in:


  • OMAA 66öu2: Programm-Verification mit Hilfe algebraischen Methoden (Program Verification using Algebraic Methods)
    • Funded by Stiftung AKTION Österrich-Ungarn, 2007.


  • Central European Functional Programming School - ERASMUS-IP 45677-IC-1-2003-1-HU- ERASMUS-IPUC-2
    • Erasmus Intensive Programme funded by European Commission, 2005.


  • OTKA T37742: Verification of Distributed Functional Programs
    • Funded by Hungarian Scientific Research Fund, 2002-2005.


  • OMFB 01548: NI-2000 "DemoGRID"
    • Connecting Heterogeneous Systems to Solve Data and CPU Intensive Problems, 2001-2002.


  • CEEPUS H-81, HU-19
    • Central European Exchange Program for University Studies, 1998 - .