Search

UNIVERSITAS GADJAH MADA FACULTY OF MATHEMATICS AND NATURAL SCIENCES 

Search

UNIVERSITAS GADJAH MADA FACULTY OF MATHEMATICS AND NATURAL SCIENCES 

Search

UNIVERSITAS GADJAH MADA FACULTY OF MATHEMATICS AND NATURAL SCIENCES 

Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., M.Sc.

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, \tFORMAL METHOD, \tSTOCASTIC 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

 

Translate