Chanon D.

ผู้ช่วยศาสตราจารย์ ดร.ชานนท์ เดชสุภา

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.

รางวัล/ทุน ที่ได้รับ

1. ทุนสนับสนุนการศึกษาหลักสูตรดุษฎีบัณฑิต 100 ปีจุฬาลงกรณ์มหาวิทยาลัย
2. ทุนสนับสนุนงานวิจัย 90 จุฬาลงกรณ์มหาวิทยาลัย กองทุนรัชดาภิเษกสมโภช รุ่นที่ 37 ปีการศึกษา 2560
3. ทุนสนับสนุนวิจัยในต่างประเทศตามโครงการ บันทึกความเข้าใจระหว่างคณะวิศวกรรมศาสตร์จุฬาลงกรณ์มหาวิทยาลัยและ National Institute of Informatics ประเทศญี่ปุ่น ระหว่างวันที่ 20 เมษายน 2560 ถึงวันที่ 13 ตุลาคม 2560
4. ทุนนักวิจัยหลังปริญญาเอก กองทุนรัชดาภิเษกสมโภช จุฬาลงกรณ์มหาวิทยาลัย (2562-2565)

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

2565 - ปัจจุบัน ผู้ช่วยศาสตราจารย์ วิทยาลัยการคอมพิวเตอร์ มหาวิทยาลัยขอนแก่น
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. 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)
2. Duangmalai, S. and Dechsupa, C., “Transforming of the Sequence Diagram into Time-Automata Network”, IMECS 2023, July 5-7, 2023, Hong Kong.
3. 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.
4. 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)
5. 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)
6. Dechsupa, C., Vatanawood, W. and Thongtak, A., “An Automated Framework for BPMN Model Verification Achieving Branch Coverage”, Engineering Journal, V.25 (2), 2021, (Q2)
7. Poolsawasdi, W., Dechsupa, C., “Formal Verification of the Accounting Information Interfaces Using Colored Petri Net”, ICEAST 2019, 2-5 July, 2019, Laos
8. 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)
9. 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)
10. 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)
11. 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.
12. 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.
13. ชานนท์ เดชสุภา และ ญาใจ ลิ่มปิยะกรณ์, “ระบบจัดการโครงแบบสำหรับสภาพแวดล้อมที่มีการบูรณาการทีมงาน”, Proceedings, International Computer Science and Engineering Conference (ICSEC 2011), September 8-9, 2011, Thailand

เพิ่มเติม Research Gate