Dalam ilmu komputer, tipe data abstrak (ADT) adalah model matematika untuk tipe data di mana tipe data didefinisikan oleh perilakunya (semantik) dari sudut pandang pengguna data, khususnya dalam hal nilai yang mungkin, kemungkinan operasi pada data jenis ini, dan perilaku operasi ini.