Prof. Dra. Belawati H. Widjaja, M.Sc., Ph.D. – Fakultas Ilmu Komputer Universitas Indonesia

Zona Integritas

bela@cs.ui.ac.id

Gedung A, Fakultas Ilmu Komputer, Universitas Indonesia, Depok

Prof. Dra. Belawati H. Widjaja, M.Sc., Ph.D.

Biografi

Belawati H. Widjaja adalah seorang dosen dan peneliti di Fasilkom UI.

Pendidikan

Ph.D. (Mathematics, University of Kentucky)
M.Sc. (Mathematics, University of Kentucky)
Dra. (Matematika, Institut Teknologi Bandung)

Publikasi Pilihan

Widjaja, B. H., Zongji, C., Weidong, H., & Chaochen, Z. (1996). A cooperative design for hybrid control systems. In Logic and Software Engineering, International Workshop in Honor of Chih-Sung Tang, World Scientific (pp. 127-150).
Wardoyo, R., Widjaja, B. H., & Pulungan, R. (2015). A Formal Proof of Correctness of Construct Association from PROMELA to Java. IAENG International Journal of Computer Science, 42(4).
Gaol, F. L., & Widjaja, B. H. (2008). CLS and CLS Close: The Scalable Method for Mining the Semi Structured Data Set. In Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering (pp. 186-191). Springer, Dordrecht.

Minat Penelitian

Formal methods, graph theory, foundations of computation

Bidang Kepakaran

Software Engineering Data Science