|
 |
|||||
|
|
研究兴趣： 答案集编程 非单调推理 知识表示 SAT和QSAT 组合测试 参与外部资助项目： (2006 - 2008) 比较和优化非单调逻辑程序的形式化方法 （由FWF根据拨款P18019提供资金）。 (2009 - 2013) 开发答案集程序的方法和方法 （由FWF根据P21698号拨款资助）。 (2014 - 2016) ARiSE-奥地利严格系统工程学会 （由FWF根据S11409-N23拨款资助）。 留在国外： 当前教学活动： 项目委员会： 2011年7月16-22日，西班牙加泰罗尼亚巴塞罗那，第22届国际人工智能联合会议（IJCAI 2011） 自2012年以来：系统测试和验证生命周期进展国际会议（VALID） 组织委员会： 第25届逻辑程序设计研讨会（WLP 2011） 2011年9月28日至30日，奥地利维也纳 价格和奖励： 我的硕士论文《超越答案程序之间的统一等价：相对化和投影》获得IEEE毕业论文奖（2013年7月）。 出版物：