After doing research in mathematical logic for several years, I am now concentrating on programming. For the moment mostly Java (esp. Android) and Javascript (Web-Apps), but I also have some experience with C++, PHP, HTML, CSS.