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 Gasal TA 2021/2022
No Nama Mata Kuliah SKS Jenis MK Kelas Jadwal
1. Kecerdasan Buatan 4 WAJIB A SEN 16:25-18:05 R: FST-101#JUM 14:20-16:00 R: FST-102
2. Komputasi Evolusioner 3 PILIHAN A KAM 12:30-15:00 R: FST-404
3. Logika dan Otomata 2 PILIHAN A SAB 12:30-14:10 R: FST-102
4. Sistem dan Organisasi Komputer 2 PILIHAN A SAB 09:45-11:25 R: L-SC
5. Teknik Pembuktian dan Teori Graf 4 WAJIB A SEN 12:30-14:10 R: FST-301#JUM 07:00-08:40 R: FST-401
6. Teknik Pembuktian dan Teori Graf 4 WAJIB B SEL 07:00-08:40 R: FST-305#JUM 13:00-14:40 R: FST-408
7. Teknik Pembuktian dan Teori Graf 4 WAJIB C SEN 09:45-11:25 R: FST-304#SEL 12:30-14:10 R: FST-402
8. Tesis 6 WAJIB C SAB 06:02-06:02 R: FST-101
9. Tesis 6 WAJIB C SAB 06:02-06:02 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
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 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...
11 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...
12 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
13 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...
14 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...
15 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
16 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...
17 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...
18 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...
19 2019 Revitalisasi Pengelolaan Jurnal IJID .
Dipublikasikan pada JISKa.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
20 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...
21 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...
22 2018 A Scanner and Parser for Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/124...
23 2016 Translations of Embedded Theorems in Z Specifications .
Dipublikasikan pada IJID.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/157...
24 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...
25 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...
26 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...
27 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...
28 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
29 2009 Ada Apa dengan si Fenomenal Berry Hitam .
Dipublikasikan pada Fihris.
http://digilib.uin-suka.ac.id/id/eprint/39344
Seminar
30 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 .