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
Anggota lab Riset Komputasi dan Algoritma
| Nama Anggota | Keahlian |
| Agus Sihabuddin, S.Si., M.Kom | Konsep Bahasa Pemrograman, Pemrograman Fungsional |
| Anny Kartika Sari, S.Si, M.Sc | Struktur Diskrit, Ontology |
| Faizal Makhrus, S.Kom | Komputasi Terapan |
| Janoe Hendarto, Drs. ,M.Kom | Analisis dan Desain Algoritma, Komputasi Grafis, Fraktal |
| Medi, Drs., M.Kom | Verifikasi dan Validasi |
| Moch. Edi Wibowo, S.Kom., M.Kom | Analisis Multimedia |
| Nur Rokhman, M.Kom | Metode Numerik |
| Retantyo Wardoyo,Drs.,M.Sc.,Ph.D * | Teori Komputasi, Sains Manajemen |
| Reza Pulungan, Dr.-Ing. MSc, Dr.-Ing. Mhd. | Metode Formal, Analisis Stokastik, Verifikasi dan Validasi Software |
| Sigit Priyanta,S.Si.,M.Kom | Komputasi Terapan, Teks Mining, Komputasi Bahasa Natural |
| Suprapto, Drs., M.Kom | Logika Komputasional, Analisis dan Desain Algoritma |
| Wahyono, S.Kom | Image processing, Grafik komputing |
