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.

Biography

Belawati H. Widjaja is a lecturer and researcher at Fasilkom UI.

Education

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

Selected Publication

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.

Research Interests

Formal methods, graph theory, foundations of computation

Fields of Expertise

Software Engineering Data Science