Clemens Grabmayer

About Me

Saya adalah seorang peneliti di bidang Ilmu Komputer dengan fokus pada logika, bahasa formal, dan sistem penulisan ulang (term rewriting). Pekerjaan saya banyak mengeksplorasi hubungan antara ekspresi reguler, teori graf, dan semantik proses.

Research Interests

• Formal Languages: Teori ekspresi reguler dan otomata.
• Coinduction: Metode pembuktian untuk struktur data tak hingga.
• Term Rewriting: Analisis sistem transformasi simbolik.

Selected Publications

• A Coinductive Reformulation of Milner’s Proof System
  C. Grabmayer, J. Endrullis (2023)
• Steps and Annotated Terms in Process Graphs
  Theoretical Computer Science Journal

Contact

Email: info@grabmayer.de

Lokasi: Munich, Germany / Vienna, Austria