博士班
碩士班二年級
• 林恆毅
• 周柏宏
碩士班一年級
• 彭震宗
• 吳思鋒
• 黃偉賢
• 高翊展
研究助理
•
Alumni
•
張道顧（Tao-Ku Chang）：
† 現況：助理教授，
國立東華大學 資訊工程學系
† 博士(2006) 國立臺灣師範大學 資訊教育所
- 博士論文：Design and Implementation of the Security Model for XML Documents
† 碩士(2002) 國立暨南大學 資訊管理所
- 碩士論文：The Operational Model for Securing XML Documents
• 吳柏毅（Bor-Yih Wu）：碩士(2002) 國立暨南大學 資訊管理所
- 現況：N/A
- 碩士論文：Failure Recovery and Compensation Model in Workflow Management Systems
• 張勝仁（Sheng-Jen Chang）：碩士(2002) 國立暨南大學 資訊管理所
- 現況：
中華電信研究所
- 碩士論文：An Approach To Test Concurrent Client/Server Database Applicaion
• 蘇東侯（Tung-Hou Su）：碩士(2002) 國立暨南大學 資訊管理所
- 現況：中華電信
- 碩士論文：Data Routing Optimization in Distributed Workflow Management Systems
• 李佳青（Chia-Ching Lee）：碩士(2003) 國立台灣師範大學 資訊教育所
- 現況：國防部少校軍官
- 碩士論文：MuNAS: Multiuser Network Audio System for UNIX-based Operating System
• 陳允聖（Yun-Sheng Chen）：碩士(2003) 國立台灣師範大學 資訊工程所
- 現況：
台灣證券交易所
- 碩士論文：A Practical Approach for File Prefetching in Distributed File System
• 李泳泉（Yung-Chuan Lee）：碩士(2004) 國立台灣師範大學 資訊教育所
- 現況：
鼎升資訊科技
- 碩士論文：Towards the Reusability of Object-Oriented Workflow Management Systems
• 林信夫（Hsin-Fu Lin）：碩士(2004) 國立台灣師範大學 資訊教育所
- 現況：
台灣期貨交易所
- 碩士論文：Appointed Prefetching for Distributed File System of Thin-Client/Server Computing in WAN
• 游智皓（Chih-Hao Yu）：碩士(2005) 國立台灣師範大學 資訊工程所
- 現況：
資策會網路多媒體研究所（國防役）
- 碩士論文：Web Services Based Network File System
• 林哲生（Che-Sheng Lin）：碩士(2005) 國立台灣師範大學 資訊教育所
- 現況：博士班﹐國立台灣師範大學資訊工程所
- 碩士論文：Reachability Testing for Concurrent Programs with Busy-Waiting Loops
• 張昇賀（Sheng-Ho Chang）：碩士(2006) 國立台灣師範大學 資訊教育所
- 現況：
資策會資訊工程研究所（國防役）
- 碩士論文：The Design and Implementation of a Document-based and Non-centralized Workflow Management System
• 蕭宇程（Yu-Cheng Hsiao）：碩士(2007) 國立台灣師範大學 資訊教育所
- 現況：博士班﹐國立台灣師範大學資訊工程所
- 碩士論文：An Aspect-Oriented Designs of WfMS with IoC
• 陳揆驩（Kuei-Huan Chen）：碩士(2007) 國立台灣師範大學 資訊工程所
- 現況：
群暉科技（國防役）
- 碩士論文：An Operational Model and Language Support for Automatic Testing Workflow Management System
• 張宇軒（Yu-Hsuan Chang）：碩士(2007) 國立台灣師範大學 資訊教育所
- 現況：
台北市永建國小教師
- 碩士論文：An Operational Model and Language Support for Securing Web Services
•
曹笠德（Li-Te Tsao）：碩士(2009) 國立台灣師範大學 資訊工程所
- 現況：台北縣政府（替代役）
- 碩士論文： Dynamic Testing for Non-determinisitc Service-Oriented Architecture Application
• 李彥佑（Yan-You Li）：碩士(2009) 國立台灣師範大學 資訊工程所
- 現況：
訊舟科技（研發替代役）
- 碩士論文： The Formal Verification of SYN-Sequence Generated in Dynamic Testing
• 蔣招政（Chao-Chen Chiang）：碩士(2009) 國立台灣師範大學 資訊工程所
- 現況：中興保全股份有限公司
- 碩士論文： A Framework to Support Process Instance Security in SOA
• 薛光耀（Kuang-Yao Syue）：碩士(2009) 國立台灣師範大學 資訊工程所
- 現況：樂陞科技股份有限公司
- 碩士論文：State Storing in Prefix-based Replay to Accelerate the Reachability Testing
• 顏文賢（Wen-Xian Yen）：碩士(2010) 國立台灣師範大學 資訊工程所
- 現況：
訊舟科技（研發替代役）
- 碩士論文：A General Model to Perform Reachability Testing for Message Passing Programs
• 陳柏澄（Po-Cheng Chen）：碩士(2010) 國立台灣師範大學 資訊工程所
- 現況：中華電信研究所
- 碩士論文：The Application of Defeasible Logic in Workflow Management System
• 蔣仲翔（Chung-Hsiang Chiang）：碩士(2010) 國立台灣師範大學 資訊工程所
- 現況：宏碁股份有限公司
- 碩士論文：Dynamic Access Control in Service-Orinted Architecture
• 徐啟洋（Chi-Yang Hsu）：碩士(2010) 國立台灣師範大學 資訊工程所
- 現況：國立臺灣師範大學資訊中心
- 碩士論文：Dynamic Testing for Java Monitor
• 李登碩（Teng-Shuo Lee）：碩士(2010) 國立台灣師範大學 資訊工程所
- 現況：瑞昱半導體股份有限公司
- 碩士論文：Concurrent Testing of Semaphore-based and Shared-memory Software
• 蔣涵孟（Han-Meng Chiang）：碩士(2011) 國立台灣師範大學 資訊工程所
- 現況：大同股份有限公司
- 碩士論文：High Level Synchronization for Workflow Management System in Defeasible Logic
• 林劭彥（Shao Yan Lin）：碩士(2011) 國立台灣師範大學 資訊工程所
- 現況：維州生物科技股份有限公司
- 碩士論文：Statement-coverage Testing for Non-deterministic Concurrent Software
Copyright © 2005 - 2010 Internet Computing Laboratory All rights reserved.