My real name Andrej Bauer. You can see more about me at andrej.com and my blog math.andrej.com.