รศ.ดร. ชานนท์ เดชสุภา

Chanon Dechsupa

Chanon Dechsupa received his Ph.D degree in computer engineering from department of Computer Engineering, Chulalongkorn University. From 2008 to 2015, he was a database programmer and a senior system analyst with many private sectors. His field of interest includes the formal method in software engineering, deep learning for software engineering and workflow design. He is inventing novel applications which apply digital technologies in various domains such as agriculture, biology, political science and so on.


His KKU profile

Profile

รองศาสตราจารย์ ดร.ชานนท์ เดชสุภา
I am a lecturer and researcher in Computer Science, with research interests in Formal Methods, Intelligent Systems, and Distributed Systems. I served as a database programmer, senior system analyst, and project manager in various private sectors for 10 years. My research focuses on both theoretical foundations and practical applications for complex systems that require high reliability and correctness. My current research mainly focuses on applying Formal Methods and Model Checking techniques to analyze and verify the correctness of computer systems. I am also interested in integrating AI techniques to analyze system behaviors involving complex state transitions and temporal behaviors. These approaches can be applied to intelligent systems, autonomous systems, distributed systems, and smart infrastructure. In the area of Formal Methods, I work on system modeling and analysis using techniques and tools such as Petri Nets, Colored Petri Nets (CPN), Timed Automata, and Model Checking. I also use model-based verification tools such as CPN Tools and UPPAAL for system behavior analysis, property verification, and correctness checking of concurrent and time-constrained systems. In addition, I am interested in software engineering (automated Test, Technical Debt analysis), Agentic AI, AI-driven Decision Support Systems, and the integration of Machine Learning or Neural Networks with Formal Verification techniques to support the analysis and learning of complex system behaviors. I welcome undergraduate, master’s, and PhD students, as well as Thai and international researchers, who are interested in collaborative research in Formal Methods, Model Checking, Petri Nets, Distributed Systems, Automated Test, and Technical Debt analysis . If you are interested in research collaboration, thesis supervision, or academic cooperation, feel free to contact me
Award
  1. ทุนสนับสนุนการศึกษาหลักสูตรดุษฎีบัณฑิต 100 ปีจุฬาลงกรณ์มหาวิทยาลัย
  2. ทุนสนับสนุนงานวิจัย 90 จุฬาลงกรณ์มหาวิทยาลัย กองทุนรัชดาภิเษกสมโภช รุ่นที่ 37 ปีการศึกษา 2560
  3. ทุนสนับสนุนวิจัยในต่างประเทศตามโครงการ บันทึกความเข้าใจระหว่างคณะวิศวกรรมศาสตร์จุฬาลงกรณ์มหาวิทยาลัยและ National Institute of Informatics ประเทศญี่ปุ่น ระหว่างวันที่ 20 เมษายน 2560 ถึงวันที่ 13 ตุลาคม 2560
  4. ทุนนักวิจัยหลังปริญญาเอก กองทุนรัชดาภิเษกสมโภช จุฬาลงกรณ์มหาวิทยาลัย (2562-2565)

ระดับ ชื่อปริญญา (สาขาวิชา) ชื่อสถาบัน,ประเทศ ปี พ.ศ. ที่จบ
ปริญญาเอก วศ.ด. (วิศวกรรมคอมพิวเตอร์) จุฬาลงกรณ์มหาวิทยาลัย 2562
ปริญญาโท วท.ม. (วิศวกรรมซอฟต์แวร์) จุฬาลงกรณ์มหาวิทยาลัย 2554
ปริญญาตรี วท.บ. (ระบบสารสนเทศคอมพิวเตอร์) มหาวิทยาลัยบูรพา 2551

