Dosen

Profil Maria Ulfah Siregar

Nama : Maria Ulfah Siregar, S.Kom. MIT., Ph.D.
NIP : 19780106 200212 2 001
NIDN : 2006017801
Program Studi : Informatika
Fakultas : Sains dan Teknologi
Jenis Pegawai | Status : Pegawai Negeri Sipil | Aktif Mengajar
Jabatan Akademik | Golongan : Lektor | III/D
Email :
Pendidikan Terakhir : S3

Kelas Mata Kuliah Yang Diampu Oleh Maria Ulfah Siregar, S.Kom. MIT., Ph.D. Di Semester Gasal TA 2019/2020
No Nama Mata Kuliah SKS Jenis MK Kelas Jadwal
1. Bahasa Inggris 2 WAJIB A RAB 08:50-10:30 R: PPB-304#KAM 12:30-14:10 R: FST-103
2. Logika dan Otomata 3 WAJIB A KAM 17:05-19:35 R: FST-101
3. Logika Informatika 3 WAJIB A SEL 08:50-11:20 R: MP-101
4. Penalaran Otomatis 3 PILIHAN A JUM 17:05-19:35 R: FST-102
5. Tesis 6 WAJIB C SAB 07:02-07:02 R: FST-101
6. Tugas Akhir 6 WAJIB G SAB 18:09-18:09 R: FST-403

No. Jenjang Perguruan Tinggi Jurusan Gelar Akademik Tahun Lulus
1. S3 University of Sheffield United Kingdom Computer Science - - 2017
2. S2 Universiti Kebangsaan Malaysia - - 2007
3. S1 Institut Teknologi Sepuluh Nopember Informatika S.Kom. 2002

# TAHUN KATEGORI KARYA
Chapter Of Book
1 2018 Chapter Of Book A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications dalam Quality Software Through Reuse and Integration. Diterbitkan oleh Springer.
Conference Paper
2 2016 Conference Paper Support for Model Checking Z Specifications . Tingkat Internasional. Pada The 4th Workshop on Formal Methods and Integration (The IEEE 17th International Conference on Information Reuse and Integration). Diselenggarakan oleh School of Information Sience, University of Pittsburgh.

# TAHUN KATEGORI KARYA
Melakukan penelitian
1 2017 Melakukan penelitian Eduroam dan Universitas Berbasis Riset.
2 2017 Melakukan penelitian Eduroam dan Universitas Berbasis Riset.
3 2017 Melakukan penelitian Pengembangan Jurnal IJID.

# TAHUN KATEGORI KARYA
Memberi pelayanan kepada masyarakat
1 2017 Memberi pelayanan kepada masyarakat Sharing Pengalaman Belajar di Luar Negeri .