| Họ tên | Bùi Hoài Thắng | ||
|---|---|---|---|
| Năm sinh | 1973 | 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 | 1997 | Đại học Bách khoa TPHCM | Khoa học máy tính |
| 2 | 2001 | Đại học Bách khoa TPHCM | Khoa học Máy tính |
| 3 | 2010 | Đại học New South Wales, Australia | Khoa học và kỹ thuật 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 | 1997 - 2017 | Giảng viên | Đại học Bách khoa - ĐHQG TPHCM (Khoa Khoa học và Kỹ thuật máy tính) | Khoa học máy tính |
| # | Năm | Nơi công bố | Tên công trình | Loại công trình | Tác giả |
|---|---|---|---|---|---|
| 1 | 2012 | Journal of Advances in Information Technology | iiOSProTrain: An interactive intelligent online system for programming training | Tạp chí quốc tế | Ðồng tác giả |
| 2 | 2012 | Huế - Việt Nam | Computer Information Systems and Industrial Management - 13th IFIP TC8 International Conference, CISIM 2014 | Hội nghị quốc tế | Ðồng tác giả |
| 3 | 2012 | Bangkok - Thailand | The Sixth International Conference KSE 2014 | Hội nghị quốc tế | Ðồng tác giả |
| 4 | 2012 | HaNoi - Việt Nam | 13th International Conference on Computational Science and Applications (ICCSA 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 5 | 2012 | Taipei - Taiwan | International Conference on Communications and Electronics (ICCE 2012) | Hội nghị quốc tế | Tác giả |
| 6 | 2012 | Bangkok - Thailand | The Third Asian Conference on Information Systems - ACIS 2014 | Hội nghị quốc tế | Tác giả |
| 7 | 2012 | REV Journal on Electronics and Communications | A New Approach and Tool in Verifying Asynchronous Circuits | Tạp chí quốc tế | Ðồng tác giả |
| 8 | 2013 | Ho Chi Minh - Việt Nam | 7th International Symposium of South East Asian Technical Consortium (SEATUC 2013) | Hội nghị quốc tế | Ðồng tác giả |
| 9 | 2013 | Tạp chí Khoa học Truờng ÐH Cần Thơ | Một khung thức tìm kiếm và tái sử dụng hàm API tự dộng dựa trên dặc tả hình thức | Tạp chí quốc gia | Ðồng tác giả |
| 10 | 2013 | Ho Chi Minh - Việt Nam | International Conference on Advanced Technologies for Communications (ACT/REV 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 11 | 2013 | Tạp chí Khoa học Truờng ÐH Cần Thơ | Ða trừu tuợng kết hợp tinh lọc trong kiểm tra mô hình huớng ký hiệu | Tạp chí quốc gia | Tác giả |
| 12 | 2013 | Bandung - Indonesia | International Conference on Computing, Management and Telecommunications (ComManTel) 2013 | Hội nghị quốc tế | Tác giả |
| 13 | 2014 | Nha Trang - Việt Nam | 6th International Symposium of South East Asian Technical Consortium (SEATUC 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 14 | 2014 | Bangkok - Thailand | 11th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON 2014) | Hội nghị quốc tế | Ðồng tác giả |
| 15 | 2014 | HaNoi - Việt Nam | 6th International Symposium of South East Asian Technical Consortium (SEATUC 2012) | Hội nghị quốc tế | Ðồng tác giả |
| 16 | 2015 | Ho Chi Minh - Việt Nam | ComManTel 2015 | Hội nghị quốc tế | Ðồng tác giả |
| 17 | 2015 | Hue - Việt Nam | International Conference on Computational Science and Its Applications | Hội nghị quốc tế | Ðồng tác giả |
| 18 | 2015 | Ho Chi Minh - Việt Nam | the Sixth International Symposium on Information and Communication Technology (SoICT 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 19 | 2015 | Da Nang - Việt Nam | The Second The NAFOSTED Conference on Information and Computer Science (NICS) | Hội nghị quốc tế | Ðồng tác giả |
| 20 | 2015 | REV Journal on Electronics and Communications, Special Session on "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ả |
| 21 | 2015 | Phát triển Khoa học và Công nghệ | Designing Parallelizing Random-Walk Based Model Checking | Tạp chí quốc gia | Tác giả |
| 22 | 2015 | Scientific Journal of CanTho University | Appying Component-based Abstraction to Verify Congestion on Wireless Network by Using Petri Net | Tạp chí quốc gia | Ðồng tác giả |
| 23 | 2015 | Journal of Science and Technology, Vietnam Academy of Science and Technology, Special issue of Electronics, Telecommunications and Information Technology | On-the-fly Web Service Composition and Verification | Tạp chí quốc gia | Ðồng tác giả |
| 24 | 2015 | Singapore - Singapore | IACT Conference (ICSCC 2015) | Hội nghị quốc tế | Ðồng tác giả |
| 25 | 2015 | ECTI Transactions on Computer and Information Technology | A Novel Strategy for Formal Verification of Asynchronous Circuit Design in PAiD tool | Tạp chí quốc tế | Ðồng tác giả |
| 26 | 2016 | Torun - Poland | International Workshop on Petri Nets and Software Engineering 2016 | Hội nghị quốc tế | Ðồng tác giả |
| 27 | 2016 | Shanghai - China | Acomp 2015 | Hội nghị quốc tế | Ðồng tác giả |
| 28 | 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ả |
| 29 | 2016 | 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ả |
| 30 | 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ả |
| # | Thời gian | Tên đề tài | Tình trạng | Vai trò |
|---|---|---|---|---|
| 1 | 2011 - 2012 | Nghiên cứu dề xuất một phuong pháp kiểm dịnh hình thức (formal verification) cho thiết kế vi mạch bất dồng bộ và tích hợp vào qui trình thiết kế | Đã nghiệm thu | Chủ nhiệm |
| 2 | 2011 - 2012 | Sinh tụ dộng ca´c heuristic dạng tru`u tuọng trong kiểm tra mô hi`nh huo´ng hi`nh tuọng (Abstraction heuristic generation in symbolic model checking) | Đã nghiệm thu | Chủ nhiệm |
| 3 | 2013 - 2014 | Phân tích dồ thị phụ thuộc biến trong kiểm tra mô hình huớng ký hiệu trừu tuợng (Variabledependency graph analysis for abstraction model checking) | Chủ nhiệm | |
| 4 | 2013 - 2014 | Song song hoá giải thuật duờng di ngẫu nhiên trong kiểm tra mô hình trạng thái tuờng minh (Parallelizing the random-walk algorithm in explicit-state model checking) | Chủ nhiệm | |
| 5 | 2015 - 2017 | Cách tiếp cận hạng nhẹ trong áp dụng dặc tả hình thức vào quá trình phát triển phần mềm | Chủ nhiệm |
| # | Ngoại ngữ | Nghe | Nói | Đọc | Viết |
|---|---|---|---|---|---|
| 1 | Tiếng Anh | Tốt | Tốt | Tốt | Tốt |