Eko K. Budiardjo, Ph.D
E-mail: eko (at)cs.ui.ac.id
Reliable Software Engineering (RSE) Laboratory is one of the research laboratories in FASILKOM UI. This lab focuses on reliable and safe software production by applying formal methods in software engineering as a new branch of software engineering in Indonesia.
Research in this lab relies heavily on mathematical and logical background as a major foundation to ensure the result quality. One of the achievements accomplished during the development of this formal method is Djikstra’s idea of “programming by construction”. One inspiring speech which can also motivate people to learn about formal methods in software engineering is “The Humble Programmer” from the Turing Award Speech.
- 1. Discrete Mathematics
- 2. Theorem Prover
- 3. Program Refinement
- 4. Model Checker
- 5. Graph Mining
- 6. Software Quality Assurance especially for Free/ Open Source Software
- 7. Program Verification
- 8. Software Correctness and Reliability
- 9. Security Protocol
- 10. Computational logic
- 11. Software Testing and Test-Bed Generator
Download Research Profile Fasilkom UI : Research-Profile_mar2017.pdf