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 log of my academic activities, including copies of publications. I also keep a very minimal CV. You can contact me via e-mail.