alenarslanagic.net - Alen Arslanagić

home > domains > alenarslanagic.net

Description: PhD student

Example domain paragraphs

I am a fourth year PhD student at University of Groningen (The Netherlands) under the supervision of Prof. Jorge A. Pérez and Prof. Gerard Renardel de Lavalette . My research work concerns tools for rigorous software development, in particular techniques for certifying correct and reliable communication-intensive software.

Prior to this, I developed Master thesis on the modular type inference algorithm for ML-like programming languages in Haskell supervised by Prof. Silvia Ghilezan at the Faculty of Technical Sciences (Novi Sad, Serbia).

MSc Applied Mathematics, 2017

Links to alenarslanagic.net (3)

• jperez.nl Jorge A. Pérez
• groupoid.moe Dan (Daniel) Frumin
• ppdp2021.github.io PPDP 2021