• 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 Studi S3 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
    • Form Data Mahasiswa
  • 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 Researchers Selected for 2022 Science Leadership Collaborative
  • UGM Lecturer Attends TPNW Meeting in Vienna
  • UGM Students Represent Indonesia at Youth Ecosperity Dialogue 2022
  • UGM Medical Students Win 2022 RespiQuizz
  • UGM Ready for 2022 Formula Student Netherlands
  • German President Frank-Walter Steinmeier Visits Universitas Gadjah Mada
  • UGM Claims Sixth Place at 2022 CanSat Competition
  • IR Graduate Angelo Wijaya Named Global Winner of 2022 World Bank Group Youth Summit’s Case Challenge
  • Civil Engineering Students Win National Writing Contest
  • UGM Declares Zero Tolerance Stance on Violence
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

©