National Chung Cheng University  ·  Embedded Systems Laboratory

Lab Members

Embedded Systems Laboratory  ·  Dept. of CSIE, National Chung Cheng University  ·  Chiayi, Taiwan

Current PhD Current Masters Postdoc Fellows Graduated PhDs Graduated Masters Undergrad Projects Summer Internships

Current PhD Students

Lee, Tien-Chieh
李天傑
Joined 2024

Current Master Students

Chang, Bo-Chun
張博鈞
Joined 2023
Liu, Chung-Yen
劉忠諺
Joined 2024
Yeh, Cheng-Chih
葉承智
Joined 2024
T
Tushar Jaryal
Joined 2024
INTENSE/India
Lan, Chun-Wei
藍浚維
Joined 2024
Huang, Bo-Chun
黃柏鈞
Joined 2024
Lin, Wen-Chun
林玟均
Joined 2024
Wang, Chia-Wei
王嘉暐
Joined 2025
Fang, Chun-Hsiang
方俊翔
Joined 2025
Chang, Chien-Hsun
張健勳
Joined 2025
Lin, Yu-Chieh
林郁潔
Joined 2025
E
Er Ashiq Hussain
Joined 2025
INTENSE/India
A
Akash Patel
Joined 2025
INTENSE/India
B
Basil Rari Thekkekara
Joined 2025
International
B
Bhagya Suresh Kumar
Joined 2025
International
A
Ayush Kumar
Joined 2026
International
Chu, Liang-I
褚翊喨
Joined 2026
Tseng, Bo-Ren
曾博仁
Joined 2026
Wu, Wan-Rong
吳宛融
Joined 2026

Cloud Computing & IoT E-Learning Master Students (在職專班)

Tao, Wei-Hung
陶威宏
Joined 2021
Huang, Tsuo-Chun
黃卓群
Joined 2022
Hung, Chien-Hang
洪健航
Joined 2023
Liu, Wei-Chen
劉瑋湞
Joined 2023
Cheng, Chun-Yuan
鄭竣元
Joined 2023
Chang, Hao-Chuan
張皓銓
Joined 2024
Chien, Bu-Kai
錢卜暟
Joined 2024
Lee, Jui-Chan
李瑞展
Joined 2024
Peng, Yen-Hsiang
彭彥翔
Joined 2024
Wu, Wan-Rong
吳琬融
Joined 2025
Lin, Ming-Chung
林明宗
Joined 2025

Former Postdoctoral Fellows

#PeriodNameResearch AreaCurrent Position
3Jan 2024 – Jul 2024Dr. Velliangiri S. (韦良力)Deep Learning & Applications (Distant Water Fisheries)Assistant Professor, SRM Institute of Science and Technology, India
2Apr 2022 – Jul 2023Dr. Karthikeyan P. (白卡迪)Deep Learning Technology & Applications (Distant Water Fisheries)Associate Professor, RV University, Bangalore, India
1Apr 2022 – Apr 2023Dr. John A. (葉約翰)Federated Learning (Sustainable Smart City)Associate Professor, FCE, MCTE, Ministry of Defense, Indore, India

Graduated PhD Students

#YearNameDissertationCurrent Position
122026Sapdo UtomoAchieving Sustainable Smart Cities with Trustworthy AI: A Case Study of AI-Driven Environmental MonitoringResearch Fellow, Research Center for Smart Mechatronics, BRIN, Indonesia
112025Ayush Pratap IIT Ropar Joint PhDAI-Driven Approaches in Materials and Manufacturing for Quality Control and MonitoringResearch Fellow, AIM-HI, CCU
102021Darmawan Utomo (張宏偉)Temporal Prediction and Anomaly Detection for Sensor-Based Systems using Deep Neural NetworksDean, Satya Wacana Christian University, Indonesia
92017Huang, Ken-Shin (黃建興)Adaptive Reasoning and Learning Framework for Cognitive Radio
82016Chao, Hung-Lin (趙宏林)Model Predictive Optimization for Smart Grid Design
72016Lu, Chun-Hsien (呂俊賢)Landslide Prediction — A Cyber-Physical System DesignAndes Technology
62014Lin, Feng-Hseng (林豐勝)Application Synthesis and Optimization on Heterogeneous Parallel Processing SystemsInstitute for Information Industry (III)
52014Lin, Chao-Sheng (林朝聖)Model-Driven Framework for Multicore Software Development
42013Shen, Jih-Sheng (沈日昇)Learning-based Reconfiguration of Network-on-Chip for Varying Processing RequirementsMediaTek
32013Shih, Kai-Jung (施凱中)Application Acceleration in Dynamically Partially Reconfigurable System InfrastructurePrivate Company
22011Huang, Chun-Hsian (黃駿賢)Model-Based Platform-Specific Co-Design Methodology for Dynamically Partially Reconfigurable Systems with Hardware Virtualization and PreemptionProfessor, Dept. CSIE, National Taitung University
12010Lin, Shang-Wei (林尚威)Compositional Synthesis of Concurrent Systems through Learning with Counterexample Guidance and Causality SemanticsAssociate Professor, Singapore Institute of Technology (SIT), Singapore

Graduated Master Students

