
معرفی
Thomas Anung Basuki serves as an Assistant Professor at Heriot-Watt University's Malaysia Campus within the School of Mathematical and Computer Sciences. With over two decades of teaching experience across Indonesian and Malaysian universities, he maintains an active research profile in theoretical and applied computer science.
His educational background includes:
- Bachelor of Informatics Engineering from Institut Teknologi Bandung, Indonesia
- Joint Masters and PhD in Computer Science from Universitas Indonesia and Universita di Pisa/United Nations University
Dr. Basuki's research spans formal methods, natural language processing, and artificial intelligence with particular focus on modeling, verification, and classification systems. His work integrates theoretical computer science with practical implementations across diverse domains including software engineering, image processing, and renewable energy systems. The fingerprint analysis of his publications reveals strong expertise in algorithms (62%), diagrams (61%), verification (60%), and classification (55%).
His publication record shows consistent activity from 2009 through 2025, with recent work demonstrating increasing interdisciplinary applications. The research trends indicate growing focus on deep learning implementations and formal verification techniques applied to real-world problems in energy systems, agricultural technology, and digital security.
His scholarly contributions align with several United Nations Sustainable Development Goals, though specific goals aren't explicitly enumerated in the available information.
With research outputs spanning conference contributions, journal articles, and peer-reviewed publications, Dr. Basuki maintains active collaborations across international institutions as indicated by his network visualization. His work shows particular strength in bridging theoretical computer science with practical implementations across multiple sectors.



