Dosen

Profil Maria Ulfah Siregar

Nama : Ir. 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 Ir. Maria Ulfah Siregar, S.Kom. MIT., Ph.D. Di Semester Genap TA 2020/2021
No Nama Mata Kuliah SKS Jenis MK Kelas Jadwal
1. Kecerdasan Buatan 4 WAJIB A JUM 14:20-16:00 R: FST-102#SAB 07:55-09:45 R: FST-102
2. Kecerdasan Buatan 3 PILIHAN A JUM 14:20-16:00 R: FST-102#SAB 07:55-09:45 R: FST-102
3. Kerja Praktek 2 WAJIB A SAB 07:03-07:03 R: FST-104
4. Sistem Pakar 3 PILIHAN A SEN 07:00-09:30 R: FST-401
5. Sistem dan Organisasi Komputer 3 WAJIB A SEL 14:20-16:50 R: FST-101
6. Tesis 6 WAJIB C SAB 07:02-07:02 R: FST-101
7. Tesis 6 WAJIB C SAB 07:02-07:02 R: FST-101
8. 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 KARYA
Book Chapter
1 2018 A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications dalam Quality Software Through Reuse and Integration.
Dalam 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 .
Dalam 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 .
Dalam The 4th Workshop on Formal Methods and Integration (The IEEE 17th International Conference on Information Reuse and Integration).
http://digilib.uin-suka.ac.id/id/eprint/39305
4 2014 Experiences Using Z2SAL .
Dalam International Conference on Advanced Computer Science and Information Systems (ICACSIS).
Diterbitkan oleh Faculty of Computer Science Universitas Indonesia.
http://digilib.uin-suka.ac.id/id/eprint/39306
5 2014 An Investigation into the Use of Abstraction in Model Checking Z Specification .
Dalam 9th Annual South-East European Doctoral Student Conference.
Diterbitkan oleh 9th Annual South-East European Doctoral Student Conference.
http://www.seerc.org/dsc2014/files/proceedings.pdf
6 2011 Pre Diagnosis of Information Literacy Level .
Dalam International Conference on Informatics Development (ICID).
Diterbitkan oleh UIN Sunan Kalijaga.
http://digilib.uin-suka.ac.id/id/eprint/
7 2009 Development of Computer Graphics Learning Tool Object-Based:A Case Study on Bresenham and Midpoint Algorithm .
Dalam IIS.
http://digilib.uin-suka.ac.id/id/eprint/39342
8 2007 Generator for Z Conceptual Model Using JFlex and BYACC/J Specification .
Dalam IES 2007.
http://digilib.uin-suka.ac.id/id/eprint/39343
Jurnal Ilmiah
9 2021 Suatu Pendekatan Hibrid Menggunakan Topsis - Entropi pada Penentuan Siswa Penerima Beasiswa Prestasi Berbasiskan Kriteria Objektif .
Dipublikasikan pada Jurnal Teknologi Informasi dan Ilmu Komputer (JTIIK).
Diterbitkan oleh Fakultas Ilmu Komputer, Universitas Brawijaya.
http://jtiik.ub.ac.id/index.php/jtiik/article/view/4261/pdf
10 2020 Prapemrosesan klasifikasi algoritme kNN menggunakan K-means danmatriks jarak untuk dataset hasil studi mahasiswa .
Dipublikasikan pada Jurnal Teknologi dan Sistem Komputer.
Diterbitkan oleh Department of Computer Engineering, Faculty of Engineering, Universitas Diponegoro.
https://jtsiskom.undip.ac.id/index.php/jtsiskom/article/down...
11 2020 An Efficient Journal Articles Searching using Vector Space Model Algorithm .
Dipublikasikan pada IJID (International Journal on Informatics for Development) .
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/206...
12 2020 ANALISIS KESIAPAN PENGIMPLEMENTASIAN EDUROAM DI UIN SUNAN KALIJAGA .
Dipublikasikan pada JURNAL TEKNIK INFORMATIKA.
http://103.229.202.71/index.php/ti/article/view/11889/pdf
13 2019 Evaluation of IT Service Management (ITSM) Using e-GovQual Dimensions Case Study Regional Office Ministry of Law and Human Rights DIY .
Dipublikasikan pada IJID (International Journal on Informatics for Development).
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/177...
14 2019 Evaluation of E-Government Using COBIT 5 Framework (Case Study of Sistem Database Pemasyarakatan Implementation in Ministry of Law and Human Rights in the Special Region of Yogyakarta) .
Dipublikasikan pada IJID (International Journal on Informatics for Development).
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/178...
15 2019 RANCANG BANGUN SISTEM INFORMASI PENYEDIAAN AIR MINUM DAN SANITASI BERBASIS MASYARAKAT (PAMSIMAS) DENGAN METODE EXTREME PROGRAMMING .
Dipublikasikan pada JISKa.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
16 2019 Revitalisasi Pengelolaan Jurnal IJID .
Dipublikasikan pada JISKa.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
17 2018 Design and Development of Web-Based Payroll Information System Using Codeigniter Framework and Extreme Programming Method .
Dipublikasikan pada IJID.
Diterbitkan oleh Informatics Department.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/133...
18 2018 A Usage of McCall's Software Quality Analysis on the Bonus System of PT Surya Pratama Alam .
Dipublikasikan pada Jurnal Informatika Sunan Kalijaga (JISKa).
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/12...
19 2018 A Scanner and Parser for Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/124...
20 2016 Translations of Embedded Theorems in Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/157...
21 2014 Recommendation System of Self-Medication for Mild Digestive Diseases with Dempster Shafer Method .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/143...
22 2013 Expert System for Diagnosis Skin Disease in Infants With Case-Based Reasoning Method .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/142...
23 2013 Automatic of Correction and Program Evaluation Using Web-Based Systems .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/143...
24 2012 A New Approach to CPU Scheduling Algorithm: Genetic Round Robin .
Dipublikasikan pada International Journal of Computer Application.
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.258...
25 2012 An Approach for Pre-Diagnosis Information Literacy Level by Using Expert System .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/69
26 2009 Ada Apa dengan si Fenomenal Berry Hitam .
Dipublikasikan pada Fihris.
http://digilib.uin-suka.ac.id/id/eprint/39344
Seminar
27 2014 Using Abstraction in Model Checking Z Specifications .
Dipublikasikan pada The University of Sheffield Engineering Symposium (USES) Vol. 1 .
http://eprints.whiterose.ac.uk/85050/

# TAHUN KARYA
Melakukan penelitian
1 2018 Pengembangan Jurnal IJID.

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