Departemen Ilmu Komputer dan Elektronika

Area of Expertise (Division / Group / Field)

  • COMPUTER SCIENCE/ STOCASTIC MODEL / ALGORITHMS AND COMPUTATION
  • COMPUTER SCIENCE/ FORMAL METHOD/ ALGORITHMS AND COMPUTATION
  • COMPUTER SCIENCE/ COMPUTATION/ ALGORITHMS AND COMPUTATION

Education Background

  • Doctor, Informatik, Universität des Saarlandes, Germany, 09/2004 – 05/2009 Thesis : Reduction of Acyclic Phase-Type Representations
  • Master, Telematica, Universiteit Twente, The Netherlands, 08/2002 – 06/2004 Thesis : Model Checking Markov Reward Models with Impulse Rewards
  • Undergraduate, Ilmu Komputer, Universitas Gadjah Mada, Indonesia, 08/1994 – 05/1999 Thesis :

Research Cluster/Group

  • Markov processes, Phase-type distributions, Modelling and analysis of concurrent and networkcluster – Computer Sciences

Research Interest

  • COMPUTATION, FORMAL METHOD, STOCASTIC MODEL

Scholarship

  • StuNed Scholarship Programme, Nuffic, The Netherlands, 2002

Competence/ Certification

  • Academic Leaders Management Programme (ALMP) bagi Pimpinan Fakultas/Sekolah Tahun 2022 , – , Date : 2022-03-02
  • Seminar dan Workshop Pedagogy: Penerapannya dalam Pembelajaran Teknologi Informasi di Perguruan Tinggu , – , Date : –
  • Workshop APTIKOM Strategi dan Kiat Meningkatkan Kualitas Pendidikan dan Pembelajaran pada Bidang Studi dalam Rumpun Ilmu Informatika dan Komputer , – , Date : –
  • Workshop Best Practice Penulisan Proposal Penelitian , – , Date : –
  • Workshop Kurikulum Prodi S1 Matematika, Pendidikan Matematika, Statistika, dan Ilmu Komputer , – , Date : –
  • Workshop Kurikulum Prodi S1 Matematika, Pendidikan Matematika, Statistika, dan Ilmu Komputer , – , Date : –
  • Workshop Peningkatan Kemampuan Penulisan Karya Ilmiah , – , Date : –
  • Workshop Penulisan Paper Jurnal Internasional , – , Date : –
  • Workshop Student Assessment , – , Date : –

Research

Community Services

Intellectual Property

Journal Publication

Prosiding