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. Kerja Praktek 2 WAJIB A SAB 18:03-18:03 R: LAP
2. Komputasi Evolusioner 3 PILIHAN A SEN 12:30-15:00 R: L-401
3. Logika dan Otomata 2 PILIHAN A RAB 15:20-17:00 R: FST-101
4. Pemodelan dan Simulasi Numerik 2 WAJIB A KAM 14:20-16:00 R: FST-409
5. Sistem dan Organisasi Komputer 2 PILIHAN A SEN 15:20-17:00 R: FST-101
6. Teknik Pembuktian dan Teori Graf 4 WAJIB A SEN 07:00-08:40 R: FST-402#KAM 07:00-08:40 R: FST-303
7. Teknik Pembuktian dan Teori Graf 4 WAJIB B SEL 08:50-10:40 R: FST-304#JUM 08:50-10:40 R: FST-302
8. Tesis 6 WAJIB C SAB 07:02-07:02 R: FST-101
9. 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
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 2014 Experiences Using Z2SAL . Tingkat Internasional. Pada International Conference on Advanced Computer Science and Information Systems (ICACSIS). Diselenggarakan oleh Faculty of Computer Science Universitas Indonesia. 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 . Tingkat Internasional. Pada 9th Annual South-East European Doctoral Student Conference. Diselenggarakan oleh 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 . Tingkat Internasional. Pada International Conference on Informatics Development (ICID). Diselenggarakan oleh 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 . Tingkat Internasional. Pada IIS.
http://digilib.uin-suka.ac.id/id/eprint/39342
8 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
9 2020 EDUROAM DAN UNIVERSITAS BERBASIS RISET . Tingkat Nasional Terakreditasi.
http://journal.uinjkt.ac.id/index.php/ti/article/view/11889
10 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...
11 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...
12 2019 Revitalisasi Pengelolaan Jurnal IJID . Tingkat Nasional Terakreditasi.
http://ejournal.uin-suka.ac.id/saintek/JISKA/article/view/14...
13 2018 A Scanner and Parser for Z Specifications . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/124...
14 2016 Translations of Embedded Theorems in Z Specifications . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/157...
15 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...
16 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...
17 2013 Automatic of Correction and Program Evaluation Using Web-Based Systems . Tingkat Internasional.
http://ejournal.uin-suka.ac.id/saintek/ijid/article/view/143...
18 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
19 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 .