2568 - ปัจจุบัน รองศาสตราจารย์ วิทยาลัยการคอมพิวเตอร์ มหาวิทยาลัยขอนแก่น
2565- 2568 ผู้ช่วยศาสตราจารย์ วิทยาลัยการคอมพิวเตอร์ มหาวิทยาลัยขอนแก่น
2564- 2565 อาจารย์ วิทยาลัยการคอมพิวเตอร์ มหาวิทยาลัยขอนแก่น
2562 - 2565 ตำแหน่งนักวิจัยหลังปริญญาเอก คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย
2562 - 2563 ตำแหน่งอาจารย์ สถาบัน NetDesign กลุ่มวิชาภาษาโปรแกรม PHP, C# และการออกแบบฐานข้อมูล SQL
2560 - 2560 ตำแหน่งนักวิจัยฝึกงาน ห้องปฏิบัติการ Software engineering and formal verification, National Institute of Informatics ประเทศญี่ปุ่น
2558 - 2561 ตำแหน่งผู้ช่วยสอน/อาจารย์ผู้ช่วยสอน คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย
2556 - 2557 ตำแหน่งนักวิเคราะห์ระบบอาวุโส บริษัทดาตาวันเอเชีย (ประเทศไทย) จำกัด
2554 - 2555 ตำแหน่งนักวิเคราะห์ระบบ กลุ่มบริษัทเออาร์ซอฟต์ จำกัด
2552 – 2554 ตำแหน่งโปรแกรมเมอร์ กลุ่มบริษัทเซ็นทรัลรีเทล จำกัด (สังกัด Tera Soft)
2551 - 2551 ตำแหน่งโปรแกรมเมอร์ บริษัททีมเวิร์คโซลูชัน จำกัด

  1. Panboonyuen, T., Dechsupa, C., " LymphAware: Domain-Aware Bias Disruption for Reliable Lymphoma Cancer AI Diagnosis," IEEE ACCESS,2026, DOI: 10.1109/ACCESS.2026.3667575, (ISI/SCOPUS, Q1)
  2. Dechsupa, C., Panboonyuen, T., Vatanawood, W., Padungweang, P., So-In C., "Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges," IEEE ACCESS,2025, DOI: 10.1109/ACCESS.2025.3568194, (ISI/SCOPUS, Q1)
  3. Dechsupa, C., Vatanawood, W. and Thongtak, A.,"Toward Automated Verification of Timed Business Process Models Using Timed-Automata Networks and Temporal Properties," Information science Journal, p. 1 – 25, V. 710 (2025), (ISI/SCOPUS, Q1 (Tier 1)
  4. Samngamnoi, K., Kamput, A., Pomsiri S. and , Dechsupa, C., “Ensuring IoT Controller Reliability with Colored Generalized Stochastic Petri Net”, International Computer Science and Engineering Conference (ICSEC 2024) , Nov 6-8, 2024, Thailand.
  5. Kamput, A., Dechsupa, C., Vatanawood, W. and Pomsiri S., “Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification”, IEEE ACCESS, 2024,DOI: 10.1109/ACCESS.2024.3455097, (Q1)
  6. Dechsupa, C. , Prasankok P., Vatanawood, W. and Thongtak, A., “MorphoNet: A Novel Bivalve Images Classification Framework with Convolutional Neural Network”, Engineering Journal, V.27 (9), 2023, (Q3)
  7. Duangmalai, S. and Dechsupa, C., “Transforming of the Sequence Diagram into Time-Automata Network”, IMECS 2023, July 5-7, 2023, Hong Kong.
  8. Kamput, A. and Dechsupa, C., “Formal Modelling and Verification of the Traffic Light Control System Design with Time-Automata”, IMECS 2023, July 5-7, 2023, Hong Kong.
  9. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Stepwise Verification for the BPMN with Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net,” IEEE Access, 2022, DOI: 10.1109/ACCESS.2022.3168000, (Q1)
  10. Dechsupa, C., Vatanawood, W., Poolsawadi W., and Thongtak, A., “An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction,” Computers, 10 (12), p.169, 2021, (Q2)
  11. Dechsupa, C., Vatanawood, W. and Thongtak, A., “An Automated Framework for BPMN Model Verification Achieving Branch Coverage”, Engineering Journal, V.25 (2), 2021, (Q2)
  12. Poolsawasdi, W., Dechsupa, C., “Formal Verification of the Accounting Information Interfaces Using Colored Petri Net”, ICEAST 2019, 2-5 July, 2019, Laos
  13. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Compositional Formal Verification for Business Process Models with Heterogeneous Notations Using Colored Petri Net”, IMECS 2019, March 13-15, 2019, Hong Kong. (Best paper award)
  14. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Hierarchical Verification of the BPMN Design Model Using state space analysis”, Journal of IEEE access, v.7, 2019, (Q1)
  15. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Transformation of a BPMN Design Model into Colored Petri Net Using the Partitioning Approach”, Journal of IEEE access, v.6, 2018, (Q1)
  16. Dechsupa, C., Vatanawood, W. and Thongtak, A., “Formal Verification of Web Service Orchestration Using Colored Petri Net”, IMECS 2016, March 16-18, 2016, Hong Kong.
  17. Dechsupa, C., and Limpiyakorn, Y.,” Configuration Management for Integrated Teaming Environment”, International Conference on System Science, Engineering Design and Manufacturing Informatization, 2011, October 22-23, 2011, China.
  18. ชานนท์ เดชสุภา และ ญาใจ ลิ่มปิยะกรณ์, “ระบบจัดการโครงแบบสำหรับสภาพแวดล้อมที่มีการบูรณาการทีมงาน”, Proceedings, International Computer Science and Engineering Conference (ICSEC 2011), September 8-9, 2011, Thailand

More... Research Gate