Profile
Biography
Thomas Anung Basuki is currently an Assistant Professor at the School of Mathematical and Computer Sciences, Heriot-Watt University, Malaysia Campus. He obtained his Bachelor of Informatics Engineering from Institut Teknologi Bandung, Indonesia. He obtained his Masters and PhD in Computer Science from Universitas Indonesia and Universita di Pisa/United Nations University (joint PhD programme). He has been teaching Computer Science at universities in Indonesia and Malaysia for more than 20 years.
Areas of interest
- algorithms
- classification
- Computer Science
- diagrams
- INIS
- learning
- Model Checking
- modeling
- stochastic processes
- verification