I am a computer scientist under Laura Kovács in the APRe group of TU Wien Informatics, Austria. I am generally interested in computer reasoning systems, particularly automatic theorem provers.
Google Scholar is quite good at tracking me, but I also keep a CV and a log of my academic activities, including copies of publications. I also write sometimes.
You can contact me via e-mail.