Date Range
Date Range
Date Range
Dept of Computer Science and Engineering, Hankyong National University. 327 Jungang-no, Anseong-si, Gyonggi-do. 2015 Associate Professor, Hankyong National University. 2015 Assistant Professor, Hankyong National University.
I did my PhD in Computer Science under the supervision of Hugo Herbelin. My main research interests are reverse mathematics, computability theory and proof theory. You can download my CV. You can visualize various computability zoos here.
School of Computer Science and Engineering. Off-campus visits since August 21, 2000. School of Computer Science and Engineering. 1 Kwanak-ro, Kwanak-gu,.
Quarta-feira, 5 de outubro de 2011. Uma prendinha de uma a amiga da Vóvó. CLARO! A Graça é uma querida, como vai fazer uma grande viagem e não está cá quando eu nascer, convidou a Vóvó para um bom almocinho e ofereceu este babygrow para mim. Obrigado Gracinha e boa viagem, no Natal vamos adorar conhecer-nos. A Tia Vóvó Ana Teresa foi à compras para mim. A Vóvó continua a trabalhar para mim.
0 lugar ideal para seu lazer. Nota 8,9 no Booking.
Eis o melhor e o pior de mim. O meu termômetro, o meu quilate. Só não se perca ao entrar no meu infinito particular. Segunda-feira, 10 de agosto de 2015. Mais amor, menos planilhas. Aliás, a busca pela saúde faz isso com a gente. Postado por Cor de Rosa e Carvão. Domingo, 9 de agosto de 2015.
Segunda-feira, 8 de dezembro de 2014. Segunda-feira, dezembro 08, 2014. Sexta-feira, 31 de outubro de 2014. O blog faz hoje 8 anos . já? O tempo passa mesmo a correr! .
Sunday, November 20, 2005. Esperem por mim, até já. Já há muito tempo que eu queria fazer o meu próprio blog e hoje ganhei coragem. Prometo colocar aqui os meus trabalhos e também as minhas fotografias preferidas. Para o amor da minha vida um beijo enorme. Esperem por mim, até já.