Reliable Software Engineering Lab

Reliable Software Engineering , dengan kompetensi utama di bidang Formal Method in Software Engineering.

Kepala Lab:

Eko K. Budiardjo, Ph.D

E-mail: eko (at)cs.ui.ac.id

Deskripsi Lab

Laboratorium Reliable Software Engineering (RSE) adalah salah satu laboratorium riset di Fakultas Ilmu Komputer UI. Lab ini berfokus pada produksi perangkat lunak yang handal dan aman, dengan menerapkan formal methods in software engineering sebagai cabang baru rekayasa perangkat lunak di Indonesia.

Riset pada lab ini sangat bergantung pada latar belakang mathematical dan logical, sebagai fondasi utama dalam jaminan kualitasnya. Salah satu milestone pada pengembangan Formal Method yakni Djikstra’s idea of programming by construction. Salah satu inspiring speech yang juga dapat memotivasi orang untuk mempelajari tentang formal method in software engineering adalah turing award speech of “The Humble Programmer”.

Topik Penelitian

Topik riset pada laboratorium ini mencakup :

  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

Website:

http://rse.cs.ui.ac.id/

Download Research Profile Fasilkom UI :

Research-Profile_Juli2016.comp_.pdf