Claus Akira Horodynski-Matsushigue

Possui graduação em Bacharelado em Matemática - IGCE pela Universidade Estadual Paulista Júlio de Mesquita Filho (1993), mestrado em Matemática Aplicada / Ciência da Computação - IME pela Universidade de São Paulo (1997) e doutorado em Matemática - IME pela Universidade de São Paulo (2003). Atualmente é professor adjunto da Universidade de Brasília. Tem experiência na área de Fundamentos em Matemática e Teoria da Computação, com ênfase em Lógica Matemática e Complexidade Computacional, atuando principalmente nos seguintes temas: sistemas lógicos formais, independência e indemonstrabilidade, finitismo/metamatemática e problema P =? NP.

bachelor's at Bacharelado em Matemática - IGCE from Universidade Estadual Paulista Júlio de Mesquita Filho (1993), master's at Matemática Aplicada / Ciência da Computação - IME from Universidade de São Paulo (1997) and doctorate at Matemática - IME from Universidade de São Paulo (2003). Has experience in Mathematics, focusing on Mathematics Logic, acting on the following subjects: sistemas lógicos formais, axiomatização de teorias, finitismo, metamatemática and problema p = np.