ELTE Bölcsészettudományi Kar Logika Tanszékének oktatója, valamint az ELTE Problémamegoldó Rendszerek Kiválósági Program filozófiai kutatócsoportjának tagja.