วุฒิการศึกษา:

• D.Eng. (Computer Science) Tokyo Institute of Technology, Japan.
• M.Sc. (Computer Science) Chulalongkorn University.
• B.Sc. (Computer Science) 2^nd Class Honors Ramkhamhaeng University.

 

งานวิจัยที่สนใจ:

• Formal Verification

 

Conferences (ตั้งแต่ปี ค.ศ.2013 จนถึงปัจจุบัน)

• Pakorn Leesuthipornchai and Denduang Pradubsuwun. “A Test Generation for Structural Testing on Mobile Applications”. International Conference on Engineering and Natural Science (ICENS-Summer 2017). 2017.
• Soravit Rodruksa and Denduang Pradubsuwun. “Formal Verification of ABAP by Z Specification”. The 14^th International Joint Conference on Computer Science and Software Engineering (JCSSE2017). 2017.
• Anuchit Prasertsang and Denduang Pradubsuwun. “Formal Verification of Concurrency in GO”. The 13^th International Joint Conference on Computer Science and Software Engineering (JCSSE2016). 2016.
• Chittra Roungroongsom and Denduang Pradubsuwun. “Formal Verification of JADE Behaviour: A Modeling Approach”. The 12^th International Joint Conference on Computer Science and Software Engineering (JCSSE2015). 2015.
• Nuntanut Bhooanusas and Denduang Pradubsuwun, “Implementing Concurrency Errors Detector in JavaScript Web Applications”. The 2^nd International Conference of Engineering and Natural Science (ICENS2015). 2015.
• Chittra Roungroongsom and Denduang Pradubsuwun. “Formal Verification of Multi-agent System based on JADE: A Semi-runtime Approach”. The 11^th International Conference on Computing and Information Technology (IC2IT2015). 2015 (published by Springer in the Recent Advances in Information and Communication Technology series.).
• Warush Leekasem and Denduang Pradubsuwun. “Formal Verification of Gearman Framework based on PHP”. The 7^th International Conference on Engineering and Technology (ICET2015), pp.48-51. 2015.
• N. Bhooanusas and D. Pradubsuwun, “Formal verification of concurrency errors in JavaScript web applications”. International Conference on Network Security and Communication Engineering (NSCE 2014). 2014.
• Denduang Pradubsuwun. “Hierarchical Verification of WS-BPEL”. 2014 International computer Science and Engineering Conference (ICSEC 2014) International Track, pp.484-488. 2014.
• Denduang Pradubsuwun and Wutthipong Kongburan. “Partial Order Reduction for Verification of WS-BPEL”. International Journal of Modeling and Optimization, Vol.4, No.3. June 2014.
• Wutthipong Kongburan and Denduang Pradubsuwun. “Formal Verification of WS-BPEL using Timed Trace Theory”. The 5^th KKU International Engineering Conference. 2014.

 

ติดต่อ: 

อีเมล :  denduang@staff.tu.ac.th

ภาควิชาวิทยาการคอมพิวเตอร์ คณะวิทยาศาสตร์และเทคโนโลยี มหาวิทยาลัยธรรมศาสตร์ ศูนย์รังสิต คลองหลวง ปทุมธานี 12120