29-30 October 2008.

Gábor Kusper

Presents:


Curriculum vitae

Curriculum Vitae

Kusper, Gábor

Computer Science MSc, PhD

E-mail:

gkusper@aries.ektf.hu

Phone/Fax:

+36-36-520-486

Cell.:

+36-20-4527531

Address:

Eszterházy Károly College,
H-3300 Eger, Eszterhazy ter 1., Hungary


Biographical Data:

Date of birth

20 / 01 / 1976

Place of birth

Sátoraljaújhely, Hungary

Citizenship

Hungarian


Teaching:

2003-

Memeber of the Faculty at Eszterhazy Karoly University, Mathematics and Informatics Institute, Computer Science Department, from 2007 the head of the department

2006, 2008

Teaching Logic at Johannes Kepler University Linz in framework of Erasmus, 2-2 weeks, in English


Education:

1999-2005

Ph.D. (Computer Science), RISC-Linz, Johannes Kepler University Linz, Austria.

Title: Solving and Simplifying the Propositional Satisfiability Problem by Sub-Model Propagation

1994-1999

MSc. (Computer Science), University of Arts and Sciences "Kossuth Lajos", Hungary.

Specialization: Database handling,

Minor: Object-Oriented Programming


R+D Activities:

2007-2008

Austro-Hungarian TeT project, title: Analyzing Real-Time Systems by Combining Temporal Logic and Statistical Models

2007-

Member of the EgerFood Food Safety Knowledge Center


Academic Achievements, Scholarships, Honors and Awards:

2006

“Future of Science” Award, Abacus Endowment and Mathematics and Informatics Instutute, Eszterhazy Karoly College

2004

Aktion Scholarship of Austro-Hungarian “Aktion” Foundation, 6 months

2002

Excellent Talk Award, CSCS Conference, Szeged for the talk:

Investigation of Binary Representations of SAT especially 2-Literal Representation

2002

Aktion Scholarship of Austro-Hungarian “Aktion” Foundation

1999-2002

Scholarship of the Upper-Astrian Gevorment „For Young Researchers”

1999

OTDK (National Scientific Student Conference and Competition), final turn: special award (1999. May).

Theme: Development of server-client applications in Java. Managing databases.

1998

ProRegione Award of City of Debrecen

October 1996 - February 1997

Tempus Scholarship, Universität-GH Paderborn (Germany),

Theme: Problems of modulo arithmetics.

1994. Sept. – 2000. Jun.

Faculty of Computer Science

- University of Debrecen (former Kossuth Lajos Univ., Hungary)

1996

Award Scholarship of Hungarian Republic

1994

2. place as a member of the Földes-Szinva Net team in the Second National University Level Programmer Competition