删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

北京工业大学学术硕士研究生导师教师师资介绍简介-杨红丽

本站小编 Free考研考试/2020-04-28

一、基本情况

杨红丽:北京工业大学计算机学院副教授,2005年至2007年在北京大学数学学院信息科学系从事博士后研究工作,2004年在西北大学计算机系郝克刚教授指导下获软件理论专业博士学位,2002年至2003年在新加坡国立大学计算机学院作访问,2001年至2002年在联合国大学国际软件技术研究所(UNU/IIST)从事XML语言语义研究。

二、主要研究方向

软件工程、软件形式化方法、Web服务组合、业务流程管理等

三、在研课题:

负责中科院软件所开放基金项目“Web服务编排语言的理论研究”

参与国家自然科学基金项目“Web服务编排与协作的形式化理论研究”

四、科研成果

完成项目情况

曾参与完成863项目子课题“基于XYZ系统的宇宙飞船实时控制系统的逐步求精过程的描述与验证”(1998-2000)、国家自然科学基金项目“基于时态逻辑的形式化综合与验证”(1997-1999)和“Web服务组合语言的语义和验证研究”(2007-2009)。

主要成果

已作为第一作者或合作者在重要国际会议、国内重要期刊发表论文30多篇;“数据库原理”课程的教学改革(第三参与人)获2003年陕西省教学成果二等奖;“数据结构”课程的教学改革与实践(第三参与人)获1999年陕西省教学成果二等奖;“基于时态逻辑的形式化综合”项目(第六参与人)获1999年西安市科技进步三等奖。

五、联系方式:

Tel: **

E-mail: yhl.yang@gmail.com
相关话题/学术 北京工业大学

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-禹晶
    一、基本情况禹晶:博士,讲师,硕士研究生导师,北京市人,汉族。2000.09-2004.07在北京工业大学计算机学院计算机科学与技术专业本科毕业;2004.09-2007.07在北京工业大学计算机学院计算机应用技术专业学习、获硕士学位;2007.07-2008.08,汉王科技股份有限公司核心软件部,算法工程师;2008.09-2011.09清华大学清华大学电子工程系信息与通信工程专业学习、获工学博 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-杨新武
    导师简介一、基本情况杨新武,博士,副教授。2003年于北京工业大学获得计算机应用工学博士学位。2003年至今在北京工业大学信息学部计算机学院工作。二、主要研究方向人工智能、机器学习、个性化推荐、智慧医疗、数据挖掘、演化计算和复杂网络。三、主要参加的科研项目国家基金重大研究计划培育项目:《非结构化管理决策大数据平台构建与关键技术》国家自然科学基金:《约束/归纳逻辑程序设计中的软计算研究》国家自然科学 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-张婷
    基本情况张婷,博士,讲师,硕士生导师,中国计算机学会会员。2018年7月至今在北京工业大学信息学部计算机学院工作。主要研究方向图像处理、模式识别、深度学习科研项目主持国家自然科学基金青年基金、北京市朝阳区博士后基金等4项国家级地区级科研项目,横向课题1项。科研成果近五年发表有关深度学习方面研究论文13篇,作为主要参与人编写专著2本,参与申请专利6项。部分成果如下:李玉鑑;张婷;单传辉;刘兆英.深度 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-詹静
    詹静导师简介一、基本情况1982年4月生,博士,硕士研究生导师,国际可信计算组织工作组成员,2009年12月毕业于武汉大学,获得工学博士学位(信息安全方向)。2008年8月至2009年12月在德国波鸿鲁尔大学访问、担任德国HGI研究所助理研究员,2010年至今在北京工业大学信息学部计算机学院工作。二、主要研究方向信息安全与可信计算、云计算安全、大数据安全、工业控制系统安全。三、教育教学主讲计算机网 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-张兴兰
    一、基本情况张兴兰,女,1970年生,博士,教授,硕士生导师。北京大学理学博士,中国科学院从事博士后。2003年7月至今在北京工业大学计算机学院工作。二、主要研究方向:密码算法的设计与分析,密码协议形式化方法研究可信计算关键理论与技术信息安全评测量子密码免冠彩色近照三、在研课题:参与国家自然科学基金项目、863计划、973计划等多项科研项目。四、科研成果在国内外重要学术期刊和国际会议发表文章多篇。 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-张晓丹
    基本情况:张晓丹,硕士生导师。中国科学院大学和香港城市大学计算机应用技术专业双博士学位。于2018年7月加入北京工业大学,主要进行包括计算机视觉、图像描述、医学报告自动生成等在内的人工智能领域关键技术理论和应用研究,目前在ACMInternationalConferenceonMultimedia、IEEEInternationalConferenceonComputerVision、IEEEIn ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-竹翠
    导师简介一、个人简介  竹翠,女,1973年2月生,博士,副教授,硕士生导师。2006年毕业于日本筑波大学计算机科学专业,获工学博士学位;1999年毕业于北京航空航天大学机械电子工程学院,获硕士学位;1993年毕业于郑州轻工业学院自动控制系,获学士学位。1999年4月至今在北京工业大学计算机学院工作。二、主要研究方向  近年主要从事数据挖掘、异常点分析等方面的研究工作。三、科研成果  近年来参与了 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-周艺华
    导师简介一、基本情况周艺华,男,1969年3月生,博士,副教授,学术学位、专业学位硕士生导师,信息安全学科部教师,计算机学会、中国密码学会、中国人工智能学会、中国可信计算联盟会员,北京邮电大学智能网络安全实验室兼职指导教师。2006年3月在北京理工大学计算机学院获得工学博士学位。2006年6月至今在北京工业大学计算机学院工作。主讲课程包括《数字鉴别与认证》、《密码学》、《电子商务信息安全技术》、《 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-谌云莉
    1.基本情况:谌云莉副教授获美国辛辛那提大学计算机博士,北京理工学大学计算机硕士,浙江大学计算机学士。自2004年以来在美国摩托罗拉任高级软件工程师,2009年加入北京工业大学软件学院。2.主要研究方向:嵌入式软件设计,WiFiMAC协议,无线adhocnetworks,无线sensornetworks以及网络QoS3.在研项目:无线传感器网络MAC协议的分析与优化4.科研成果及获奖:参与了美国国 ...
    本站小编 Free考研考试 2020-04-28
  • 北京工业大学学术硕士研究生导师教师师资介绍简介-毕敬
    毕敬,副教授,硕士生导师,IEEESeniorMember。2011年于东北大学计算机系获博士学位。2009年至2010年,在IBMResearch-China虚拟化与云计算组任ResearchFellow;2011年至2013年,在中国航天科工集团第二研究院任副主任设计师;2013年至2015年,在清华大学自动化系国家CIMS工程技术研究中心任博士后;2015年8月加入北京工业大学信息学部软件学 ...
    本站小编 Free考研考试 2020-04-28