Dr Kusper Gábor

habilitált egyetemi docens
Számítástudományi Tanszék, EKF

A MeMOOC online informatikai egyetem szakmai vezetője

Letöltés PDF

gkusper(kukac)aries(pont)ektf(pont)hu

Diplomák

Programtervező Matematikus

Egyetemi diploma, Kossuth Lajos Tudományegyetem, Debrecen (1999)
Specializálódás: Adatbázis kezelés, Objektum Orientált Programozás

Matematikai és Informatikai PhD

RISC-Linz, Johannes Kepler University Linz, Ausztria.
Cím: Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation

PhD honosítása a Debreceni Egyetemen

Anyakönyvi szám: 12/2006. PhDh

Publikációim

Publikációs listám megtekintése

Születési adatok

  • Születési idő:
  • Születési hely:
  • Állampolgárság:
  • 1976.01.20.
  • Sátoraljaújhely
  • Magyar

Nyelvismeret

  •  
  • Angol közép A
    Német közép C
    állami nyelvvizsga

Munkakörök

Tanszékvezető főiskolai docens

Számítástudományi Tanszék

2009 -

Eszterházy Károly Főiskola

A web-programozó FSZ szakfelelőse

Információtechnológiai Tanszék

2008 -

Eszterházy Károly Főiskola

Megbízott tanszékvezető

Számítástudományi Tanszék

2007 - 2009

Eszterházy Károly Főiskola

Adjunktus

Számítástudományi Tanszék

2005 - 2009

Eszterházy Károly Főiskola

Tanársegéd

Információtechnológiai Tanszék

2003 - 2005

Eszterházy Károly Főiskola

Hosszabb látogatások és Ösztöndíjjak

Osztrák-Magyar Akció Alapítvány

1 hónapos kutatói ösztöndíja

2009. június

Osztrák-Magyar Akció Alapítvány

1 hónapos kutatói ösztöndíja

2004. augusztus

Osztrák-Magyar Akció Alapítvány

6 hónapos kutatói ösztöndíja

2001. február – július

A felsőausztriai kormány ösztöndíjja

„For Young Researchers”

1999-2001.,2002-2003.

Tempus Ösztöndíj

Universität-GH Paderborn (Németország)

1996. október – 1997. február

Téma: Problems of modulo arithmetics.

Köztársasági Ösztöndíj

1996.

Elismerések

Eszterházy Károly Főiskoláért ezüst plakett

Vésett szövege: „Agria orat et docet” Lyceum Pro Scientiis Alapítvány

2008

Eszterházy Károly Főiskola Elismerő Oklevele

Felkészítő tanárságért

2008. április 9.

A legeredményesebb felkészítő tanár

Az IBM 48 órás programozói bajnokságon.

2007. december 12.

A Tudomány Jövőjéért Díj

Abacus Alapítvány és Matematikai és Informatikai Intézet,
Eszterházy Károly Főiskola közös díja

2006. május 11.

Kiváló Előadás

CSCS konferencia, Szeged

2002

Előadás címe: Investigation of Binary Representations of SAT especially 2-Literal Representation

OTDK különdíj

1999

Csapattagok: Kusper Gábor, Bósa Károly, Márien Szabolcs

Pro Regione Díj

Kossuth Lajos Tudományegyetem

1998

2. helyezés

Második Nemzetközi Egyetemi 24 órás programozói versenyen

1994

A Földes-Szinva Net csapat tagjaként.

Tanítási tapasztalat

Eszterházy Károly Főiskola

Fő állású oktató

2003 -

Tárgyak: Mesterséges intelligencia, Matematikai logika, Programozás 1-2. gyakorlat, Algoritmus gyakorlat, Rendszerszervezés, Programozási technológiák.

Miskolci Egyetem

Óraadó

2007 -

Tárgyak: Programtervezési minták.

Debreceni Egyetem

PhD hallgatóként

2001/02. I. félév

Tárgy: Assembler

Rákóczi György Gimnázium és Szakközépiskola

Derecske, Gyakorlatvezető

1998/99. II. félév

Tárgyak: programozás, grafika.

Kossuth Lajos Tudományegyetem

Demonstrátorként

1997-1999.

Tárgyak: Programozás 1-2. gyakorlat.

Kutatási területek

SAT probléma

A három legjelentősebb cikk ezen a területen:

1. Multi-Domain Logic and its Applications to SAT, SYNASC’08, IEEE Computer Society Press, 3-8, 2008. Co-author: T. Jebelean.

2. Simplifying the propositional satisfiability problem by sub-model propagation, Annales Mathematicae et Informaticae 35, 75-94, 2008. Co-authors: L. Csőke, G. Kovásznai.

3. Solving the Resolution-Free SAT Problem by Hyper-Unit Propagation in Linear Time, Annals of Mathematics and Artificial Intelligence 43(1-4), 129-136, 2005.

Objektum Orientált Programozás és Tervezés

A három legjelentősebb cikk ezen a területen:

1. Metamodels in generation of UML using NLI-based dialog, Proceedings of 5th International Symposium on Applied Computational Intelligence and Informatics (SACI 2009), pp. 29-34, 2009. Co-authors: L. Kovács, G. Kovásznai.

2. Requirement analysis and a database model for the project EGERFOOD Food Safety Knowledge Center, Proceedings of ICAI-2007, Volume I. pp. 15-23, 2007. Co-author: T. Radványi.

3. A Survey on Java Meta Languages, Proceedings of ICAI-2010, to be appear. Co-authors: G. Kovásznai, W. Schreiner, G. Guta, J. Sztrik.

Tudományos projektek

Introducing Syntactical Constraints in
Object-Oriented Programming Supporting Design
Pattern Principles. AT-25/2008.

Osztrák-Magyar TéT projekt, a magyar oldal vezetője

2009 - 2010

Analyzing Real-Time Systems by Combining
Temporal Logic and Statistical Models. A-16/2006.

Osztrák-Magyar TéT projekt

2007 - 2008

EgerFood Élelmiszerbiztonsági Tudásközpont

Közreműködő tag

2007 -

Integrating Temporal Specifications as Runtime
Assertions into Parallel Debugging Tools. A-32/2000.

Osztrák-Magyar TéT projekt

2002

Dr Kusper Gábor — gkusper(kukac)aries(pont)ektf(pont)hu — Készítette: Robita © 2010