Ju Gonçalves is a young computer scientist based in Copenhagen. She can usually be seen working on her Ph.D. on Type Theory at Roskilde University or playing with Nintendo games on the streets of Copenhagen. She is a member of Programming, Logic and Intelligent Systems research group, and many interesting forums. For Junia, pokémons and bugs in programming language development have something in common, she gotta catch 'em all!