I call Alen Downey "Allen" when I am talking to him, but I've been writing "Prof. Allen" in my journal because I sometimes am more formal in writing (although sometimes I'm less formal) and because I want to make it more clear who I am talking about to people who don't know him.