Zoltán Horváth, PhD, habil.

Professor, Head of Department

Director of Computer Science Institute Faculty of Informatics, Eötvös Loránd University, Budapest

Lectures

• Parallel programming - 2+2
• Parallel processes I. - I/2. 2+0
• Parallel processes II. - I/2. 2+0
• Functional programming - language elements - I/1. 2+0

Research

• Programming methodology
• Parallel programming
• Functional programming

Projects

• OTKA T37742: Verification of ditributed functional programs 2002-2005, project leader
• DemoGrid OMFB 01548: NI-2000 "DemoGRID" 2001-2002, "Programming models of GRID computing" work package leader
• IKTA 00089/2002: "JGrid" 2003-2004, "Jini Based Grid Computing Infrastructure" work package leader
• IKTA 00064/2003: 2004-2005, User oriented unifying of the Hungarian SuperGrid and ClusterGrid systems - work package leader
• CEEPUS H-81, HU-19 1998-, network coordinator
• Central European Functional Programming School - ERASMUS-IP 45677-IC-1-2003-1-HU- ERASMUS-IPUC-2, 2005.
• Bolyai Research Fellowship of the Hungarian Academy of Sciences, 2003-2006.
• OMAA 66öu2: Program Verification using Algebraic Methods (Programm-Verification mit Hilfe algebraischen Methoden), 2007
• Hypereidoc: XML standard and tools for processing Old-greek texts, 2007-2009.
• Refectoring Erlang programs, 2006-
• Analysis of F# programs, 2008-
• DSL for DSP, 2009
• TECH_08_A2-SZOMIN08: Software quality assurance service-package for open document format applications

list of publications

Membership: Faculty Council of Informatics Faculty of ELTE, NJSZT, NJSZT Commitee for Informatics in Higher Education , AITO , Informatics and Computer Science Commitee of Hungarian Academy of Sciences , Committee of Informatics of Hungarian Rectors' Conference

Member of Programme Committee of SPLST'05, IFL'05, IFL'06, TFP'06, JMLC'06, ECI'06 SPLST 2007, CEFP 2007, IFL'07, Erlang Workshop 2007, Ecoop MPOOL'07, CSCS 2008, CSE'2008, MDSE'08, ETAPS FORMED 2008, Ecoop MPOOL'07, Erlang Workshop 2008 IFL'08, Erlang Workshop 2009, WAPL'09 Informatics'09 TFP'09 CSCS 2010, CSE'2010, MACS'2010, TFP'10, Erlang Workshop 2010, SAC'11 PL , TFP'11,

Member of Editorial Board of

ANNALES UNIVERSITATIS SCIENTIARUM DE ROLANDO EÖTVÖS NOMINATAE Sectio Computatorica ,

International Journal of Grid and High Performance Computing (IJGHPC),

Address