Hello and welcome to my blog!
My name is Raja and I like to think of myself as a mathematician, logician, and computer scientist.
Currently, I work in Faculty of Computer Science, University of Indonesia, as a lecturer. I teach mathematics to the future computer scientists from Indonesia! Indonesia itself is a very large country; we have about 260 millions people in total, so there must be a lot of potentials that might come from this country.
In the past, I did Master of Logic program in Institute of Logic, Language, and Computation (ILLC), University of Amsterdam. I am lucky to write a thesis in quantum computing under the supervision of Dr Michael Walter in QuSoft, Centrum Wiskunde & Informatica.
In the past, I also represent Indonesia in IMO 2009 in Germany and IMO 2010 in Kazakhstan, and also IMC 2011 and 2012 in my undergraduates. I took part in training young students of Indonesia who will participate in IMO and IMC. I also co-found KTOM, an open online mathematical competition for young students. This is an important contribution for Indonesia since the emphasis of mathematics in Indonesian schools is just calculation and less problem solving.
In my spare time, I like playing badminton. I also like pop music.
In this blog, I will post about mostly mathematical and computer science related stuff that I want to share. I hope you enjoy it.