Horváth Zoltán

munkahely: Programozási Nyelvek és Fordítóprogramok Tanszék

beosztás: tanszékvezető egyetemi tanár
dékán, ELTE IK

képzettség: mat.-fiz.-számt. tanár, PhD, habil.

oktatott tárgyak:

• Párhuzamos programozás alapjai - Progr. mat. 3. évf. 2+2 (97/98/I.)
• Párhuzamos folyamatok I.,II - Prg. terv. mat., I/2. sáv 2+0
• Funkcionális programozás nyelvi eszközei - Prg. terv. mat., I/1. sáv 2+0 (97/98/II.)

• Bevezetés a programozáshoz
• Programozási módszertan (97/98/II.)
• Programozási nyelvek I.

• LaTeX - spec. kollégium (97/98/I.) Latex alapismeretek röviden

kutatási terület:

• Programozási módszertan
• Párhuzamos programozás
• Funkcionális programozás

Projektek vezetése

• OTKA T37742: Elosztott funkcionális programok helyessége, 2002-2005, témavezető
• OMFB 01548: NI-2000 "DemoGRID", Heterogén rendszerek összekapcsolása adat- és számításigényes feladatok megoldására, 2001-2002, "A GRID számítások modellje" munkacsoport témavezetője
• IKTA 0089/2002: JGrid: Jini Alapú számítási rendszer és integrált grafikus alkalmazás fejleszt környezet. ELTE munkacsoport témavezetője
• IKTA 0064/2003: - A magyar SzuperGrid és KlaszterGrid rendszerek felhasználó-orientált egyesítése - IKTA-00064/2003, OMFB-00501/2004, 2004-2205. ELTE munkacsoport témavezetője
• CEEPUS H-81, HU-19 1998-, hálózati koordinátor
• Central European Functional Programming School - ERASMUS-IP 45677-IC-1-2003-1-HU- ERASMUS-IPUC-2, 2005.
• OMAA 66öu2: Programhelyesség-bizonyítás algebrai módszerekkel 2007
• Ógörög szövegtöredékek feldolgozása 2007-2009.
• Erlang programok refaktorálása 2006-
• Analysis of F# programs, 2008-2010
• Funkcionális DSL DSP alkalmazásokhoz, 2009-
• TECH_08_A2-SZOMIN08 - Szoftverminőség-biztosítási szolgáltatás-csomag kidolgozása a nyílt dokumentumformátum alkalmazásaira ELTE munkacsoport témavezetője

publikációk

Programbizottsági tagság:

SPLST'05, IFL'05, IFL'06, TFP'06, JMLC'06, ECI'06, SPLST 2007, CEFP 2007, IFL'07, Erlang Workshop 2007, Ecoop MPOOL'07, ETAPS FORMED 2008, CSCS 2008, CSE'2008, MDSE'08, Ecoop MPOOL'08, 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,

Folyóirat szerkesztôbizottsági tagság:

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

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

közéleti tevékenység:

OTDK Informatika Tudományi Szekció elnökhelyettese (2005-ben - ügyvezetö elnök)

MTA Számítástud. Biz. tagja , MTA Közgyűlés doktor képviselő

NJSZT Felsôoktatási Szakosztály vezetôségi tag

A Magyar Rektori Konferencia Informatikai Tudományok Bizottsága tagja

Elérési lehetôségek: