删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
东华大学信息科学与技术学院导师教师师资介绍简介-陈镜超教授、博导
本站小编 Free考研考试/2021-01-16
个人简介:2007年至2016年期间担任国际学术杂志《Advances in Computer Science and Engineering》编委。2008年国际学术会议“The 4th IASTED International Conference on Advances in Computer Sciences and Technology (ACST 2008)”程序委员会成员。2009年国际学术会议“The IASTED International Conference on Advances in Computer Science and Engineering (ACSE2009)” 程序委员会成员。2008年至2016年国际学术会议“The International Multi-Conference on Engineering and Technological Innovation (IMETI) ” 程序委员会成员。
1983年毕业于武汉大学计算机系, 获学士学位
1987年毕业于日本信州计算机专业,获硕士学位
1990年毕业于日本北海道计算机专业,获博士学位
2000年6月至2001年12月,朗讯科技贝尔实验室中国研究院,高级研究员
1992年11月至2000年6月,上海交通大学,计算机系,副教授
2005年10月,应邀赴英国剑桥大学做学术报告
1999年9月至1999月12月,加拿大Alberta大学做合作研究,访问****
2002年11月至2002年12月,日本信州大学做合作研究,访问****
1997年6月至1997年7月,波兰华沙大学做合作研究,访问****
1990年3月1992年11月,日本安川情报系统公司,软件系统设计工程师
至今东华大学信息学院教授、博导
研究方向:
算法设计与分析,可满足性问题求解与编码,网络信息安全,演绎推理与定理证明,计算机网络,模式识别,自然语言处理,人工智能
荣誉及获奖情况:
2015年,国际SAT Race比赛 主类第一名
2014年,国际SAT比赛, Hard-combinatorial SAT+UNSAT类第一名
2014年,国际SAT比赛, Application SAT类第一名
2014年,国际SAT比赛, MiniSAT Hack-track, Application SAT+UNSAT类第二名
2013年,国际SAT比赛, MiniSAT Hack-track, Application SAT+UNSAT类第二名
2013年,国际SAT比赛, Hard-combinatorial SAT+UNSAT类第二名
2013年,国际SAT比赛, Hard-combinatorial SAT类第二名
2013年,国际SAT比赛, Random SAT+UNSAT类第三名
2012年,国际SAT比赛,多引擎组合类第一名
2011年,国际SAT比赛,随机UNSAT cpu时间类第二名
2011年,国际SAT比赛,随机UNSAT wc时间类第三名
2011年,国际SAT比赛,应用类SAT类第三名。
近年代表性的论文:
1. J.C. Chen, MiniSAT_BCD and abcdSAT: solvers based on blocked clause decomposition,Proceedings of SAT Race 2015
2. J.C. Chen, A bit-encoding phase selection strategy for satisfiability solvers, in Proceedings of Theory and Applications of Models of Computation (TAMC'2014)}, ser. LNCS, vol. 8402, Chennai, India, 2014, pp. 158-167.
3. J.C. Chen, interactSAT{_c}: Interactive SAT Solvers and glue dyphase: A Solver with a Dynamic Phase Selection Strategy, Proceedings of SAT Challenge 2012, Trento, Italy, pp.28-30, 2012.
4. J.C. Chen, Solving Rubik's Cube Using SAT Solvers,The workshop of SAT for Practical Applications (SPA 2011),Ann Arbor, USA, 2011.
5. J.C. Chen, A new SAT encoding of the at-most-one constraint, Proc. of the 9th Int. Workshop of Constraint Modeling and Reformulation, St Andrews, UK, 2010.
6. J.C. Chen, Building a Hybrid SAT Solver via Conflict-driven, Look-ahead and XOR Reasoning Techniques, SAT 2009, Swansea, UK, pp.298-311,2009.
7. J.C. Chen, Symmetry partition sort, Software-Practice and Experience, 38, pp.761-773 2008.
8.J.C. Chen,Two-Fold Circle-Covering of the Plane under Congruent Voronoi Polygon Conditions,the conference book,ISCO 2016
9. J.C. Chen, Efficient sample sort and the average case analysis of PEsort, Theoretical Computer Science,Vol.369, pp.44-46, 2006.
10. J.C. Chen, A simple algorithm for in-place merging, Information Processing Letters,Vol.98,pp.34-40,2006.
11. J.C. Chen, Building a new sort function for a C library, Software-Practice and Experience,34, 8, 777-795,2004.
12. J.C. Chen, Optimizing stable in-place Merging, Theoretical Computer Science, Vol.302/1-3 pp.191-210, 2003
13. J.C. Chen, Proportion extend sort, SIAM Journal on Computing, Vol.31, No.1,2001, pp.323-330.
联系方式:
办公室电话:-816
电子邮箱地址:chen-jc@dhu.edu.cn
相关话题/东华大学 信息科学
东华大学信息科学与技术学院导师教师师资介绍简介-张光林教授、博导
个人简介:张光林,男,1981年4月生,东华大学信息科学与技术学院教授、博士生导师、副院长、通信工程系系主任,上海市青年拔尖人才计划获得者(2019)。2003年本科毕业于山东师范大学数学与应用数学专业,2006年硕士毕业于上海大学运筹学与控制论专业,2012年博士毕业于上海交通大学电子工程系信息与 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-王萍教授、博导
个人简介王萍,女,教授,博导。中国电子学会高级会员,IEEE会员,未来移动通信(FuTURE)国际论坛频谱工作组副组长,全国车载信息产业联盟(TIAA)车载无线通信电磁安全工作组副组长,上海长宁区青联第七届常委委员。2000年7月毕业于中科院半导体研究所获博士学位。2000-2003年荷兰Eindh ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-白恩健副教授
个人简介2004/10-至今,东华大学,信息科学与技术学院通信工程系,副教授2008/08-2009/07,香港理工大学1999/09-2004/09,西安电子科技大学研究方向保密通信、物联网安全、密码学与网络信息安全、数据压缩、图像编码及智能系统等。荣誉及获奖情况2019年桑麻奖教金。近五年承担的 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-蒋学芹教授
个人简介蒋学芹,男,教授,博士生导师,通信系副主任。2004年7月本科毕业于南京工程学院计算机系计算机通信专业,获工学学士学位,同年9月进入韩国全北国立大学学习。2006年8月、2010年2月在韩国全北国立大学电子信息工程系,先后获电子工学专业工学硕士和博士学位。2004年至2010年担任韩国信息通 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-许武军副教授,硕导
个人简介2006.07至今:东华大学信息科学与技术学院通信与电子工程系,副教授(2008.09至今),副主任(2010.12-2015.03),工程师(2006.07-2008.08);2015.08-2016.07:美国阿肯色大学工学院计算机科学与工程系,访问****;2013.11-2014.1 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-刘堂友副教授、硕导
个人简介1992年毕业于杭州大学物理系,获理学学士学位1999年毕业于大连理工大学物理系,获理学硕士学位2002年毕业于中科院上海技术物理研究所,获工学博士学位至今东华大学信息科学与技术学院副教授、硕导,上海市图形图像学会理事研究方向数字图像处理、模式识别、嵌入式系统研发等荣誉及获奖情况近5年来,主 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-吴赟副教授
个人简介吴贇(1976),女,辽宁人,分别于1999年和2001年在哈尔滨工业大学取得了学士和硕士学位,2007年在上海交通大学取得博士学位,2014年到美国德州大学达拉斯分校访学一年。硕士毕业后曾在上海华为研究所工作一年,从事基站产品研发,博士毕业后到东华大学工作至今。研究方向无线通信中的信号处理 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-杨义副教授
个人简介:2009/5-至今,东华大学,信息科学与技术学院通信系,教师2003/09–2009/01,北京航空航天大学,电子信息工程学院,通信与信息系统,博士;2000/09–2003/07,燕山大学,信息学院电子通信系,电路与系统,硕士;1996/09–2000/07,燕山大学,信息学院电子通信系 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-陈雯副教授
个人简介2002/9-2006/6,上海交通大学,计算机科学与工程系,博士;2006/6-至今,东华大学,信息科学与技术学院,副教授研究方向5G超密集网络;无线通信网络的资源优化及智能控制;移动边缘计算(MobileEdgeComputing)等。荣誉及获奖情况1.校教学成果二等奖:“信息学院网络类 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16东华大学信息科学与技术学院导师教师师资介绍简介-吴怡之副教授、硕导
个人简介教育经历2005/03–2008/11,东华大学,控制工程与控制理论,博士1993/08-1996/06,南京大学,计算机软件,工学硕士1986/08-1989/06,淮阴工学院,电子技术工作经历:1996/7-至今,东华大学,信息学院通信系,副教授2012/7-2013/7美国匹兹堡大学计 ...东华大学师资导师 本站小编 Free考研考试 2021-01-16