Laboratorium keilmuan Algoritma dan Komputasi merupakan laboratorium yang menyediakan, mengembangkan kompetensi, serta melaksanakan penelitian dalam aspek teoritis dan komputasional Ilmu Komputer.

Aspek teoritis ilmu komputer mencakup kajian mendalam mengenai teori dasar ilmu komputer, mesin-mesin komputasi, bahasa dan grammar formal, batasan-batasan komputasi, teori kompleksitas, konsep dasar algoritma, serta teknik-teknik pengembangan dan analisis algoritma. Sementara itu, aspek komputasional menitikberatkan pada metode numerik, sistem pendukung komputasi untuk berbagai disiplin ilmu seperti matematika, fisika, kimia, biologi, ekonomi finansial, dan bahasa alami, serta pengembangan pendekatan pemodelan dan simulasi hingga riset operasi.

Bidang Penelitian

1. Metode Formal — verifikasi, model checking, proving, dan teori bahasa pemrograman.
2. Sains Komputasional — penerapan komputasi pada sains (fisika, kimia, biologi), matematika, dan metode numerik.
3. Grafika Komputer — visualisasi, rendering, pemodelan grafis, dan interaksi berbasis grafis.
4. Pengenalan Pola — deteksi, klasifikasi, dan identifikasi pola pada citra, sinyal, maupun teks.
5. Algoritma Terdistribusi — sinkronisasi, komunikasi antar-node, dan toleransi kesalahan pada sistem terdistribusi.
6. Metode Numerik — algoritme numerik yang efisien dan stabil untuk persoalan matematis kompleks.
7. Komputasi Runtun Waktu — pemodelan, analisis, dan prediksi data time-series untuk sains, ekonomi, dan sistem cerdas.
8. Sistem Surveilans Cerdas & Analisis Video — computer vision, deteksi objek, dan pemantauan otomatis berbasis AI.
9. Neurosains Komputasional — pemodelan jaringan saraf biologis dan algoritme terinspirasi biologi.

Dokumen Profil Lab