Dr. Thomas Anung Basuki

Ph.D. (Computer Science), M.Comp., B. Eng (Informatics Eng.)

Lecturer | Department of Electrical and Computer Engineering

 

Contact Details

Telephone: +60 85 630100 Ext: 2430

Facsimile: +60 85 630088

Location: SK3-345

Email: thomas.basuki@curtin.edu.my

 

Dr. Thomas Anung Basuki received the B.Eng. degree in informatics from Bandung Institute of Technology, Bandung, Indonesia in 1995 and Master of Computer Science degree from the University of Indonesia, Depok, Indonesia in 2003. He obtained his joint Ph.D. degree from the University of Pisa, Italy and United Nations University in 2010. Prior to joining Curtin University, he has had 18 years of teaching experience in Indonesia.   

Qualification

Joint Ph.D. in computer Science, University of Pisa, Italy – United Nations University

M.Comp., University of Indonesia

B.Eng. in Informatics, Bandung Institute of Technology

1106-02 Level 2 IVQ Diploma in Training Skills, City and Guilds

 

Research Interests

  • Formal Methods
  • Artificial Intelligence
  • Text Processing

 

Professional Experiences

  • Paper reviewer and program committee member of international conferences
  • Supervised 3 master students and many undergraduate students
  • Taught many courses at master and undergraduate level
  • Head of Quality Assurance Office, Parahyangan Catholic University, Bandung, Indonesia (2015 – 2019)
  • Vice Dean of Academic Affairs, Faculty of Information Technology and Sciences, Parahyangan Catholic University, Bandung, Indonesia (2013 – 2015)
  • Head of Informatics Department, Parahyangan Catholic University, Bandung, Indonesia (2011 – 2013)
  • Director of the Library, Parahyangan Catholic University, Bandung, Indonesia (2003 – 2006)
  • Assistant Dean of Student Affairs, Faculty of Mathematics and Natural Sciences, Parahyangan Catholic University, Bandung, Indonesia (1998 – 2000)
  • Instructor and consultant of quality assurance system

 

Publications

Journal Articles

T.A. Basuki, A. Cerone, A. Griesmayer and R. Schlatte. Model-Checking User Behaviour Using Interacting Components. Formal Aspects of Computing, 21:6. pages 571-588, Springer, 2009.

T.A. Basuki. Penggunaan Semi Discrete Decomposition pada Latent Semantic Indexing untuk Temu-Kembali Informasi. Integral, 6:1, UNPAR, 2001. (in Bahasa Indonesia)

T.A. Basuki. Pengenalan suku kata Bahasa Indonesia menggunakan finite-state automata. Integral, 5:2, UNPAR, 2000. (in Bahasa Indonesia)

International Conference

T.A. Basuki, B.G. Antaputra. How Similar is Similar: A Comparison of Bahasa Indonesia and Bahasa Malaysia, in: Proceedings of the 3rd International Conference on Electronics, Communications and Control Engineering. Bali, Indonesia, 2020.

B.R.I Rosari, J. Tirtawangsa, T.A. Basuki. Performance Enhancement Of Backpropagation Algorithm Using Momentum And Learning rate with A Case Study On Fingerprint Recognition, in: eProceedings in Engineering Vol. 2 No. 2, 2015.

A.A. Gozali, J. Tirtawangsa, T.A. Basuki. Asynchronous Island Model Genetic Algorithm for University Course Timetabling. in: Proceedings of PATAT 2014. York, UK, 2014.

A.B. Saputra, T.A. Basuki, J. Tirtawangsa. Verifying UML-based Interaction Using Coloured Petri Nets, in: Proceedings of ICoDSE 2014. Bandung, Indonesia, 2014.

A.B. Saputra, T.A. Basuki, J. Tirtawangsa. Transformation of UML2.0 Sequence Diagram into Coloured Petri Nets, in: Proceedings of  ICAICTA 2014. Bandung, Indonesia, 2014.

T.A. Basuki, R. Barbuti, A. Cerone, A. Maggiolo-Schettini, P. Milazzo and E. Rossi. Modelling Population Dynamics of Aedes albopictus, in: Proceedings of the First AMCA-POP 2010. Jena, Germany, 2010.

T.A. Basuki, A. Cerone, and R.V. Carvalho. Modelling Cell Cycle Using Difffferent Levels of Representation. In: Proceedings of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2009 ), volume 11 of Electronic Proceedings in Theoretical Computer Science, pages 51-70. 2009. Bologna, Italy, 2009.

T.A. Basuki., A. Cerone, and P. Milazzo. Translating Stochastic CLS into Maude. In: Proceedings of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008 ), volume 227 of Electronic Notes in Theoretical Computer Science, pages 3758. 2009. Iasi, Romania, 2008.

T.A. Basuki. Model Checking Interface Design to Reduce User Errors. In: Pre-proceedings of Second International Workshop on Formal Methods for Interactive Systems, 2007. Lancaster, UK, 2007

Share this