Kusper Gábor博士

计算机科学硕士、博士

个人信息：

出生日期

20 / 01 / 1976

出生地

匈牙利Sátoraljaújhely

公民身份

匈牙利人

学历：

2006

由德布勒森大学入籍匈牙利博士

1999-2005

奥地利林茨约翰内斯开普勒大学计算机科学博士。

课题：用子模型传播求解和简化命题满足问题

1994-1999

匈牙利德布勒森“Kossuth Lajos”文理大学计算机科学硕士。

专业：数据库处理，

辅修：面向对象编程

职称：

2016-

EKU商业信息本科负责人

2013-2016

EKU商业信息本科负责人

2009-

EKU计算机科学系主任

2008-

EKU网络编程员职业培训带头人

2007-2009

委派EKU计算机科学系主任

2009-

大学讲师，EKU计算机科学系

2005-2009

助理教授，EKU计算机科学系

2003-2005

助理讲师，EKU信息技术部

长期访问和奖学金：

2009年6月

奥匈“Aktion”基金会Aktion奖学金，1个月

2004年8月

奥匈“Aktion”基金会Aktion奖学金，1个月

2001年2月-2001年7月

奥匈“Aktion”基金会Aktion奖学金，6个月

1999-2001,2002-2003

上阿斯特里安格沃门特“年轻研究人员”奖学金

1996年10月-

1997年2月

坦普斯奖学金，德国帕德伯恩大学，课题：模块算法问题。

1996

匈牙利共和国奖学金

获奖情况：

2013

2013年GIKOF大会最佳发言奖

2008年12月21日

“Eszterházy Károly College/Agria Ora et docet”银牌，Lyceum专业科学基金会

2007年12月12日

IBM 48小时编程大赛最成功教练

2006年5月11日

“科学的未来”奖，算盘基金会；埃斯特尔哈兹大学数学和信息学学院

1999

OTDK（全国科学学生大会和竞赛），最后一轮：

特别奖（1999年。五月）。

主题：用Java开发服务器客户端应用程序。管理

数据库。

1998

区域奖，德布勒森大学

教学经验：

2008 -2012

匈牙利米什科尔茨大学，客座讲师，主讲：设计模式

2003 -

匈牙利埃斯特尔哈兹学院/大学，教师，教授课程：人工智能，符号逻辑，编程1-2，算法，软件工程，编程技术

2001/2002 I.学期

德布勒森大学，博士生，课题：汇编

1997-1999

德布勒森“Kossuth Lajos”文理大学，演示者，主题：编程1-2。

研究方向：

形式化方法

五种最重要的出版物：

1.  Csaba Biró，Gábor Kusper:《强连通图与黑白2-SAT问题的等价性》，《Miskolc数学笔记》，第19卷（2），DOI:10.18514/MMN.2018.2140，第755-768页，2018。

2.  Gábor Kusper，Csaba Biró，Gyórgy Barna Iszály:CSFLOC的SAT求解，下一代全长子句计数算法，2018年未来物联网技术IEEE国际会议记录，DOI:10.1109/FIOT.2018.8325589，Eger，2018。

3.  Csaba Biró，Gábor Kusper: 《BaW 1.0-稀疏有向图中有效强连接测试的问题专用SAT解算器》，第18届计算智能与信息学国际研讨会（CINTI 2018）论文集，第160-165页，布达佩斯，2018。

4.    《无线传感器网络中基于Somek-hop的图度量与节点追踪》，《数学与信息年鉴》，第50卷，DOI:10.33039/ami.2018.09.002，19页，2019年。

5.  Gébor Kusper，Csaba Biró：《通过迭代版本的

包容排除原则解决SAT问题》，SYNASC 2015年会议DOI:10.1109/SYNASC.2015.38，第189-190页，2015.

科研项目：

2018-

项目研究员：埃斯特尔哈兹大学研究能力和服务的综合改善。项目编号：EFOP-3.6.1-16-2016-00001.

2016-2017.

奥匈奥马认证软件开发项目案例研究负责人。项目编号：94欧3。

2015-2016.

英语和匈牙利语在线培训中心项目的创建和运营负责人。项目编号：TÁMOP-4.1.2.F-15/1-2015-0001。

2013-2015.

未来RFID项目的项目组成员。项目编号：TÁMOP-4.2.2.C-11/1/KONV-2012-0014，另见：********~rfidwww/hu/。

2012-2013.

奥匈TéT项目，匈牙利方面领导人。课题：评估实时系统和软件设计性能分析的过程代数模型和面向状态模型的对比。项目编号：TÉT U 10-1-2011-0679。

2012-2013.

奥匈OMAA“SAT und GRID”项目匈牙利方负责人

项目编号：83°u17。

2007-2008.

奥匈TéT项目。课题：结合时间逻辑和统计模型进行实时系统分析。项目编号：A-16/2006。