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

NIP / NIKA	: 197511012002121002
Email / email	: pulungan@ugm.ac.id
Jabatan Fungsional / Functional Position	: Guru Besar / Professor,
Jabatan Struktural / Structural Position	: –

Gugus Riset / Research Cluster	: Ilmu Komputer / Computer Science
Laboratorium / Laboratory	: Algoritma dan Komputasi / Algorithm and Computing
Minat Penelitian / Research Interest	: Formal Method, Stochastic Analysis, Software Verification and Validation

Dr.-Ing.	Program Reduction of Acyclic Phase-Type Representations	Saarland University, Germany 2005 – 2009
M.Sc.	Program Model Checking Markov Reward Models with Impulse Rewards	University of Twente, Netherlands 2001 – 2004
S.Si.	Program	Univeritas Gadjah Mada 1998 – 2003

Nothing found.