Professor
Pao-Ann Hsiung
Dr. Pao-Ann Hsiung, IETF Dean of International Affairs Professor, Department of Computer Science and Information Engineering National Chung Cheng University, Chiayi, TAIWAN-62102. Tel: +886-5-2720411 ext. 17600 E-mail: pahsiung@csie.io URL: http://www.cs.ccu.edu.tw/~pahsiung/
Current Students
PhD
Darmawan Utomo PhD
Thanh Dao PhD
Grade 106
林伯儒 master
林育聖 master
李冠宏 master
Grade 107
簡毅 master
張譯予 master
蕭諭謙 master
林岑叡 master
陶氏松 master
Cloud Computing and IoT E-Learning Master Students 雲端計算與物聯網數位學習碩士在職專班生
| Year of Lab Entry |
Name | Research Topic | E-mail Address |
|---|---|---|---|
| 2014 | 蔡承旻 Tsai, Cheng-Min |
TBD | turboted@gmail.com |
| 2014 | 黃瓊瑩 Huang, Chung-Ing |
TBD | jadeying.1@gmail.com |
| 2014 | 許志揚 Hsu, Chi-Yang |
TBD | newmail.hsu@gmail.com |
| 2015 | 蔡漢俊 Tsai, Han-Chun |
TBD | misbenson@gmail.com |
| 2015 | 楊佳玲 Yang, Chia-Ling |
TBD | cherry8moon@gmail.com |
| 2015 | 張智豪 Chang, Chih-Hao |
TBD | zhi-haur0907@hotmail.com |
| 2015 | 曾冠斌 Tseng, Kwan-Ping |
TBD | alucard.zen@gmail.com |
| 2015 | 林泮吟 Lin, Pan-Yin |
TBD | mcrr7njt@hotmail.com |
| 2015 | 賴建宏 Lai, Chien-Hung |
TBD | terrylai14@gmail.com |
| 2015 | 廖湘雲 Liao, Hsiao-Yun |
TBD | phoebe2322@gmail.com |
| 2015 | 張維凱 Chang, Wei-Kai |
TBD | limenwaiki224@yahoo.com.tw |
| 2015 | 郭玴甫 Guo, Yeh-Fu |
TBD | air.tsunami@msa.hinet.net |
| 2016 | 陳思妤 Chen, Sih-Yu |
TBD | kevin6050801@gmail.com |
| 2016 | 呂柏緯 Lu, Bo-Wei |
TBD | ken31918@gmail.com |
| 2016 | 莊俊宏 Chuang, Chun-Hung |
TBD | dannyjohnsen0989@gmail.com |
| 2016 | 黃添威 Huang, Tien-Wei |
TBD | rex45678@gmail.com |
| 2016 | 余雅瑄 Yu, Ya-Hsuan |
TBD | drops.the.angel@gmail.com |
| 2016 | 曾雅慧 Cheng, Ya-Huei |
TBD | pip732@ms12.hinet.net |
| 2016 | 江誠祐 Chiang, Cheng-Yu |
TBD | reginayht617@gmail.com |
Graduated PhD Students
| # | Graduated Year | Name | Dissertation Title | E-mail Address | Current Position |
|---|---|---|---|---|---|
| 8 | 2016 |  趙宏林 Chao, Hung-Lin |
Model Predictive Optimization for Smart Grid Design | kenyclapton@gmail.com | In Military |
| 7 | 2016 |  呂俊賢 Lu, Chun-Hsien |
Landslide Prediction -- A Cyber-Physical System Design | lchs91u@cs.ccu.edu.tw | Andes Technology |
| 6 | 2014 |  林豐勝 (志勝) Lin, Feng-Hseng (Chih-Hseng) |
Application Synthesis and Optimization on Heterogeneous Parallel Processing Systems | lcs96m@cs.ccu.edu.tw | Institute for Information Industry (III) |
| 5 | 2014 |  林朝聖 Lin, Chao-Sheng |
Model-Driven Framework for Multicore Software Development | lcs94@cs.ccu.edu.tw | N/A |
| 4 | 2013 |  沈日昇 Shen, Jih-Sheng |
Learning-based Reconfiguration of Network-on-Chip for Varying Processing Requirements | sjs92@cs.ccu.edu.tw | MediaTek |
| 3 | 2013 |  施凱中 Shih, Kai-Jung |
Application Acceleration in Dynamically Partially Reconfigurable System Infrastructure | kjshih@cs.ccu.edu.tw | Private Company |
| 2 | 2011 |  黃駿賢 Huang, Chun-Hsian |
Model-Based Platform-Specific Co-Design Methodology for Dynamically Partially Reconfigurable Systems with Hardware Virtualization and Preemption | grant0920@gmail.com | Associate Professor, Dept. of Computer Science and Information Engineering, National Taitung University |
| 1 | 2010 |  林尚威 Lin, Shang-Wei |
Compositional Synthesis of Concurrent Systems through Learning with Counterexample Guidance and Causality Semantics | lsw92@cs.ccu.edu.tw | Assistant Professor, School of Computer Science and Engineering, Nanyang Technological University, Singapore |
Graduated Master Students
| # | Graduated Year | Name | Thesis Title | E-mail Address |
|---|---|---|---|---|
| 87 | 2018 | 胡亮丞 Hu Liang-Cheng |
Deep Neural Network-based Landslide Data Reconstruction for Landslide Detection | hlc19940420@gmail.com |
| 86 | 2018 | 陳偉倫 Chen Wei-Lun |
Intersection Crossing for Autonomous Vehicles based on Reinforcement Learning | qp891097@gmail.com |
| 85 | 2018 | 盧德修 Lu Te-Hsiu |
Anomaly Prediction in Smart Substation with Deep Learning | frank.t.s.lu@gmail.com |
| 84 | 2018 | 楊子璿 Yang Tzu-Hsuan |
Driver Fatigue Prediction using Heterogeneous Sensor Data with Deep Learning | purple1514ss76@gmail.com |
| 83 | 2018 | 林志樺 Lin Jhih-Hua |
Dynamic Estimation of Vehicle Safety Distance under Low Visibility | jimlin80@yahoo.com.tw |
| 82 | 2017 | 王華欣 Wang Hua-Hsin |
Program Trading System of Taiex Futures -- By Strategy of Virtual Trade | c1230602@gmail.com |
| 81 | 2017 | Hendrik Tampubolon | Supervised Deep Learning Based for Traffic Flow Prediction | hendrik.gian@gmail.com |
| 80 | 2016 | 林志祥 Lin, Shi-Chan |
Application of RFID Technology to Emergency Traffic Signal Design | haguy0507@gmail.com |
| 79 | 2016 | 林佳靜 Lin, Chia-Ching |
Improving Efficiency of Domestic Power Demand by Using Orderly Power Utilization | bebe.lin27@gmail.com |
| 78 | 2016 | 李天傑 Lee, Tien-Chieh |
Prediction of Electric Power Consumption in Taiwan by Back Propagation Neural Network | gary90182@gmail.com |
| 77 | 2016 | 孫景亮 Sun, Jin-Liang |
Smart Green Uninterruptible Power System | happy1968168@gmail.com |
| 76 | 2016 | 買昭雯 Mai, Chao-Wen |
PV-based Power Charger for Motorcycle Batteries | arriel.wen@gmail.com |
| 75 | 2016 | 林志宸 Lin, Chih-Chen |
Data Reconstruction for Cyber-Physical Landslide Detection System | sean1028g@hotmail.com |
| 74 | 2016 | 楊采真 Yang, Tsai-Chen |
Model Predictive Optimization for Energy Storage based Smart Grids | cat40129@yahoo.com.tw |
| 73 | 2016 | 徐瑋 Hsu, Wei |
Urban Traffic Information Prediction using Elmann Neural Network and Traffic Network Models | alenhsu3@gmail.com |
| 72 | 2015 | 吳宗典 Wu, Tsung-Tien |
Software-Defined Network Interface Design Performance and Security Oriented | kent61314@gmail.com |
| 71 | 2015 | 謝珮琪 Hsieh, Pei-Chi |
Model Predictive Optimization for Distribution Management in Smart Grid | a87506010824@gmail.com |
| 70 | 2015 | 陳佑任 Chen, You-Ren |
Dynamic Traffic Light Optimization and Control System using Model-Predictive Control Method | yo6317@gmail.com |
| 69 | 2015 | 吳文豪 Wu, Wen-Hao |
Adaptive Timing Optimization for Cyber Physical Signal Control System | bluewinter0124@gmail.com |
| 68 | 2015 | 曾冠維 Tsen, Kuan-Wei |
Virtualization Architecture for Application-Oriented Reconfigurable Network-on-Chip System | scvxxx@gmail.com |
| 67 | 2015 | 李宣儒 Lee, Hsuan-Ju |
Software-Defined Monitoring for High Speed Network Flow Analysis in Network-on-Chip | bill09218@gmail.com |
| 66 | 2014 | 郭惠民 Kuo, Hui-Min |
Zigbee無線通訊應用於路邊停車收費管理系統之研究 | hmkuo@kimo.com |
| 65 | 2014 | 吳文義 Wu, Wen-Yi |
數位電表應用於家庭節電節費系統之研究 | jeles32@gmail.com |
| 64 | 2014 | 姚瑞隆 Yao, Jui-Lung |
SAT-based Verification of Role-based Access Control Systems with Slicing method | brack238@hotmail.com |
| 63 | 2014 | 劉柏廷 Liu, Po-Ting |
Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems | robert0206liu@gmail.com |
| 62 | 2014 | 宋羿謙 Soong, Yi-Chien |
Interference-aware Batch Memory Scheduling in Heterogeneous Multicore Architecture | harry78123@gmail.com |
| 61 | 2014 | 王建宇 Wang, Jien-Yu |
Elastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture | tommy1122337@gmail.com |
| 60 | 2014 | 蔡鎮州 Tsai, Chen-Chou |
Hierarchical Optimization of Smart Grids with Energy Storage Systems - A Model-Predictive Control and Auction-based Method | callmetcc@gmail.com |
| 59 | 2014 | 劉炎敦 Liu, Yan-Dun |
Smart Photovoltaic Power Generation System Design | hclnffydok@gmail.com |
| 58 | 2013 | 陳彥廷 Chen, Yen-Ting |
Workload Partitioning and Scheduling on Heterogeneous Multi-Core Systems | jfkdadd@gmail.com |
| 57 | 2013 | 鄧世孟 Teng, Shih-Meng |
Auto-tuning on GPGPU by using Performance and Power Estimation Model | tom1322kimo@gmail.com |
| 56 | 2013 | 彭竣陽 Peng, Chun-Yang |
Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform Architecture Design | bibbymike@gmail.com |
| 55 | 2013 | 吳政謙 Wu, Cheng-Chien |
FPGA-based High Applicability Reconfigurable FFT Processor for Multi-standard Systems | johnwu227@gmail.com |
| 54 | 2013 | 廖偉志 Liao, Wei-Chih |
A Study on the Use of Miracast Supported Devices for Distance Learning | symsyym@gmail.com |
| 53 | 2013 | 柯勇明 Ko, Yung-Ming |
UHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder | kokome91@gmail.com |
| 52 | 2013 | 余明逾 Yu, Ming-Yu |
Hidden Markov Model-based Bandwidth Selection for Cognitive Network | chts.mingyu@gmail.com |
| 51 | 2013 | 陳映妤 Chen, Ying-Yu |
RFID-based Roll-Call System Study for Field Trips | vnin.vnin@msa.hinet.net |
| 50 | 2012 | 張俊欽 Chang, Chun-Chin |
The Research of Radio Frequency Identification Technology for the Family Violence Prevention | tiked599@yahoo.com.tw |
| 49 | 2012 | 吳佳恩 Wu, Chia-En |
A Study on the Critical Success Factors of Initiating Information Security Management System: Take a University in Northern Taiwan as a Sample | johnnywu0521@gmail.com |
| 48 | 2012 | 胡雅苹 Hu, Ya-Ping |
Robust Solution Space Prediction and Optimization for Cognitive Radios | hyp93675@gmail.com |
| 47 | 2012 | 施俊亦 Shih, Chun-Yi |
Communication Bottleneck Analysis for Improving the Performance of Multicore Software | skangel07@gmail.com |
| 46 | 2011 | 許惠民 Hsu, Hui-Min |
RFID-based Roll-Call System for School Campus | uz66.tw@yahoo.com.tw |
| 45 | 2011 | 王柏軒 Wang, Bo-Hsuan |
Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems | mmike552@gmail.com |
| 44 | 2011 | 林雨昕 Lin, Yu-Shin |
Multi-Objective Exploitation of Pipeline Parallelism using Clustering, Replication, and Duplication in Embedded Multicore Systems | stanley76726@hotmail.com |
| 43 | 2011 | 何嘉翹 Ho, Chia-Chiao |
Dynamic Application Scheduling on Heterogeneous Multi-core Systems | falow18@gmail.com |
| 42 | 2011 | 張逸倫 Chang, Yi-Luen |
An Efficient and Robust Solver for Multi-Objective Constraints-Satsifaction Problem in Cognitive Radio Systems | clplusegg@hotmail.com |
| 41 | 2011 | 陳立奇 Chen, Li-Chi |
Power Monitoring and Demand Control System Research and Design | jerryclc@hotmail.com |
| 40 | 2010 | 童聖亞 Tung, Hseng-Ya |
Dynamic Task Scheduling with Congestion Speculation for Network-on-Chip | jo3409.ken@msa.hinet.net |
| 39 | 2010 | 呂世申 Lu, Shih-Shen |
Congestion- and Energy-Aware Run-time Task Mapping for Network-on-Chip Architecture 99年中華民國資訊學會最佳碩士論文佳作獎 |
leeraphael@gmail.com |
| 38 | 2010 | 蘇琬婷 Su, Wan-Ting |
Buffer-Stealing Router Design for Improved Communication Efficiency in Network-on-Chip | cuteasong@gmail.com |
| 37 | 2010 | 潘晟陽 Pan, Shen-Yang |
Dynamically Adaptive Arbitration in Network-on-Chip for Streaming Applications | mellow39@gmail.com |
| 36 | 2009 | 林為文 Lin, Wei-Wen |
Reconfigurable NoC with OS Management 98年中華民國資訊學會最佳碩士論文佳作獎 |
lww96m@cs.ccu.edu.tw |
| 35 | 2009 | 藍竣廷 Lan, Chun-Ting |
Hardware Mediator for Reconfigurable Hardware-Software Systems | lct96m@cs.ccu.edu.tw |
| 34 | 2008 | 曹智傑 Tsao, Chih-Chieh |
An Efficient Collaborative Verification Methodology for Multiprocessor SoC with Run-Time Task Migration | cctsaokk@gmail.com |
| 33 | 2008 | 林怡洵 Lin, Yi-Shun |
Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Systems | lyh95m@cs.ccu.edu.tw |
| 32 | 2008 | 姜國程 Chiang, Kuo-Cheng |
Predictable and Adaptive Reconfigurable Network-on-Chip 97年中華民國資訊學會最佳碩士論文佳作獎 |
guybejude@gmail.com |
| 31 | 2008 | 邱京崙 Chiu, Jying-Lwen |
On-line Scheduling of Real-Time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems | ccl95m@cs.ccu.edu.tw |
| 30 | 2007 | 孫淵玲 Sun, Hong-Yu |
Dynamic Hardware-Software Task Switching and Relocation for Reconfigurable Systems | syl94@cs.ccu.edu.tw |
| 29 | 2007 | 洪進傑 Hung, Chin-Chieh |
Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems | hcc94@cs.ccu.edu.tw |
| 28 | 2007 | 姜成器 Chiang, Cheng-Chi |
Hardware/Software Real-Time Relocatable Task Scheduling and Placement in Dynamically Partial Reconfigurable Systems | ccc94@cs.ccu.edu.tw |
| 27 | 2007 | 廖筱芸 Liao, Hsiao-Win |
Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems 96年中華民國資訊學會最佳碩士論文佳作獎 |
cloudetteLiao@gmail.com |
| 26 | 2007 | 林朝聖 Lin, Chao-Sheng |
IP-based Resource Management in Reconfigurable Systems | lcs94@cs.ccu.edu.tw |
| 25 | 2006 | 呂品賢 Lu, Pin-Shian |
A Reconfigurable Platform for Efficient Embedded Software Development | lph92@cs.ccu.edu.tw |
| 24 | 2006 | 張世學 Chang, Shih-Hsueh |
Dynamically and Partially Reconfigurable Systems | acsh93@cs.ccu.edu.tw |
| 23 | 2006 | 葉家蓁 Yeh, Chia-Chen |
Efficient Coverage Estimation in Model Checking | ycc93@cs.ccu.edu.tw |
| 22 | 2006 | 劉智文 Liu, Chih-Wen |
Low Power Hardware-Software Scheduling | lcw93@cs.ccu.edu.tw |
| 21 | 2006 | 陳盈如 Chen, Yean-Ru |
Failure Analysis using Model Checking 95年中華民國資訊學會最佳碩士論文佳作獎 |
cyj92@cs.ccu.edu.tw |
| 20 | 2006 | 許書裕 Hsu, Shu-Yu |
Embedded Software Design | thomas@mail.cyhg.gov.tw |
| 19 | 2005 | 邱冠綸 Chiu, Kuan-Lun |
An Efficient Coverage Estimation Methodology for Model Checking | ckl92@cs.ccu.edu.tw |
| 18 | 2005 | 陳元修 Chen, Yuan-Hsiu |
Hardware Scheduling and Placement in Operating Systems for Reconfigurable SoC | cyh92@cs.ccu.edu.tw |
| 17 | 2005 | 廖志峰 Liao, Chih-Feng |
A SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC | lcf92@cs.ccu.edu.tw |
| 16 | 2005 | 曾志豪 Tseng, Chih-Hao |
UML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems 94年中華民國資訊學會最佳碩士論文佳作獎 |
tch92@cs.ccu.edu.tw |
| 15 | 2005 | 王宏仁 Wang, Hung-Ren |
Hardware-Software Codesign for Programmable SoC | wang2361@yahoo.com.tw |
| 14 | 2004 | 廖文旭 Liao, Wen-Shiu |
Infrastructure of a Formal Verification Platform for SoC 93年中華民國資訊學會最佳碩士論文佳作獎 |
lws90@cs.ccu.edu.tw |
| 13 | 2004 | 趙偉成 Chao, Wei-Cheng |
Transaction-Level Modeling for Modeling Checking | cwc91@cs.ccu.edu.tw |
| 12 | 2004 | 吳展奇 Wu, Chan-Chi |
An Assertion-based Dynamic Formal Verification Methodology for Hardware Systems | wcc91@cs.ccu.edu.tw |
| 11 | 2004 | 李德昌 Li, Te-Chang |
Mutation Coverage Estimation for Symbolic Model Checking | ltc91@cs.ccu.edu.tw |
| 10 | 2004 | 高新傑 Kao, Hsin-Chie |
Device-Centric Energy-Optimal Scheduling for Low-Power Real-Time Systems | khc91@cs.ccu.edu.tw |
| 9 | 2004 | 蔡委育 Tsai, Wei-Yu |
Formal Verification of Safety-Critical Systems with Safecharts | twy91@cs.ccu.edu.tw |
| 8 | 2004 | 張育銘 Chang, Yu-Ming |
CORBA-based Distributed Formal Verification | cym87@cs.ccu.edu.tw |
| 7 | 2003 | 孫明煌 Sun,Ming-Hwang |
Formal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification | smh90@cs.ccu.edu.tw |
| 6 | 2003 | 沈子詠 Shen, Tzu-Yung |
Assume-Guarantee Formal Verification of Component-Based Hierarchical Software | sty90@cs.ccu.edu.tw |
| 5 | 2003 | 林承毅 Lin, Cheng-Yi |
Quasi-Dynamic Scheduling for the Formal Synthesis of Real-Time Embedded Software 92年中華民國資訊學會最佳碩士論文佳作獎 |
lcy90@cs.ccu.edu.tw |
| 4 | 2003 | 陳立明 Chen, Li-Ming |
Interface Synthesis of Real-Time Embedded Systems | clm90@cs.ccu.edu.tw |
| 3 | 2002 | 鄭舒予 Cheng, Shu-Yu |
Automating Assume-Guarantee Reasoning for Model Checking Real-Time Embedded Systems | jsy89@cs.ccu.edu.tw |
| 2 | 2002 | 蘇峰仕 Su, Feng-Shi |
Formal Synthesis and Code Generation of Embedded Software Using Extended
Quasi-Static Scheduling 91年中華民國資訊學會最佳碩士論文佳作獎 |
sfs89@cs.ccu.edu.tw |
| 1 | 2002 | 高淳浩 Gau, Chuen-Hau |
Time-Memory Scheduling and Code Generation for Real-Time Embedded Software | gch89@cs.ccu.edu.tw |