#YearNameThesis Title
1852025劉子謙 Liu Chi ChienCurriculum Learning with Progressive Degradation for Robust Face Recognition
1842025莊朝翔 Chuang Chao HsiangEnhancing MobileViT v2 by Lightweight Feature Encoding for Image Classification
1832025龔惠君 Chang Chao HsiangAttention-Guided Pseudo-LiDAR Enhancement for 3D Object Detection
1822025鍾翊誠 Chung Yi ChengEnhancing Robustness and Fairness in Dynamic Agnostic Federated Learning
1812025曾偉桓 Tzeng, Wei-HuanEncrypted Computation Techniques and Performance Optimization for Sensitive Data in Cloud
1802025劉俊麟 Liu, Chun-LinOptimizing Enterprise Adoption of AI No-Code Platforms: A Study on Automated Deployment Technologies and Performance Analysis
1792025林育懿 Lin, Yu-YiDevelopment and Realization of Smart Home Control Utilizing the Matter Protocol
1782025楊蓓真 Yang, Pei-ChenUse the Pareto Method to Analyze and Explore the Key Products and Price Ranges in a Seafood Line Sales Community in New Taipei City
1772025李惠珠 Lee, Hui-ChuApplication of LINE Bot-Based AI Assistant in Diabetes Management: Integrating Search Enhancement Generation Technology and Preliminary Model Comparison Study
1762025黃德林 Hwang, Te-LinResearch on Customer Classification and Shipment Decision for Chemical Mechanical Polishing Slurry Products Based on Neural Networks
1752025沈泰德 Shen, Tai-TeResearch on Intelligent PCBA Repair Based on Machine Learning
1742024劉佳鑫 Chia-Hsin LiuSemantic-Guided Facial Sketch Generation
1732024江國豪 Guo Hao JiangDeep Learning-based Small Object Detection in Traffic Scenarios
1722024湯凱鈞 Tang Kai ChunMultimodal Deep Learning-based Estimation of PM2.5 Concentration in Foggy Images at Dawn and Dusk
1712024邱佳駿 Chiu Chia ChunShuttlecock Stroke Classification in Videos
1702024張鈞皓 Chang Chun HaoFederated Learning Based Detection of DDoS Attack in SDN Networks
1692024張元懷 Chang Yuan HwaiImproving Object Detection in Distant Water Fisheries using Image Enhancement and Fusing Techniques
1682024陳俊廷 Chen, Chun-TingResearch and Application of Component-based Development with React Framework — A Case Study of Automotive Management System
1672024匡融昇 Kuang, Rong-ShengDeep Learning Model Design for ASIC Test Predictions, Early Warning and Early Processing
1662024蔡湘霖 Tsai, Hsiang-LinDeep Neural Network Model based Prediction of Manufacture Defect in Production Lines
1652023陳威順 Chen, Wei-ShuennResearch on User Experience and Satisfaction for Cloud Storage
1642023梁海楨 Liang, Hai-ChenThe Linkage Between Learning Performance and Career Planning of On-the-Job Students
1632023林彥廷 Lin, Yen-TingImproving Customer Development based on Ensemble Learning
1622023涂中欣 Tu, Chung-HsinA Case Study of the Military Academy's Approach to Detecting and Responding to Multiple Threats on Mobile Devices
1612023曾博宇 Tsen, Bo-YuResearch on the Implementation of Zero Trust Security Architecture for Privileged Accounts based on Access Control in Appendix A.9 of ISO 27001:2013
1602023鄭博仁 Jheng Bo-RenDeep Learning Models Based Movement Disorder Evaluation of Parkinson Disease Severity
1592023陳敬諺 Chen Jing-YenAnalysis of Hardware Requirements for Deep Neural Networks
1582023曾俊軒 Tseng Jun-HsuanEnabling Connection Migration for eBPF-based QUIC Load Balancer
1572023張植鈞 Chang Chih-ChunA New Throughout the Day CNN Model for Image-based Air Pollution
1562023Adarsh RouniyarPerformance-Based Model Aggregation in Federated Learning for Image-Based AQI Classification
1552022黎益宇 Li, Yi-YuStudy of Indoor Thermal Comfort Control
1542022王文怡 Wang, Wen-YiEmotion Recognition Based on OpenPose for Human Posture of Preschool Educator
1532022蔡孟諭 Tsai, Meng-YuResearch on the Integration of Mobile Check-in System based on Android
1522022賴吉盛 Lai, Chi-ShengImproving User Experience on E-commerce Platform by Using User Reviews Big Data Analysis: A Case Study of the ETMall App
1512022莊詩婷 Chuang, Shih-TingChoosing a Database System for IoT — Using CAP Theory and Feature Vectors Identification
1502022王怡丁 Wang, Yi-TingDual Authentication Mechanism Design for Smart Libraries based on Object Recognition and Wireless Indoor Positioning
1492022陳彥志 Chen, Yen-ChihResearch on the Application of Smart Wearable Devices to Autonomic Nerve Monitoring
1482022何姮臻 Ho, Huan-JenTRIZ-based Intelligent Occupational Safety Management
1472022林美月 Lin, Mei-YueInnovation of Tax Service via Linebot — A Case Study in Tainan
1462022梁晉康 Tan-Khang LuongFacial Expression Recognition with Efficient Attention Module and Efficient-Net
1452022唐紹維 Tang Hsao-WeiAn Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs
1442022姜智勝 Jiang Zhi-ShengAQDC-CNN: Air Quality Estimation from Images using Dual-Channel Convolutional Neural Network
1432022黃煌凱 Huang Huang-KaiSemi-Supervised Learning for Post Flood Scene Classification
1422022毛宏瑋 Mao Hung-WeiASU-Net: A Computer-Aided Diagnosis System for Spleen Rupture Detection using Attention and Spatial Sensible U-Net
1412022古瑞安 Ku Jui-AnTaekwondo Front Kick Action Assessment System with Dynamic Time Warping
1402021曾紀秀 Tseng, Chih-ShiuThe Mining Analysis of Big Data on Court's Judgements of Driving Under Influence Crime
1392021林美華 Lin, Mei-HwaUnmanned Tax Vending Machine — Taking a Taiwan Finance and Local Tax Bureau as an Example
1382021陳彥佐 Chen Yen-TsoDeep Learning-based Lesion Detection with Colorful CIoU Loss in Liver Ultrasound Images
1372021劉永鴻 Liu Yung-HungLightMOT: A Lightweight Anchor-free Multiple Object Tracking Method for High-Density Tracking
1362021李維軒 Lee Wei-ShanSPChain: A Smart and Private Blockchain-enabled Framework for Combining GDPR-Compliant Digital Assets Management with AI Models
1352021陳俊伯 Chen Chun-PoSensingGAN: A Lightweight GAN for Real-time Rain Removal with Self-Attention
1342020鄒正杰 Chow, Zeng-ChiehThe Study of Radio Frequency Identification Technology in Finished Goods Warehousing System at an Electric Corporation in Cambodia
1332020洪俊輝 Hung, Chun-HueiApplication of LoRa communication technology in outdoor activity information collection
1322020鍾育修 Chung, Yu-HsiuA Study On The Relevancy Between App Reviews And Ratings — Using Facebook As An Example
1312020蔡育勝 Tsai, Yu-ShengResearch on Information Security Management System in the Risk Assessment of Computer Room Assets
1302020吳淑惠 Wu, Shu-HeuiImplementation of Intelligent CO Alarm System using LoRa Communication
1292020簡毅 Chien YiBlockchain-based Peer to Peer Energy Transaction Market with LSTM Prediction in Smart Grids
1282020張譯予 Chang, Yi-YuMaritime UAVE Patrol Tasks based on YOLOv4 Object Detection
1272020蕭諭謙 Hsiao, Yu-ChienEdge-based Human Action Recognition for Smart Surveillance Systems
1262020林岑叡 Lin, Chen-JuiDeep Neural Network-based Recommendation System Design
1252020Kevin Dao Thanh-TungCool Supply Chain Management using Blockchain
1242020邱皇旗 Chiu, Huang-ChiOpenPose-based Tracking of Human Interacting with Object
1232020曹曜弼 Tsao, Yeh-PiJob Stress Assessment Based on Heart Rate Variability
1222020郭芳邦 Guo, Fang-PangArtificial Neural Network-Based Data Reconstruction for Air Quality Sensing
1212020許廷州 Hsu, Ting-ChouApplying Deep Learning to Credit Scoring Models
1202020陳思妤 Chen, Sih-YuPredicting Admissions in Universities based on University Ability Exam
1192019陳建杉 Chen, Chian-ShanExploring Passenger Flow and Its Interference Factors — Taking Chain Stores as an Example
1182019蔡俊傑 Tsai, Chun-ChiehApplication of Drones for Parking Management
1172019許佩雯 Hsu, Pei-WenEfficiency Design for Manpower Dispatch Process
1162019蔡怡臻 Tsai, Yi-TsenApplication of Webduino for Agricultural Technology Data Analysis
1152019莊俊宏 Chuang, Chun-HungDesign and Construction of Heterogeneous Database Resource Monitoring
1142019許志揚 Hsu, Chi-YangGarlic Bulb Drying System Design with Prediction
1132019楊佳玲 Yang, Chia-LingStudy on the Relationship between Retirement and Learning Outcomes
1122019吳明涵 Wu, Ming-HanThe Analysis and Comparison of Wireless Morse Code versus Traditional Wireless Morse Code
1112019廖鵬凱 Liao, Peng-KaiImproving Quality of Outdoor Radio Receiving Performance by Using Median Filtering Method
1102019林育聖 Lin, Yu-ShengEdge-based Anomaly Detection in Smart Meters
1092019林柏儒 Lin, Bo-JuDetecting Real World Anomalies in Video using Spatio-Temporal Autoencoder
1082019李冠宏 Lee, Guan-HungAdvantage Actor-Critic for Intersection Management
1072018黃添威 Huang, Tien-WeiBluetooth Device Locating and Navigation using a Smart Phone
1062018余雅瑄 Yu, Ya-HsuanAnalysis of Online Customer-based Chatbot Service Quality in PZB Model
1052018林泰丞 Lin, Tai-ChengUniversal Blind Spot Assist System for Motorcycles
1042018施明志 Hsih, Ming-ChihUltrasonic and Infrared Human Body Sensing Applied to Industrial Robot Arms
1032018盧德修 Lu, Te-HsiuAnomaly Prediction in Smart Substation with Deep Learning
1022018楊子璿 Yang, Tzu-HsuanDriver Fatigue Prediction using Heterogeneous Sensor Data with Deep Learning
1012018陳偉倫 Chen, Wei-LunIntersection Crossing for Autonomous Vehicles based on Reinforcement Learning
1002018胡亮丞 Hu, Liang-ChengDeep Neural Network-based Landslide Data Reconstruction for Landslide Detection
992018林志樺 Lin, Chih-HuaDynamic Estimation of Vehicle Safety Distance under Low Visibility
982018曾冠斌 Tseng, Kwan-PingMaterial Management System Design based on RFID and Cloud Reply Mechanism
972018林泮吟 Lin, Pan-YinUsing Google Trends to Analyze Central Bank Interest Rate Decision Making: Taiwan Case Study
962018廖湘雲 Liao, Hsiao-YunAn Exploration on the Status of Automated Testing
952018張維凱 Chang, Wei-KaiPortable Intelligent Sensor System Design for Rental Apartments
942017郭玴甫 Guo, Yeh-Fu利用無人機 Drone 搭載移動式 RFID Reader 改善倉儲盤點作業
932017賴建宏 Lai, Chien-HungIntelligent Driving Condition Monitoring System
922017蔡漢俊 Tsai, Han-ChunApplication of Mechanical Deflection Technique in Ultrasonic Smart Assisted Blind Cane
912017蔡承旻 Tsai, Cheng-MinAutomatically Optimize TV Commercials Strategies System
902017黃瓊瑩 Huang, Chung-IngInfluence of Solar Radiation on Solar Power Generation — Research on Residential Application
892017林芳瑜 Lin, Fang-YuMultiple sensor-based vehicle driver fatigue detection
882017林育堯 Lin, Yu-YaoPredictive Driver Fatigue Warning System Design
872017林晉玄 Lin, Chin-HsuanCost Optimization of Electrical Usage with Customizable Comfort Considerations
862017陳石峰 Chen, Shi-FengLandslide Prediction with Modal Computations
852017陳庚品 Chen, Keng-PinPredictive Collision Warning System with Visibility Considerations
842017王元禾 Wang, Yuan-HoCreativity and its Social Factors
832017陶氏清 Dao, Thi ThanhFace and Hand Gesture Recognition for Secure Control of Equipments
822017王華欣 Wang Hua-HsinProgram Trading System of Taiex Futures — By Strategy of Virtual Trade
812017Hendrik TampubolonSupervised Deep Learning Based for Traffic Flow Prediction
802016林志祥 Lin, Shi-ChanApplication of RFID Technology to Emergency Traffic Signal Design
792016林佳靜 Lin, Chia-ChingImproving Efficiency of Domestic Power Demand by Using Orderly Power Utilization
782016李天傑 Lee, Tien-ChiehPrediction of Electric Power Consumption in Taiwan by Back Propagation Neural Network
772016孫景亮 Sun, Jin-LiangSmart Green Uninterruptible Power System
762016買昭雯 Mai, Chao-WenPV-based Power Charger for Motorcycle Batteries
752016林志宸 Lin, Chih-ChenData Reconstruction for Cyber-Physical Landslide Detection System
742016楊采真 Yang, Tsai-ChenModel Predictive Optimization for Energy Storage based Smart Grids
732016徐瑋 Hsu, WeiUrban Traffic Information Prediction using Elmann Neural Network and Traffic Network Models
722015吳宗典 Wu, Tsung-TienSoftware-Defined Network Interface Design Performance and Security Oriented
712015謝珮琪 Hsieh, Pei-ChiModel Predictive Optimization for Distribution Management in Smart Grid
702015陳佑任 Chen, You-RenDynamic Traffic Light Optimization and Control System using Model-Predictive Control Method
692015吳文豪 Wu, Wen-HaoAdaptive Timing Optimization for Cyber Physical Signal Control System
682015曾冠維 Tsen, Kuan-WeiVirtualization Architecture for Application-Oriented Reconfigurable Network-on-Chip System
672015李宣儒 Lee, Hsuan-JuSoftware-Defined Monitoring for High Speed Network Flow Analysis in Network-on-Chip
662014郭惠民 Kuo, Hui-MinZigbee無線通訊應用於路邊停車收費管理系統之研究
652014吳文義 Wu, Wen-Yi數位電表應用於家庭節電節費系統之研究
642014姚瑞隆 Yao, Jui-LungSAT-based Verification of Role-based Access Control Systems with Slicing method
632014劉柏廷 Liu, Po-TingFeedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems
622014宋羿謙 Soong, Yi-ChienInterference-aware Batch Memory Scheduling in Heterogeneous Multicore Architecture
612014王建宇 Wang, Jien-YuElastic Superposition Mapping for Heterogeneous Tasks in Reconfigurable Multicore Architecture
602014蔡鎮州 Tsai, Chen-ChouHierarchical Optimization of Smart Grids with Energy Storage Systems — A Model-Predictive Control and Auction-based Method
592014劉炎敦 Liu, Yan-DunSmart Photovoltaic Power Generation System Design
582013陳彥廷 Chen, Yen-TingWorkload Partitioning and Scheduling on Heterogeneous Multi-Core Systems
572013鄧世孟 Teng, Shih-MengAuto-tuning on GPGPU by using Performance and Power Estimation Model
562013彭竣陽 Peng, Chun-YangSpatio-Temporally-Shared Reconfigurable Fast Fourier Transform Architecture Design
552013吳政謙 Wu, Cheng-ChienFPGA-based High Applicability Reconfigurable FFT Processor for Multi-standard Systems
542013廖偉志 Liao, Wei-ChihA Study on the Use of Miracast Supported Devices for Distance Learning
532013柯勇明 Ko, Yung-MingUHF Bi-directional Tracking System Design by Integrating GPS and Radar Transponder
522013余明逾 Yu, Ming-YuHidden Markov Model-based Bandwidth Selection for Cognitive Network
512013陳映妤 Chen, Ying-YuRFID-based Roll-Call System Study for Field Trips
502012張俊欽 Chang, Chun-ChinThe Research of Radio Frequency Identification Technology for the Family Violence Prevention
492012吳佳恩 Wu, Chia-EnA Study on the Critical Success Factors of Initiating Information Security Management System
482012胡雅苹 Hu, Ya-PingRobust Solution Space Prediction and Optimization for Cognitive Radios
472012施俊亦 Shih, Chun-YiCommunication Bottleneck Analysis for Improving the Performance of Multicore Software
462011許惠民 Hsu, Hui-MinRFID-based Roll-Call System for School Campus
452011王柏軒 Wang, Bo-HsuanSynchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems
442011林雨昕 Lin, Yu-ShinMulti-Objective Exploitation of Pipeline Parallelism using Clustering, Replication, and Duplication in Embedded Multicore Systems
432011何嘉翹 Ho, Chia-ChiaoDynamic Application Scheduling on Heterogeneous Multi-core Systems
422011張逸倫 Chang, Yi-LuenAn Efficient and Robust Solver for Multi-Objective Constraints-Satisfaction Problem in Cognitive Radio Systems
412011陳立奇 Chen, Li-ChiPower Monitoring and Demand Control System Research and Design
402010童聖亞 Tung, Hseng-YaDynamic Task Scheduling with Congestion Speculation for Network-on-Chip
392010呂世申 Lu, Shih-Shen IICM Best ThesisCongestion- and Energy-Aware Run-time Task Mapping for Network-on-Chip Architecture
382010蘇琬婷 Su, Wan-TingBuffer-Stealing Router Design for Improved Communication Efficiency in Network-on-Chip
372010潘晟陽 Pan, Shen-YangDynamically Adaptive Arbitration in Network-on-Chip for Streaming Applications
362009林為文 Lin, Wei-Wen IICM Best ThesisReconfigurable NoC with OS Management
352009藍竣廷 Lan, Chun-TingHardware Mediator for Reconfigurable Hardware-Software Systems
342008曹智傑 Tsao, Chih-ChiehAn Efficient Collaborative Verification Methodology for Multiprocessor SoC with Run-Time Task Migration
332008林怡洵 Lin, Yi-ShunQuality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Systems
322008姜國程 Chiang, Kuo-Cheng IICM Best ThesisPredictable and Adaptive Reconfigurable Network-on-Chip
312008邱京崙 Chiu, Jying-LwenOn-line Scheduling of Real-Time Tasks and Compact Placement Method for Dynamically Partially Reconfigurable Systems
302007孫淵玲 Sun, Hong-YuDynamic Hardware-Software Task Switching and Relocation for Reconfigurable Systems
292007洪進傑 Hung, Chin-ChiehReconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems
282007姜成器 Chiang, Cheng-ChiHardware/Software Real-Time Relocatable Task Scheduling and Placement in Dynamically Partial Reconfigurable Systems
272007廖筱芸 Liao, Hsiao-Win IICM Best ThesisMulti-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems
262007林朝聖 Lin, Chao-ShengIP-based Resource Management in Reconfigurable Systems
252006呂品賢 Lu, Pin-ShianA Reconfigurable Platform for Efficient Embedded Software Development
242006張世學 Chang, Shih-HsuehDynamically and Partially Reconfigurable Systems
232006葉家蓁 Yeh, Chia-ChenEfficient Coverage Estimation in Model Checking
222006劉智文 Liu, Chih-WenLow Power Hardware-Software Scheduling
212006陳盈如 Chen, Yean-Ru IICM Best ThesisFailure Analysis using Model Checking
202006許書裕 Hsu, Shu-YuEmbedded Software Design
192005邱冠綸 Chiu, Kuan-LunAn Efficient Coverage Estimation Methodology for Model Checking
182005陳元修 Chen, Yuan-HsiuHardware Scheduling and Placement in Operating Systems for Reconfigurable SoC
172005廖志峰 Liao, Chih-FengA SystemC Based Performance Evaluation Framework for Dynamically Reconfigurable SoC
162005曾志豪 Tseng, Chih-Hao IICM Best ThesisUML-Based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems
152005王宏仁 Wang, Hung-RenHardware-Software Codesign for Programmable SoC
142004廖文旭 Liao, Wen-Shiu IICM Best ThesisInfrastructure of a Formal Verification Platform for SoC
132004趙偉成 Chao, Wei-ChengTransaction-Level Modeling for Model Checking
122004吳展奇 Wu, Chan-ChiAn Assertion-based Dynamic Formal Verification Methodology for Hardware Systems
112004李德昌 Li, Te-ChangMutation Coverage Estimation for Symbolic Model Checking
102004高新傑 Kao, Hsin-ChieDevice-Centric Energy-Optimal Scheduling for Low-Power Real-Time Systems
92004蔡委育 Tsai, Wei-YuFormal Verification of Safety-Critical Systems with Safecharts
82004張育銘 Chang, Yu-MingCORBA-based Distributed Formal Verification
72003孫明煌 Sun, Ming-HwangFormal Specification Generation by Applying Error Trace Analysis for Semi-Formal Verification
62003沈子詠 Shen, Tzu-YungAssume-Guarantee Formal Verification of Component-Based Hierarchical Software
52003林承毅 Lin, Cheng-Yi IICM Best ThesisQuasi-Dynamic Scheduling for the Formal Synthesis of Real-Time Embedded Software
42003陳立明 Chen, Li-MingInterface Synthesis of Real-Time Embedded Systems
32002鄭舒予 Cheng, Shu-YuAutomating Assume-Guarantee Reasoning for Model Checking Real-Time Embedded Systems
22002蘇峰仕 Su, Feng-Shi IICM Best ThesisFormal Synthesis and Code Generation of Embedded Software Using Extended Quasi-Static Scheduling
12002高淳浩 Gau, Chuen-HauTime-Memory Scheduling and Code Generation for Real-Time Embedded Software

