都柏林城市大学中文网站
Dublin City University Chinese website
|
|
|||
| 姓名：焦德才 | Name: Decai Jiao | |||
| 研究方向：移动和分布式系统的形式化验证 | Formal Verification of Mobile and Distributed Systems. | |||
2004年毕业于北京邮电大学软件学院，同年来到爱尔兰都柏林城市大学计算机学院攻读博士学位，研究方向为移动和分布式系统的形式化验证。 |
||||
Obtained his Master's degree of Software Engineering from Beijing University of Posts and Telecommunications (BUPT) in 2004, and continued PhD study at School of Computing , Dublin City University (DCU), specializing in Formal Verification of Mobile and Distributed Systems. |
||||
|
|
|||
| 姓名：曹姝敏 | Name: Shumin Cao | |||
| 课程：电子商务（技术方向）2006 | E-commerce (Technical) 2006 | |||
| 毕业于杭州电子科技大学自动化专业。后取得爱尔兰都柏林城市大学电子商务（技术方向）硕士学位。现在爱尔兰工作。 | ||||
| Graduated from DCU, majoring in E-Commerce(Technical). She also holds a bachelor's degree in Automation of HDU. Now working in Ireland . | ||||
|
||||
| 姓名：陶晶 | Name: Jing Tao | |||
| 课程：软件工程 2007 | Software Engineering 2007 |
|||
| 毕业于杭州电子科技大学计算机科学与技术。后取得爱尔兰都柏林城市大学软件工程专业硕士学位。现在 IBM 都柏林软件实验室工作。 | ||||
| Graduated from DCU, majoying in Software Engineering. Also hold a bachelor's degree in Software Engineering of HDU. Working as a software engineer in Dublin Software Lab at IBM at moment. | ||||
|
||||
