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
| Name of Staff | Interest or Expertise |
| Dr. Agus Sihabuddin, S.Si., M.Kom | Concept of Programming Language, Functional Programming |
| Anny Kartika Sari, S.Si, M.Sc, Ph.D | Discrete Structure, Ontology |
| Faizal Makhrus, S.Kom, M.Sc., Ph.D | Applied Computing, Computational Science |
| Janoe Hendarto, Drs., M.I.Kom | Analysis and Design of Algorithms, Graphic Computing, Fractals |
| Wahyono, S.Kom, Ph.D | Image processing, Computer Graphics |
| Moh. Edi Wibowo, S.Kom., M.Kom., P.hD | Multimedia Analysis |
| Dr. Nur Rokhman, M.Kom. | Numerical Method and Operation Research |
| Dr. Suprapto, M.I.Kom | Computational Logic, Analysis and Design of Algorithm |
| Mhd. Reza M. I. Pulungan, Dr.-Ing., S.Si., M.Sc. | Formal Methods, Stochastic Analysis, Software Verification and Validation |
