Gregorics Tibor

1986-tól az ELTE Természettudományi Tanszékének (TTK) Általános Számítástudományi Tanszékén főállású oktató; 1992-2008 között a programtervező matematikus szak Mesterséges Intelligencia (MI) sávjának felelőse, a Mesterséges intelligencia alapjai I-II tárgyak felelőse és előadója volt.

1994-ben PhD fokozatot szerzett az ELTE-n. 1996-tól egyetemi docens, az ELTE Általános Számítástudományi (később a Programozáselmélet és Szoftvertechnológiai) Tanszékén. 2001-2012 között az Elemi alkalmazások fejlesztése c. tantárgy csoportfelelőse, a tematika egyik kidolgozója és előadója.

Közben, 2005-2008 között főiskolai tanár a Gábor Dénes Főiskolán (GDF), ahol a C# nyelv tantárgy vezető tanára volt. 2008-tól az ELTE Informatika Kar (IK) programtervező informatikus alapszakon a Mesterséges intelligencia és a Programozás c. tantárgyak felelőse és előadója. 2012-től a programtervező informatikus mesterszakon a Szintézis és verifikáció, későbbi nevén a Programozáselmélet, az Ismeretalapú modellezés és az Objektum elvű alkalmazások fejlesztése c. tárgyak felelőse és előadója.

2009-2014 között Mesterséges intelligencia kurzusokat tartott a Selye János Egyetemen a CEEPUS (Central European Exchange Program for University Studies) támogatásával. 2014-ben mesterkurzust tartott a Sapientia Erdélyi Magyar Tudományegyetemen a Program szintézis és verifikáció témakörben.

2013-tól részt vett az ELTE-Ericsson együttműködés keretében a modell-vezérelt szoftverfejlesztés (MDD) projektben – végrehajtható Unified Modeling Language (UML) témakörben. 2013-2014 között részt vett az Európai Innovációs és Technológiai Intézet “Knowledge and Innovation Communities” EIT KIC_12-1-2012-0001 projektjében, amely BSc-s hallgatók irányítását jelentette szoftverfejlesztési feladatok megoldásában, különféle korlátprogramozási (CPS: Constraint Programming Systems) témakörökben.

2015-től az ELTE IK Programozáselmélet és Szoftvertechnológiai Tanszék tanszékvezetője. 2020-ban habilitált az ELTE-n.

Tagja az MTA Informatika- és Számítástudományi Bizottságának. 1996-2011 között az NJSZT Mesterséges Intelligencia szakosztály vezetőségi tagja; 1996-ban Európai Mesterséges Intelligencia Konferencia (ECAI’06) szervező bizottságának tagja.

Kitüntetései: a Kar kiváló hallgatója (ELTE TTK, 1986); a Kar Kiváló Oktatója (ELTE IK, 2008, 1012).