About Us

LABORATORY IN A GLANCE

Laboratory Reliable Software Engineering (RSE) focuses on the development of quality software from several factors, including maintanability, flexibility, testability, reusability, realibility, and others (eg, referring to mccall’s quality factor). In addition, we also consider the factors that influence the success of software development, such as suitability to user requirements and also problems when operating a sustainable and large-scale software. Therefore, the research lab is also linked to the issue of requirement gathering, deployment, and the current problems in software development. Research in this lab also deepen the theories of computation that yield new innovations. These innovations are expected to produce the right information technology in order to increase the independence and competitiveness of the nation.

RESEARCH TOPICS

1

AI for Software Engineering

2

Software Engineering for AI

3

Software Product Line Engineering

4

Model Driven Software Engineering

5

Discrete Mathematics

6

Theorem Power

7

Program Refinement

8

Model Checker

9

Graph Mining

10

Security Protocol

11

Program Verification

12

Testbed Generator

13

Computational Logic

14

Software Correctness and Reliability

15

Quality Assurance for Free/Open Source Software

LABORATORY INFORMATION

Head of Laboratory

Prof. Dr. Ir. Eko K. Budiardjo, M.Sc

Members
Location

Faculty of Computer Science, Universitas Indonesia
Room 2502, Building B, Fasilkom UI Old Building
Universitas Indonesia Campus, Depok, West Java 16424, Indonesia