About Me.

a picture of me

Gábor Alagi

Program Designer Mathematician, M.Sc.
Doctoral Researcher

Max Planck Institute for Informatics
Automation of Logic

linkedin: linkedin.com/in/gaboralagi
facebook: www.facebook.com/gabor.alagi
e-mail: gabor.alagi@outlook.com



Hi, I am a PhD student studying computer science in Saarbücken, Germany. Outside the world of logic and automated reasoning, I play games, read books, delve into history and philosophy, or just take a long walk. I am also interested in game development, C#, and Unity.

I use this website to communicate with my friends, but I also keep my academic homepage here, and the links for my linkedin and facebook profiles can be found above.