Horváth Zoltán

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

beosztás: tanszkvezet egyetemi tanr
dkn, ELTE IK

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

oktatott tárgyak:

• Osztott rendszerek specifikációja és implementációja - Progr. inf. 3. évf. 2+2+1 (16/17/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 rviden

kutatási terület:

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

Projektek vezetse

• OTKA T37742: Elosztott funkcionlis programok helyessge, 2002-2005, tmavezet
• OMFB 01548: NI-2000 "DemoGRID", Heterogn rendszerek sszekapcsolsa adat- s szmtsignyes feladatok megoldsra, 2001-2002, "A GRID szmtsok modellje" munkacsoport tmavezetje
• IKTA 0089/2002: JGrid: Jini Alap szmtsi rendszer s integrlt grafikus alkalmazs fejleszt krnyezet. ELTE munkacsoport tmavezetje
• IKTA 0064/2003: - A magyar SzuperGrid s KlaszterGrid rendszerek felhasznl-orientlt egyestse - IKTA-00064/2003, OMFB-00501/2004, 2004-2205. ELTE munkacsoport tmavezetje
• CEEPUS H-81, HU-19 1998-, hlzati koordintor
• Central European Functional Programming School - ERASMUS-IP 45677-IC-1-2003-1-HU- ERASMUS-IPUC-2, 2005.
• OMAA 66u2: Programhelyessg-bizonyts algebrai mdszerekkel 2007
• grg szvegtredkek feldolgozsa 2007-2009.
• Erlang programok refaktorlsa 2006-
• Analysis of F# programs, 2008-2010
• Funkcionlis DSL DSP alkalmazsokhoz, 2009-
• TECH_08_A2-SZOMIN08 - Szoftverminsg-biztostsi szolgltats-csomag kidolgozsa a nylt dokumentumformtum alkalmazsaira ELTE munkacsoport tmavezetje

publikációk

Programbizottsgi tagsg:

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,

Folyirat szerkesztôbizottsgi tagsg:

ANNALES UNIVERSITATIS SCIENTIARUM DE ROLANDO ETVS NOMINATAE Sectio Computatorica ,

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

közéleti tevékenység:

OTDK Informatika Tudomnyi Szekci elnkhelyettese (2005-ben - gyvezet elnk)

MTA Szmtstud. Biz. tagja , MTA Kzgyls doktor kpvisel

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

A Magyar Rektori Konferencia Informatikai Tudomnyok Bizottsga tagja

Elérési lehetôségek: