English 
Indonesia Algorithm and Computing Research Laboratory
Tentang Laboratorium
Laboratorium keilmuan Algoritma dan Komputasi merupakan laboratorium yang menyediakan dan mengembangkan kompetensi dan melaksanakan penelitian dalam aspek teoritis dan komputasional Ilmu Komputer. Aspek teoritis ilmu komputer meliputi teori dasar ilmu komputer, mesin-mesin komputasi, bahasa, grammar, batasan-batasan komputasi, teori kompleksitas, konsep dasar algoritma, dan teknik-teknik pengembangan dan analisis algoritma. Sedangkan aspek komputasional meliputi metode numerik, sistem pendukung komputasi untuk bidang-bidang matematika, fisika, kimia, biologi, ekonomi financial dan bahasa natural, pemodelan dan simulasi, dan riset operasi. Laboratorium ini mewadahi penelitian-penelitian yang dilakukan dalam topik-topik yang berhubungan dengan:
- Metode Formal: penelitian yang terkait dengan teoritis seperti: verifikasi, checking, proving, dan theory of programming language.
- Algoritma: penelitian yang terkait dengan pengembangan algoritma dan teknik perancangannya
- Optimasi: penelitian yang terkait dengan teori-teori optimasi.
- Model-model komputasi: penelitian yang terkait dengan grid computing, cloud computing, parallel computing dan fractal.
- Sains komputational: penelitian yang terkait dengan pengembangan komputasi-komputasi dalam bidang sains (kimia, fisika, dan biologi), matematika, dan sistem pendukung lain seperti metode numerik.
- Pemodelan, analisis dan pemastian kesahihan (correctness) sistem reaktif: penelitian yang terkait dengan pemodelan, analisis dan pembentukan metode-metode atau algoritma-algoritma untuk memastikan kesahihan sistem reaktif.
Laboratorium ini juga mewadahi penelitian-penelitian yang dilakukan dalam topik-topik yang berhubungan dengan:
- Mobile Software Analysis dan Design
- Information Retrieval: Penelitian yang terkait dengan IR model dan efisiensinya.
- Data Mining: Penelitian yang terkait dengan data mining, yaitu algoritma dan metode untuk menemukan pola dari berbagai tipe data, melakukan prediksi, dan pembuatan keputusan.
- Integrasi Data: Penelitian yang terkait dengan integrasi data dari berbagai sumber
TBA
TBA
Anggota lab Riset Komputasi dan Algoritma
| Name | Major | Minor |
| Prof. Dr.-Ing. Mhd. Reza M. I. Pulungan, S.Si., | Lab Riset Algoritma dan Komputasi | Lab Riset Rekayasa Perangkat Lunak dan Data |
| Dr. Nur Rokhman, S.Si., M.Kom | Lab Riset Algoritma dan Komputasi | Lab Riset Rekayasa Perangkat Lunak dan Data |
| Prof. Dr. Suprapto, M.I.Kom. | Lab Riset Algoritma dan Komputasi | Lab Riset Rekayasa Perangkat Lunak dan Data |
| Dr. Agus Sihabuddin, S.Si., M.Kom. | Lab Riset Algoritma dan Komputasi | |
| Wahyono, S.Kom., Ph.D. | Lab Riset Algoritma dan Komputasi | Lab Riset Sistem Cerdas |
| Drs. Janoe Hendarto, M.I.Kom. | Lab Riset Algoritma dan Komputasi | |
| Moh. Edi Wibowo, S.Kom.,M.Kom., Ph.D. | Lab Riset Algoritma dan Komputasi | Lab Riset Rekayasa Perangkat Lunak dan Data |
| Muhammad Alfian Amrizal, B.Eng., M.I.S., Ph.D. | Lab Riset Algoritma dan Komputasi | |
| Erwin Eko Wahyudi, S.Kom., M.Cs. | Lab Riset Algoritma dan Komputasi | |
| Faizal Makhrus, S.Kom., M.Sc., Ph.D. | Lab Riset Algoritma dan Komputasi | |
-
sharing is caring
-
-
-
-
