教师信息个人照片

姓名

安鑫

性别

出生年月


最终学位

博士

毕业学校

法国格勒诺布尔大学

从事专业

计算机科学与技术

职务

系主任

所属院系

计算机与信息学院计算机科学与技术系

所属科室(研究所)

情感计算与系统结构研究所

职称

副教授


联系方式
     办公电话
     E-mail   xin.an@hfut.edu.cn
    通讯地址安徽省合肥市属山区丹霞路485号合肥工业大学计算机与信息学院
    邮  编
简    历

  

安鑫,男,博士、副教授、硕导。2007年毕业于山东大学,获学士学位;2010年毕业于山东大学和卢森堡大学,并分别获得硕士学位;2013年毕业于法国格勒诺布尔大学,获博士学位。于2010年至2013年在法国国立计算机与自动化研究院-格勒诺布尔所(INRIA-Grenoble)从事科研工作。20145月至今于合肥工业大学从事教学科研工作。
研究方向


(自适应)嵌入式系统设计和验证、机器学习+智能硬件、基于FPGA的动态重构架构的设计和应用、离散控制技术的应用等

主持的科研项目:
 [1] 
国家自然科学基金青年基金,2016/01-2018/12
 [2] 
校博士专项科研资助基金, 2014/10-2016/09
 [3] 
校青年教师创新项目,2015/06-2016/12
 [4] 
校学术新人提升A计划,2016/05-2017/12
 [5] 
校学术新人提升B计划,2017/03-2018/12

教学工作

本科:计算机组成原理

办公时间:工作日
地点:翡翠科技楼A806
获奖情况

2015年合肥工业大学青年教师讲课比赛三等奖
 2016
年合肥工业大学本科毕业设计优秀指导教师
主要论著

[1] Xin An, Eric Rutten, Jean-Philippe Diguet and Abdoulaye Gamatié. 'Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures', ACM Transactions on Embedded Computing Systems(TECS), 2016, vol. 15, issue 3, 2016. (SCI)

 [2] Xin An, Abdoulaye Gamatié and Eric Rutten. ‘High-level Design Space Exploration for Adaptive Applications on Multiprocessor Systems-on-Chip’, Journal of Systems Architecture: Embedded Software Design (JSA), vol. 61, n. 3-4, pp 172 - 184, 2015. (SCI)

 [3] Xin An, G. Delaval, J.-P. Diguet, A. Gamatie, S. M. K. Gueye, H. Marchand, N. D. Palma, E. Rutten. Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. In Proc. of the 11th International Conference on Distributed Computing and Internet Technology, Lecture Notes in Computer Science, vol. 8956, pp. 93-113, 2015. (EI)

 [4] Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatie. Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control. In proceedings of the 10th International Conference on Autonomic Computing, pp. 59-63, San Jose, CA, USA, 2013. 

 [5] Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatie. Discrete Control for Reconfigurable FPGA-Based Embedded Systems. In proceedings of the 4th IFAC Workshop on Dependable Control of Discrete Systems, pp. 151-156, University of York, York, United Kingdom, 2013. (EI)

 [6] Xin An, Sarra Boumedien, Abdoulaye Gamatie, Eric Rutten. CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs. In proceedings of the 15th Workshop on Software and Compilers for Embedded Systems, pp. 3-12, Sankt Goar, Germany, 2012. (EI)

 [7] Xin An and Jun Pang, Model checking round-based distributed algorithms. In proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), University of Oxford, UK, 2010. (EI)