Dosen

Profil Maria Ulfah Siregar

Nama : Ir. Maria Ulfah Siregar, S.Kom., MIT., Ph.D.
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 2021 Application of the Naïve Bayes Classifier Method in the Sentiment Analysis of Twitter User About the Opinion of Capital City Relocation .
Dalam International Conference on Science and Engineering (ICSE) 2020.
Diterbitkan oleh UIN Sunan Kalijaga Yogyakarta - Indonesia.
http://ejournal.uin-suka.ac.id/saintek/icse/article/download...
3 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
4 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
5 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
6 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
7 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/
8 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
9 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
10 2022 SISTEM INFERENSI FUZZY MAMDANI UNTUK PENGHITUNGAN BONUS KARYAWAN PT. ABC .
Dipublikasikan pada Jurnal Teknik Informatika.
Diterbitkan oleh Department of Informatics, Universitas Islam Negeri Syarif Hidayatullah.
http://journal.uinjkt.ac.id/index.php/ti/article/view/14180/...
11 2021 Perbandingan Faktor-Faktor Yang Mempengaruhi Penggunaan Electronic-Know Your Customer(e-KYC). .
Dipublikasikan pada JISKA.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/30...
12 2021 Rekomendasi Peminatan Peserta Didik Baru pada Kurikulum 13 (K-13) Menggunakan Metode Profile Matching, Simple Additive Weighting dan kombinasi (Studi Kasus: MA NU Assalafie) .
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/view...
13 2021 Sistem rekomendasi peminatan peserta didik baru pada kurikulum K-13 menggunakan metode profile matching, simple additive weighting, dan kombinasi keduanya .
Dipublikasikan pada Jurnal Teknologi dan Sistem Informasi.
https://jtsiskom.undip.ac.id/article/view/13902/12684
14 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
15 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...
16 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...
17 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
18 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...
19 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...
20 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...
21 2019 Revitalisasi Pengelolaan Jurnal IJID .
Dipublikasikan pada JISKa.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
22 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...
23 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...
24 2018 A Scanner and Parser for Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/124...
25 2016 Translations of Embedded Theorems in Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/157...
26 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...
27 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...
28 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...
29 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...
30 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
31 2009 Ada Apa dengan si Fenomenal Berry Hitam .
Dipublikasikan pada Fihris.
http://digilib.uin-suka.ac.id/id/eprint/39344
Prosiding
32 2021 An Implementation of Profile Matching Method to Determine Agricultural Crops that Suit the Land .
Dalam International Conference on Science and Engineering (ICSE-UIN-SUKA 2021).
Diterbitkan oleh Atlantis Press.
https://www.atlantis-press.com/article/125966880.pdf
Seminar
33 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 2020 Akselerasi Akreditasi Jurnal IJID.
2 2018 Pengembangan Jurnal IJID.

# TAHUN KARYA
Berperan serta aktif dalam pengelolaan jurnal ilmiah
1 2021 Editorial Jurnal IJID .
2 2020 Editorial Jurnal IJID .
3 2019 Editorial Jurnal IJID .
4 2018 Editorial Jurnal IJID .
Memberi latihan / penyuluhan / penataran / ceramah kepada masyarakat
5 2021 Pembimbingan Siswa MAN 1 Yogyakarta dalam Mempersiapkan Diri untuk Mengikuti KSN 2021 Bidang Informatika (Terjadwal < 1 semester).
6 2019 Menumbuhkan Jiwa Santripreneur melalui e-Commerce Menggunakan Opencart (Terjadwal ≥ 1 semester).
7 2019 Pelatihan Pemrograman Web Menggunakan MVC Framework (Terjadwal ≥ 1 semester).
8 2018 Pelatihan Kalab Sekolah di bidang Informatika (Terjadwal ≥ 1 semester).
9 2017 Pelatihan Kalab Sekolah di bidang Informatika (Terjadwal < 1 semester).
Memberi pelayanan kepada masyarakat
10 2017 Sharing Pengalaman Belajar di Luar Negeri .
Menulis Karya Pengabdian
11 2019 Menumbuhkan Jiwa Santripeneur dengan Pelatihan e-Commerce Menggunakan Opencart .
12 2019 Pelatihan Pemrograman Web Menggunakan MVC Framework .