Former Undergraduate Project Students

PeriodNameProject Title
2026/01–2027/01張宇誠 Chang, Yu-ChengAI-based Detection of Littering based on ROI Analysis
2026/01–2027/01張哲誠 Chang, Tze-ChengAI-based Detection of Littering based on ROI Analysis
2026/01–2027/01魏伯諭 Wei, Bo-YuAI-based Detection of Littering based on co-DETR
2026/01–2027/01陳育琳 Chen, Yu-LinAI-based Detection of Littering based on co-DETR
2026/01–2027/01郭庭源 Kuo, Ting-YuanAI-based Detection of Littering
2026/01–2027/01陳源陶 Chen, Yuan-TaoAI-based Detection of Littering
2025/01–2026/01洪子翔 Hung, Chih-HsiangSign Language to Taiwanese Language — Open Source Contribution to KServe
2025/01–2026/01王俐晴 Wang, Li-ChingSign Language to Taiwanese Language — Open Source Contribution to KServe
2025/01–2026/01余承宏 Yu, Cherng-HongAI-based Detection of Environment Protection Law Violation (Littering, Public Urination, Spitting)
2025/01–2026/01姜智荃 Chiang, Tze-ChuanAI-based Detection of Environment Protection Law Violation
2025/01–2026/01黃昱翔 Huang, Yu-HsiangAI-based Detection of Environment Protection Law Violation
2025/01–2026/01林薇棋 Lin, Wei-ChiAI-based Detection of Traffic Law Violation — Vehicles Turning without Blinking Indicator Lights
2025/01–2026/01陳芊綺 Chen, Chian-ChiAI-based Detection of Traffic Law Violation
2025/01–2026/01林家榮 Lin, Chia-JungAI-based Detection of Traffic Law Violation
2025/01–2026/01楊家昕 Yang, Chia-HsinAI-based Detection of Traffic Law Violation
2024/02–2025/01張淳瀚 Chang, Chuen-HanCarbon Emission Estimation for Taiwan Cities
2024/02–2025/01陳勁 Chen, ChingCarbon Emission Estimation for Taiwan Cities
2024/02–2025/01陳荃憲 Chen, Chuan-HsienCarbon Emission Estimation for Taiwan Cities
2024/02–2025/01胡凱翔 Hu, Kai-HsiangAI-based Detection of Traffic Law Violation
2024/02–2025/01田昕巧 Tien, Hsn-ChiaoAI-based Detection of Traffic Law Violation
2024/02–2025/01張鈞佑 Chang, Chun-YiuAI-based Detection of Traffic Law Violation
2024/02–2025/01黃士庭 Huang, Shih-TingDeepFake Detection with Open Source Contribution to KServe
2024/02–2025/01陳冠諭 Chen, Kwan-YuDeepFake Detection with Open Source Contribution to KServe
2024/02–2025/01謝仁恩 Hsieh, Ren-EnDeepFake Detection with Open Source Contribution to KServe
2024/02–2025/01周群閔 Chou, Chun-MinDeepFake Detection with Open Source Contribution to KServe
2024/02–2025/01林嘉樂 Lin, Chia-LeDeepFake Detection with Open Source Contribution to KServe
2023/02–2024/01趙曉峰 Chao, Hsiao-FengSustainability KPI
2023/02–2024/01蔡明璋 Tsai, Ming-ChangSustainability KPI
2023/02–2024/01韓澤疇 Han, Che-TsouSustainability KPI
2023/02–2024/01吳埕頡 Wu, Cheng-ShieSustainability KPI
2023/02–2024/01蔡博盛 Tsai, Bo-ShengSustainability KPI
2023/02–2024/01王凱右 Wang, Kai-YiouStill Image Defogging AI
2023/02–2024/01林于翔 Lin, Yu-HsiangStill Image Defogging AI
2022/02–2023/01邱守晨 Chiu, Hsou-ChenKServe Contribution: Explainable AI
2022/02–2023/01盧政宏 Lu, Cheng-HungKServe Contribution: Explainable AI
2022/02–2023/01張軒維 Chang, Hsuen-WeiKServe Contribution: Explainable AI
2022/02–2023/01蘇昶霖 Su, Chang-LinKServe Contribution: Explainable AI
2021/02–2022/01朱彥旻 Chu, Yen-MinKubernetes Open Source Contributions
2021/02–2022/01林柏宏 Lin, Bo-HungKubernetes Open Source Contributions
2021/02–2022/01黃鈺翔 Huang, Yu-HsiangKubernetes Open Source Contributions
2021/02–2022/01簡煜倫 Chien, Yu-LuenVehicle Sentry Mode Design
2021/02–2022/01唐浩 Tang, HaoVehicle Sentry Mode Design
2018/02–2019/01賴炘民 Lai, Hsin-MinStock Price Predictions using Deep Neural Network Models
2018/02–2019/01王偉丞 Wang, Wei-ChengStock Price Predictions using Deep Neural Network Models
2018/02–2019/01劉子齊 Liu, Tzu-ChihFashion Design using Generative Adversarial Network Model
2018/02–2019/01林楷博 Lin, Kai-BoFashion Design using Generative Adversarial Network Model
2017/02–2018/01翁子洋 Ong, Tzu-YangBig Data System for University Internationalization
2017/02–2018/01李健源 Lee, Chien-YuanBig Data System for University Internationalization
2017/02–2018/01陳威利 Chen, Wei-LiBig Data System for University Internationalization
2017/02–2018/01鄭才修 Cheng, Tsai-HsiuBig Data System for University Internationalization
2017/02–2018/01賀奇峰 He, Chi-FengSmart Dining Table
2017/02–2018/01劉恆福 Liu, Heng-FuSmart Dining Table
2017/02–2018/01洪翎恩 Hung, Ling-EnDriver Fatigue Prediction
2017/02–2018/01簡毅 Chien, YiDriver Fatigue Prediction
2017/02–2018/01游智皓 Yu, Chih-HawDriver Fatigue Prediction
2017/02–2018/01柯昶丞 Ko, Chang-ChengDriver Fatigue Prediction
2016/02–2017/01林仕和 Lin, Shi-HePower Usage Prediction in Smart Grids
2016/02–2017/01張鴻霖 Zhang, Hong-LinPower Usage Prediction in Smart Grids
2016/02–2017/01林宇翔 Lin, Yu-HsiangPower Usage Prediction in Smart Grids
2016/02–2017/01劉承柏 Liu, Cheng-BoIntersection Warning System
2016/02–2017/01李懿倫 Li, Yi-LunIntersection Warning System
2016/02–2017/01李嘉祥 Li, Jia-ShiangIntersection Warning System
2016/02–2017/01林佳賢 Lin, Chia-HsienIntersection Warning System
2016/02–2017/01李為丞 Li, Cheng-WeiDriver Fatigue Detection System Design
2016/02–2017/01程信翰 Cheng, Hsin-HanDriver Fatigue Detection System Design
2016/02–2017/01蘇冠榮 Su, Kuan-JungDriver Fatigue Detection System Design
2016/02–2017/01顧詠涵 Gu, Yong-HanDriver Fatigue Detection System Design
2014/02–2015/01陳緯真 Chen, Wei-TsenParallel Parking Electronic Toll Collection
2014/02–2015/01江怡諄 Chiang, Yi-ChuenParallel Parking Electronic Toll Collection
2014/02–2015/01林哲宣 Lin, Che-HsuanSmart Lab System
2014/02–2015/01陳昱廷 Chen, Yu-TingSmart Lab System
2014/02–2015/01張威竣 Chang, Wei-ChunSmart Lab System
2013/02–2014/01謝養蒼 Hsieh, Yang-TsangSmart Traffic Control for Emergency Ambulance
2013/02–2014/01陳品瑞 Chen, Pin-RuiSmart Traffic Control for Emergency Ambulance
2012/02–2013/01葉辰廷 Yeh, Chen-TingMulticore Smart Video Camera Design
2012/02–2013/01吳宗典 Wu, Tsung-TienMulticore Smart Video Camera Design
2012/02–2013/01謝珮琪 Hsieh, Pei-ChiMulticore Smart Video Camera Design
2012/02–2013/01張元一 Chang, Yuan-YiMulticore Smart Video Camera Design
2012/02–2013/01陳佑任 Chen, You-RenMulticore Smart Video Camera Design
2012/02–2013/01何培安 Ho, Pei-AnMulticore Smart Video Camera Design
2011/02–2012/01葉幸宜 Yeh, Shing-YiEfficient Tracking of Sports Players using Multiple Smart Cameras
2011/02–2012/01宋立文 Sung, Li-WenEfficient Tracking of Sports Players using Multiple Smart Cameras
2011/02–2012/01潘星佑 Pan, Shing-YewEfficient Tracking of Sports Players using Multiple Smart Cameras
2011/02–2012/01蔡品儀 Tsai, Pin-YiEfficient Tracking of Sports Players using Multiple Smart Cameras
2011/02–2012/01徐子翔 Hsu, Chi-HsiangEfficient Tracking of Sports Players using Multiple Smart Cameras
2010/02–2011/01黃淑樺 Hwang, Shu-HwaOutdoor Rollcall System based on RFID
2010/02–2011/01黃靜君 Hwang, Jing-ChunOutdoor Rollcall System based on RFID
2010/02–2011/01陳聖文 Chen, Sheng-WenOutdoor Rollcall System based on RFID
2009/02–2010/01蔡鎮州 Tsai, Chen-ChouRFID Campus for Special Education School
2009/02–2010/01林育右 Lin, Yu-YiuRFID Campus for Special Education School
2009/02–2010/01姚瑞隆 Yao, Jui-LungRFID Campus for Special Education School
2009/02–2010/01吳政謙 Wu, Cheng-ChianRFID Campus for Special Education School
2009/02–2010/01李銘智 Lee, Ming-ChihRFID Campus for Special Education School
2009/02–2010/01董育彰 Tung, Yu-ChangRFID Campus for Special Education School
2009/02–2010/01林柏辰 Lin, Yu-ShinRFID Campus for Special Education School
2008/02–2009/01毛晨茵 Mao, Cheng-YinRFID Hotel
2008/02–2009/01張逸倫 Chang, Yi-LuenRFID Hotel
2008/02–2009/01何嘉翹 He, Chia-ChiaoRFID Hotel
2008/02–2009/01林雨昕 Lin, Yu-ShinRFID Hotel
2007/02–2008/01李世強 Li, Shih-ChiangRFID Post
2007/02–2008/01邱孟傑 Chiu, Meng-ChiehRFID Post
2007/02–2008/01徐綺營 Hsu, Chi-YingRFID Post
2007/02–2008/01林昶志 Lin, Chang-ChihRFID-based Traffic Control
2007/02–2008/01曹牧民 Chao, Mu-MinRFID-based Traffic Control
2007/02–2008/01蕭乃凡 Hsiao, Nai-FanRFID-based Traffic Control
2007/02–2008/01何建彤 Ho, Chien-TongRFID-based Traffic Control
2006/02–2007/01柯佳伶 Ke, Chia-LingOpen-Source RFID Middleware
2006/02–2007/01劉宥麟 Liu, Yiou-LinOpen-Source RFID Middleware
2006/02–2007/01簡榮胤 Chien, Rong-YinRFID-based Airport Luggage Handling Environment
2006/02–2007/01吳承陽 Wu, Cheng-YangRFID-based Airport Luggage Handling Environment
2006/02–2007/01林耿賢 Lin, Gen-HsienRFID-based Airport Luggage Handling Environment
2006/02–2007/01黃建興 Huang, Chian-HsingMagical Pen
2005/02–2006/01喬貞朋 Chiao, Chen-PengRemote-Controlled Home Appliances
2005/02–2006/01呂俊賢 Lu, Chuin-HsienRemote-Controlled Home Appliances
2005/02–2006/01彭盛韶 Peng, Sheng-ShaoRemote-Controlled Home Appliances
2005/02–2006/01程冠雄 Cheng, Kuan-ShiungReconfigurable Entrance Guard System
2005/02–2006/01林詩芸 Lin, Shih-WinReconfigurable Entrance Guard System
2004/02–2005/01楊韻則 Yang, Yun-TzePortable Reusable Device Driver Modules for VERTAF
2004/02–2005/01戴鈺唐 Tai, Yu-TangPortable Reusable Device Driver Modules for VERTAF
2004/02–2005/01姜成器 Chiang, Cheng-ChiPortable Reusable Device Driver Modules for VERTAF
2004/02–2005/01張倍綱 Chang, Pei-KangPortable Reusable Device Driver Modules for VERTAF
2004/02–2005/01林彥宏 Lin, Yen-HungFormal Verification of SafeCharts
2004/02–2005/01孫淵玲 Sun, Yuan-LinUML Model Formalizers in VERTAF
2004/02–2005/01王俊文 Wang, Chun-WenUML Model Formalizers in VERTAF
2003/02–2004/01張世學 Chang, Shi-ShuehWireless Mobile Surveillance System with Intelligent Field Expansion
2003/02–2004/01陳彥佑 Chen, Yen-YiuWireless Mobile Surveillance System
2003/02–2004/01陶俊輝 Tao, Chun-HuiWireless Mobile Surveillance System
2003/02–2004/01巫格至 Wu, Ge-JiWireless Mobile Surveillance System
2003/02–2004/01張義雄 Jang, Yi-ShungWireless Mobile Surveillance System
2003/02–2004/01鄭伊騏 Jeng, Yi-ChiWireless Mobile Surveillance System
2002/02–2003/01何建緯 He, Chien-WeiWindows Version of SGM GUI
2002/02–2003/01吳明峰 Wu, Ming-FengWindows Version of SGM GUI
2002/02–2003/01鐘宜君 Chung, Yi-ChunWindows Version of SGM GUI
2001/02–2002/01黃瑩潔 Hwang, Ying-JieI-Protocol Verification

