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 2020/2021
No Nama Mata Kuliah SKS Jenis MK Kelas Jadwal
1. Tesis 6 WAJIB C SAB 07:02-07:02 R: FST-101
2. Logika dan Otomata 2 PILIHAN A RAB 15:20-17:00 R: FST-101
3. Sistem dan Organisasi Komputer 2 PILIHAN A SEN 15:20-17:00 R: FST-101

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 KARYA
Chapter Of Book
1 2018 A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications dalam Quality Software Through Reuse and Integration. Tingkat Internasional Bereputasi. Pada Workshop on Formal Methods Integration, International Conference on Information Reuse and Integration. Diterbitkan oleh Springer.
http://digilib.uin-suka.ac.id/39304/
Conference Paper
2 2020 Verification of a Rule-Based Expert System by Using SAL Model Checker . Tingkat Internasional. Pada The 3rd International Conference on Informatics and Computational Sciences.
http://digilib.uin-suka.ac.id/id/eprint/39307
3 2016 Support for Model Checking Z Specifications . Tingkat Internasional Bereputasi. 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.
http://digilib.uin-suka.ac.id/id/eprint/39305
4 2009 Development of Computer Graphics Learning Tool Object-Based:A Case Study on Bresenham and Midpoint Algorithm . Tingkat Internasional. Pada IIS.
http://digilib.uin-suka.ac.id/id/eprint/39342
5 2007 Generator for Z Conceptual Model Using JFlex and BYACC/J Specification . Tingkat Internasional. Pada IES 2007. Diselenggarakan oleh Politeknik Sepuluh Nopember Surabaya.
http://digilib.uin-suka.ac.id/id/eprint/39343
Jurnal Ilmiah
6 2020 EDUROAM DAN UNIVERSITAS BERBASIS RISET . Tingkat Nasional Terakreditasi.
http://journal.uinjkt.ac.id/index.php/ti/article/view/11889
7 2020 An Implementation of Web-Based Payroll Information System in Universitas Proklamasi 45 Yogyakarta . Tingkat Internasional. Diterbitkan oleh Informatics Department.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/133...
8 2019 RANCANG BANGUN SISTEM INFORMASI PENYEDIAAN AIR MINUM DAN SANITASI BERBASIS MASYARAKAT (PAMSIMAS) DENGAN METODE EXTREME PROGRAMMING . Tingkat Nasional Terakreditasi.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
9 2019 Revitalisasi Pengelolaan Jurnal IJID . Tingkat Nasional Terakreditasi.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
10 2018 A Scanner and Parser for Z Specifications . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/124...
11 2016 Translations of Embedded Theorems in Z Specifications . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/157...
12 2014 Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/143...
13 2013 Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/142...
14 2013 Automatic of Correction and Program Evaluation Using Web-Based Systems . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/143...
15 2012 An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/69
16 2009 Ada Apa dengan si Fenomenal Berry Hitam . Tingkat Nasional.
http://digilib.uin-suka.ac.id/id/eprint/39344

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

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