| Họ tên | Quản Thành Thơ | ||
|---|---|---|---|
| Năm sinh | 1976 | Giới tính | Nam |
| Học hàm | Năm được phong | ||
| Học vị | Tiến sĩ | Năm đạt được | |
| Công việc hiện nay | |||
| Chức vụ hiện tại | |||
| Đơn vị | Đại học Bách khoa - ĐHQG TPHCM | ||
| # | Năm tốt nghiệp | Nơi đào tạo | Chuyên ngành đào tạo |
|---|---|---|---|
| 1 | 1998 | Đại học Bách khoa TPHCM | Công nghệ thông tin |
| 2 | 2006 | Đại học Công nghệ Nanyang, Singapore | Khoa học Máy tính |
| # | Thời gian công tác | Vị trí công tác | Nơi công tác | Lĩnh vực công tác |
|---|---|---|---|---|
| 1 | 1998 - 2002 | Trợ giảng | Đại học Bách khoa - ĐHQG TPHCM (Khoa Khoa học kỹ thuật và máy tính, Bộ môn Phần mềm ứng dụng) | (Không có thông tin) |
| 2 | 2002 - 2006 | Trợ giảng | Đại học Công nghệ Nanyang, Singapore | (Không có thông tin) |
| 3 | 2006 - 2008 | Giảng viên | Đại học Bách khoa - ĐHQG TPHCM (Khoa Khoa học kỹ thuật và máy tính, Bộ môn Công nghệ phần mềm) | Phần mềm |
| 4 | 2008 - 2012 | Trưởng bộ môn | Đại học Bách khoa - ĐHQG TPHCM (Khoa Khoa học kỹ thuật và máy tính, Bộ môn Công nghệ phần mềm) | Phần mềm |
| 5 | 2013 - 2017 | Trưởng bộ môn | Đại học Bách khoa - ĐHQG TPHCM (Khoa Khoa học kỹ thuật và máy tính, Bộ môn Công nghệ phần mềm) | Phần mềm |
| # | Năm | Nơi công bố | Tên công trình | Loại công trình | Tác giả |
|---|---|---|---|---|---|
| 1 | 2012 | Communications in Computer and Information Science (CCIS) Series | Combined Constraint-based Analysis for Efficient Software Regression Detection in Evolving Programs | Tạp chí quốc tế | Ðồng tác giả |
| 2 | 2012 | Danang - Việt Nam | Proceedings of the Sixth International Symposium on Information and Communication Technology (SoICT 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 3 | 2012 | Hongkong - China | The Fourth Asian Conference on Information Systems (ACIS 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 4 | 2012 | Hochiminh - Việt Nam | The Second The NAFOSTED Conference on Information and Computer Science (NICS) | Hội nghị quốc tế | Ðồng tác giả |
| 5 | 2012 | Hochiminh - Việt Nam | The 3rd International Conference on Computing, Management and Telecommunications (ComManTel 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 6 | 2012 | Bali - Indonesia | The 9th Multi-Disciplinary International Workshop on Artificial Intelligence 2015 (MIWAI 2015) | Hội nghị quốc tế | Tác giả |
| 7 | 2012 | Frontiers of Computer Science | SEVE: Automatic Tool for Verification of Security Protocols | Tạp chí quốc tế | Ðồng tác giả |
| 8 | 2012 | Journal of Advances in Information Technology | iiOSProTrain: An Interactive Intelligent Online System for Programming Training | Tạp chí quốc tế | Tác giả |
| 9 | 2013 | Bangkok - Thailand | The 8th International Symposium on Foundations & Practice of Security | Hội nghị quốc tế | Ðồng tác giả |
| 10 | 2013 | Kuala Lumpur - Malaysia | The 10th Multi-disciplinary International Workshop on Artificial Intelligence (MIWAI 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 11 | 2013 | Saint Paul - United States | 2014 International Conference on Control Engineering and Electronics Engineering (CCEEE 2014) | Hội nghị quốc tế | Ðồng tác giả |
| 12 | 2013 | Graz - Austria | Asia Conference on Information Systems (ACIS 2014) | Hội nghị quốc tế | Tác giả |
| 13 | 2013 | Bangkok - Thailand | The 10th SOUTH EAST ASIAN TECHNICAL UNIVERSITY CONSORTIUM SYMPOSIUM (SEATUC2016) | Hội nghị quốc tế | Ðồng tác giả |
| 14 | 2013 | Journal of Science and Technology (Vietnam Academy of Science and Technology) | A two - layer formal framework for handling obfuscation techniques of polymorphic virus | Tạp chí quốc gia | Ðồng tác giả |
| 15 | 2013 | Journal of Science, Can Tho University | A framework for automatic search and reusage of API functions based on formal specification | Tạp chí quốc gia | Ðồng tác giả |
| 16 | 2013 | Hochiminh - Việt Nam | International Conference on Advanced Computing and Applications (ACOMP) | Hội nghị quốc tế | Tác giả |
| 17 | 2013 | Hochiminh - Việt Nam | The Seventh International Conference On Knowledge And Systems Engineering (KSE 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 18 | 2014 | Journal of Science and Technology (Vietnam Academy of Science and Technology) | A Framework for Automatic Construction of Test Scenarios from Use-cases | Tạp chí quốc gia | Ðồng tác giả |
| 19 | 2014 | Ho Chi Minh City - Việt Nam | Proceedings of 2012 IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for the Future (RIVF 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 20 | 2014 | Ha Noi - Việt Nam | 8th International Symposium on Software Engineering Processes and Applications (SEPA 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 21 | 2014 | Hochiminh - Việt Nam | SAI Intelligent Systems Conference 2016 | Hội nghị quốc tế | Ðồng tác giả |
| 22 | 2014 | Nha Trang - Việt Nam | Knowledge and Systems Engineering (KSE 2014) | Hội nghị quốc tế | Ðồng tác giả |
| 23 | 2014 | International Journal of Quality Assurance in Engineering and Technology Education (IJQAETE) | Assisting Students in Finding Bugs and Their Locations in Programming Solutions | Tạp chí quốc tế | Ðồng tác giả |
| 24 | 2014 | ASLIB Journal of Information Management | Sentiment search: an emerging trend on social media monitoring systems | Tạp chí quốc tế | Ðồng tác giả |
| 25 | 2014 | Sydney - Australia | International Conference on Advances in Computing, Electronics and Electrical Technology - CEET 2014 | Hội nghị quốc tế | Ðồng tác giả |
| 26 | 2014 | Chengdu - China | The 12th International Symposium on Automated Technology for Verification and Analysis | Hội nghị quốc tế | Ðồng tác giả |
| 27 | 2015 | The International Journal of E-Learning and Educational Technologies in the Digital Media (IJEETDM) | Mistake Chasing Game - Approach for Mobile Programming Education in Nong Lam University - Ho Chi Minh City Vietnam | Tạp chí quốc tế | Ðồng tác giả |
| 28 | 2015 | Huế - Việt Nam | 2016 3rd International Conference on Future Data and Security Engineering (FDSE) | Hội nghị quốc tế | Ðồng tác giả |
| 29 | 2015 | Penang - Malaysia | 21st International Conference on Cooperative Information Systems (CoopIS 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 30 | 2015 | Information and Software Technology | Goal-oriented dynamic test generation | Tạp chí quốc tế | Ðồng tác giả |
| 31 | 2015 | Online Information Review | Argumentation-based schema matching for multiple digital libraries | Tạp chí quốc tế | Tác giả |
| 32 | 2015 | Journal of Science and Technology | On-the-fly Web Service Composition and Verification | Tạp chí quốc gia | Ðồng tác giả |
| 33 | 2015 | Hochiminh - Việt Nam | In Proceedings of the Second International Conference on Digital Enterprise and Information Systems (DEIS2013) | Hội nghị quốc tế | Ðồng tác giả |
| 34 | 2015 | Danang - Việt Nam | In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 35 | 2015 | Fujian - China | 2016 8th IEEE International Conference on Communication Software and Networks (ICCSN 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 36 | 2015 | Hochiminh - Việt Nam | 31st International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 37 | 2015 | Hochiminh - Việt Nam | The 1st International Conference on Future Data and Security Engineering (FDSE 2014) | Hội nghị quốc tế | Ðồng tác giả |
| 38 | 2015 | Clermont-Ferrand France | 5th World Conference on Applied Sciences, Engineering & Technology | Hội nghị quốc tế | Ðồng tác giả |
| 39 | 2015 | REV Journal on Electronics and Communications, Special Session "Advanced Computational Methods, Systems, and Industrial Engineering Applications" | State Space Reduction on Wireless Sensor Networks Verification Using Component-Based Petri Net Approach | Tạp chí quốc tế | Ðồng tác giả |
| 40 | 2015 | Tạp chí Khoa Học của Đại học Cần Thơ | FS-Alg: Thuật toán khai thác dãy sự kiện phổ biến | Tạp chí quốc gia | Ðồng tác giả |
| 41 | 2015 | Tạp chí Khoa học của Đại học Cần Thơ | TRỪU TƯỢNG HÓA DỰA TRÊN THÀNH PHẦN ĐỂ KIỂM TRA TẮC NGHẼN TRÊN MẠNG KHÔNG DÂY SỬ DỤNG MẠNG PETRI | Tạp chí quốc gia | Ðồng tác giả |
| 42 | 2016 | Okinawa Jichikaikan Japan | The 2nd International Engineering and Technology Education (IETEC’13) Conference | Hội nghị quốc tế | Ðồng tác giả |
| 43 | 2016 | Beijing - China | 2016 International Workshop on Petri Nets and Software Engineering (PNSE 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 44 | 2016 | Cần Thơ - Việt Nam | the 2nd International Engineering and Technology Education (IETEC’13) Conference | Hội nghị quốc tế | Ðồng tác giả |
| 45 | 2016 | Hà Nội - Việt Nam | In Proceedings of 6th International Workshop of Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 46 | 2016 | ChiangMai - Thailand | 2016 10th International Conference on Advanced Computing and Applications (ACOMP) | Hội nghị quốc tế | Ðồng tác giả |
| 47 | 2016 | Torun - Poland | In Proceedings of The Fourth International Conference on Knowledge and Systems Engineering (KSE 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 48 | 2016 | Cần Thơ - Việt Nam | In Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Postgrad Symposium | Hội nghị quốc tế | Ðồng tác giả |
| 49 | 2016 | Journal of Science and Technology | A Statistical Approach for Packer Identification | Tạp chí quốc gia | Ðồng tác giả |
| 50 | 2016 | GSTF Journal on Computing (JOC) | Toward an Approach on Probability Distribution for Polymorphic Malware Analysis | Tạp chí quốc tế | Ðồng tác giả |
| 51 | 2016 | International Journal of Applied Information Systems | Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets | Tạp chí quốc tế | Ðồng tác giả |
| 52 | 2016 | Danang - Việt Nam | The 5th International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2017) | Hội nghị quốc tế | Ðồng tác giả |
| 53 | 2016 | London - United Kingdom | 12th IEEE-RIVF International Conference on Computing and Communication Technologies (RIVF 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 54 | 2016 | Tokyo - Japan | 18th International Conference on Formal Engineering Methods (ICFEM 20) | Hội nghị quốc tế | Ðồng tác giả |
| 55 | 2016 | Journal of Advances in Computer Networks | Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool | Tạp chí quốc tế | Ðồng tác giả |
| 56 | 2016 | ChiangMai - Thailand | Proceedings of the 20th Asia-Pacific Software Engineering Conference (APSEC 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 57 | 2016 | Hochiminh - Việt Nam | The 20th Asia-Pacific Software Engineering Conference (APSEC 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 58 | 2016 | Tokyo - Japan | 2016 3rd National Foundation for Science and Technology Development Conference on Information and Computer Science (NICS) | Hội nghị quốc tế | Ðồng tác giả |
| 59 | 2016 | Beijing - China | 10th Multi-disciplinary International Workshop on Artificial Intelligence (MIWAI 2016) | Hội nghị quốc tế | Ðồng tác giả |
| 60 | 2017 | International Journal of Web and Grid Services | One Size Does Not Fit All: Logic-based Clustering for On-the-fly Semantic Web Service Composition and Verification | Tạp chí quốc tế | Ðồng tác giả |
| 61 | 2017 | Hochiminh - Việt Nam | 11th South East Asean Technical University Consortium Symposium (SEATUC 2017) | Hội nghị quốc tế | Ðồng tác giả |
| 62 | 2017 | Berlin - Germany | The 25th IEEE International Conference on Program Comprehension, ICPC 2017 | Hội nghị quốc tế | Ðồng tác giả |
| 63 | 2017 | Barcelona - Spain | 2017 International Conference on Control, Decision and Information Technologies (CoDIT 2017) | Hội nghị quốc tế | Ðồng tác giả |
| 64 | 2017 | Buenos Aires - Argentina | In Proceedings of the 2012 Third International Conference on Theoretical and Mathematical Foundations of Computer Science | Hội nghị quốc tế | Ðồng tác giả |
| 65 | 2017 | International Journal of Emerging Trends & Technology in Computer Science (IJETTCS) | Towards An Approach of Ontological Coreference Resolution for Sentiment Analysis | Tạp chí quốc tế | Ðồng tác giả |
| 66 | 2017 | International Journal of Web Information Systems | A Quality-Controlled Logic-based Clustering Approach for Web Service Composition and Verification | Tạp chí quốc tế | Ðồng tác giả |
| 67 | 2017 | International Journal of Machine Learning and Computing (IJMLC) | Viral Logical Concept Analysis for Malware Conceptual Hierarchy Generation | Tạp chí quốc tế | Ðồng tác giả |
| 68 | 2017 | Vietnam Journal of Computer Science | A bitwise-based indexing and heuristicdriven on-the-fly approach for Web service composition and verification | Tạp chí quốc tế | Ðồng tác giả |
| 69 | 2017 | Communications on Applied Electronics | Probabilistic congestion of wireless sensor networks: a Coloured Petri Netbased approach | Tạp chí quốc tế | Ðồng tác giả |
| 70 | 2019 | The International Arab Journal of Information Technology | A Dynamic Scheduling Method for Collaborated Cloud with Thick Clients | Tạp chí quốc tế | Ðồng tác giả |
| # | Thời gian | Tên đề tài | Tình trạng | Vai trò |
|---|---|---|---|---|
| 1 | 2011 - 2012 | Phân tích và kiểm tra tự động trực tuyến tính đúng của mã nguồn chương trình | Chủ nhiệm | |
| 2 | 2012 - 2013 | Phát hiện virus bằng phương pháp hình thức | Chủ nhiệm | |
| 3 | 2012 - 2013 | Sinh tự động Logic test-case | Đã nghiệm thu | Chủ nhiệm |
| 4 | 2012 - 2014 | Các kỹ thuật hỏi đáp và truy hồi thông tin cho các thư viện điện tử có hỗ trợ tiếng Việt | Đã nghiệm thu | Chủ nhiệm |
| 5 | 2013 - 2013 | Một hướng tiếp cận để sinh đồ thị luồng điều khiển từ mã nhị phân | Đã nghiệm thu | Chủ nhiệm |
| # | Ngoại ngữ | Nghe | Nói | Đọc | Viết |
|---|---|---|---|---|---|
| 1 | Tiếng Anh |