• Pendaftaran
  • Webmail
  • Perpustakaan
  • Portal Akademik
  • Universitas
  • IndonesiaIndonesia
    • EnglishEnglish
Universitas Gadjah Mada Departemen Ilmu Komputer dan Elektronika
Fakultas Matematika dan Ilmu Pengetahuan Alam
  • Home
  • Departemen
    • Manajemen
    • Staf Administrasi & Teknis
    • Fasilitas
    • Kontak & Lokasi
  • Program Studi
    • S1 Elektronika dan Instrumentasi
    • S1 Ilmu Komputer
    • Magister Ilmu Komputer
    • Magister Kecerdasan Artifisial
    • Program Magister Elektronika dan Instrumentasi
    • Program Doktor Ilmu Komputer
  • Riset
    • Kelompok Riset
      • Elektronika dan Instrumentasi
      • Sistem Komputer dan Jaringan
      • Algoritma dan Komputasi
      • Rekayasa Perangkat Lunak dan Data
      • Sistem Cerdas
    • Roadmap Penelitian dan Pengabdian kepada Masyarakat
    • Laboratorium Layanan
      • Lab Komputer Dasar
      • Lab Elektronika Dasar
      • Lab Instrumentasi Dasar
  • Pengajar & Publikasi
    • Daftar Dosen
  • Akademik & Mahasiswa
    • Pendaftaran
    • SOP Panduan MBKM DIKE
    • Prosedur
    • Mahasiswa
      • HIMAKOM
      • HMEI
      • OMAH TI
    • Dokumen Akademik
  • Beranda
  • Lab Riset Algoritma dan Komputasi

Lab Riset Algoritma dan Komputasi

  • 20 Januari 2017, 06.47
  • Oleh :

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:

  1. Metode Formal: penelitian yang terkait dengan teoritis seperti: verifikasi, checking, proving, dan theory of programming language.
  2. Algoritma: penelitian yang terkait dengan pengembangan algoritma dan teknik perancangannya
  3. Optimasi: penelitian yang terkait dengan teori-teori optimasi.
  4. Model-model komputasi: penelitian yang terkait dengan grid computing, cloud computing, parallel computing dan fractal.
  5. Sains komputational: penelitian yang terkait dengan pengembangan komputasi-komputasi dalam bidang sains (kimia, fisika, dan biologi), matematika, dan sistem pendukung lain seperti metode numerik.
  6. 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:

  1. Mobile Software Analysis dan Design
  2. Information Retrieval: Penelitian yang terkait dengan IR model dan efisiensinya.
  3. Data Mining: Penelitian yang terkait dengan data mining, yaitu algoritma dan metode untuk menemukan pola dari berbagai tipe data, melakukan prediksi, dan pembuatan keputusan.
  4. 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

Prospective Students, welcome!


Berita UGM

  • UGM to Bolster Cooperation With US Partners
  • GIS Student Wins 3 Medals at 2023 National Olympiad
  • Biology Students Grab 2 Prizes in Indonesia-Wide Scientific Writing Competition
  • Professor Ika Dewi Ana Receives WIPO National Award for Inventors
  • Civil Engineering Students Win International BIM Innovation Contest CEIC XI
  • Social Development and Welfare & Save The Children Indonesia Discuss Parenting in Indonesia
  • UGM Student Represents R&D Company Stechoq at 2023 Hannover Messe
  • Scientists at UGM Develop RV3-BB Rotavirus Vaccine
  • UGM and Pertamina NRE Unveil Solar Power Plant at Geography Faculty
  • Ambassador Kjell Tormod Pettersen Congratulates ASEAN Master in Sustainability Management Graduates
Universitas Gadjah Mada

Departemen Ilmu Komputer dan Elektronika

Fakultas Matematika dan Ilmu Pengetahuan Alam

Universitas Gadjah Mada

Gedung C, Lantai 4

Sekip Utara Bulaksumur Yogyakarta 55281

Introduction

©