马小姐 | 三年 | 博士 | 计算机科学与技术 |
姓名 **
性别 女 年龄 34周岁
籍贯 江西南昌 现居住地 北京
学历 博士 工作经验 3年以上
专业 计算机软件与理论 民族 回族
政治面貌 群众 婚姻状况 已婚
联系方式
**** **0-81732*** 移动电话 ***********
电子邮箱 ********************** 邮政编码 10019*
通讯地址 *****************************
教育背景
最高学历 博士 毕业日期 2009年7月
毕业学校 北京航空航天大学 学历类型 统招
所学专业 计算机软件与理论 外语 英语，cet6级
第二专业 工业与民用建筑 普通话水平 标准
工作经历
1、北航计算机学院 单位性质 事业单位 单位行业 教育
2005年9月–2008年12月 工作职位 助教
工作职责与业绩 承担计算机学院的本科生《计算引论》和研究生《计算理论》的教学，批改作业和试卷，答疑。
离职原因 助教到期
2、 www.verypdf.com 网站 单位性质 私营企业 单位行业 计算机
单位简单描述 主要进行pdf阅读软件的开发和销售
2005年6月–2006年9月 工作职位 测试员和文档工程师
工作职责与业绩 对产品进行测试并撰写测试报告。写帮助文档和产品说明书（英文）。
**** 公司搬迁
3、软件开发环境国家重点实验室 单位性质 事业单位 单位行业 教育、科研
2003年9月–2005年7月 工作职位 助研
工作职责与业绩 参与航天五院的项目开发，主要工作为设计和测试，并完成帮助文档的撰写。此期间完成书名为《types
and programming languages》的翻译和审校工作，这是一本关于类型理论方面的书，约600页。
离职原因 项目结束
4、蓝天职业技术培训学校 单位性质 民办高校 单位行业 教育
2001年9月–2003年1月 工作职位 兼职老师
工作职责与业绩 在该校担任兼职教师，承担《软件工程》和《操作系统》的课程教学，出试卷、批改作业和试卷。
离职原因 课程结束
*******厂 单位性质 国有企业 单位行业 机械
1996年11月–1999年4月 工作职位 厂长助理
工作职责与业绩 负责接待外宾，翻译外文资料和情报收集，信息处理。
离职原因 考研
求职意向
月薪要求 面议 希望就职行业 计算机或英语翻译
期望职位 信息安全或其他计算机行业的科研人员、教师、项目管理，英语翻译 求职方式 全职或兼职
希望工作地区 北京 职业状态 应届毕业生，未签约
工作能力及专长
我对工作认真负责，比较注重细节。除了有课堂授课的*******公司做产品测试、写各类文档等。对每份工作，无论大小，力
求干得精细。
我在博士期间从事的是信息安全方面的研究工作，对该领域有自己独到的见解，并发表学术论文。
博士期间发表论文：
li ma, shilong ma, yuefei sui. “a dynamic deerrorscription logic approach to extended rbac model,” in: proceedings of
the 15th international conference on advanced computing and communications, adcom 2007.
jianghua lv, shilong ma, jing pan, li ma: a layered semantics for mobile computation. prima 2006: 175-186
现在投论文：
li ma, shilong ma, yuefei sui, cungen cao, jianghua lv. “a dynamic deerrorscription logic for the role-based
administration of roles”. in: frontiers of computer science in china.
li ma, shilong ma, yuefei sui, cungen cao. “a errorparameterized dynamic deerrorscription logic for nist rbac model”. 软件学
报
**，马世龙，眭跃飞，曹存根，吕江花。基于动态描述逻辑的服务访问控制层次模型。计算机学报
**，马世龙，眭跃飞，曹存根，吕江花。基于动态描述逻辑的rbac层次模型。 电子学报
**，马世龙，眭跃飞，赵霞。基于描述逻辑的rbac形式化研究。计算机研究与发展
教育培训经历
2003.9~2009.现在 北京航空航天大学（211学校）计算机软件与理论专业 博士
2000.9~2003.7南昌大学（211学校）计算机科学与技术 人工智能方向 硕士
1993.9~1996.7南昌高等专科学校 工业与民用建筑专业 大专 获得第一学年三等奖学金和第二学年二等奖学金
简历编号:1253133