Completed Summer Internships

DurationNameOriginProject Title
2015/05–2015/07Vinay RathoreNIT Warangal, IndiaA Simplified Modelling and Analysis of Daylighting of Room
2011/06–2011/07Trivesh MittalGurukula Kangri University, Haridwar, IndiaRoad Profiling System
2011/06–2011/07Raghvendra DixitGurukula Kangri University, Haridwar, IndiaRoad Profiling System
2011/06–2011/08Bipin KumarGuru Gobind Singh Indraprastha University, Delhi, IndiaBall Detection and Tracking System for Sports Videos
2009/05–2009/07Manish Kumar VermaIIT Kanpur, IndiaProgramming Model and Architecture for Reconfigurable Networks-on-Chip
2009/05–2009/07Varun Kishore Singh ChoudharyIIT Kharagpur, IndiaMulticore Embedded Software Code Generation in VERTAF
2008/07–2008/08Bhupesh BhargavaGurukula Kangri University, Haridwar, IndiaReconfigurable IP design for reconfigurable Network-on-Chip
2008/05–2008/07Rajan YadavIndian School of Mines University, Dhanbad, IndiaMulticore Embedded Software Code Generation in VERTAF
2005/05–2005/07Rohit KumarBanaras Hindu University, Varanasi, IndiaDesign of a Bus Communication Architecture for Partial Run-Time Reconfigurable SoC using Xilinx FPGA
2005/05–2005/07Shruti RakhejaBanaras Hindu University, Varanasi, IndiaDesign of a Bus Communication Architecture for Partial Run-Time Reconfigurable SoC using Xilinx FPGA