Pessoas · Revisão técnica
Prof. Dr. Júlio César da Silva
Doutor em Lógica Matemática · Coordenador da Pós-Graduação em Computação Quântica da PUC Minas · Professor e Pesquisador em Fundamentos da Computação
Atuo na interseção entre computação, filosofia, educação e tecnologia, com uma trajetória marcada pelo compromisso com a pesquisa rigorosa, a docência no ensino superior e a formação formal e crítica de profissionais de computação.
Gestão acadêmica
Coordeno a Pós-Graduação em Computação Quântica da PUC Minas, integrando pesquisa, inovação e formação avançada em tecnologias emergentes. Acumulo experiência em coordenação de cursos de graduação em TIC, liderança de equipes, gerenciamento de projetos e serviços de TI, e consultoria em frameworks de gestão (Scrum, ITIL, COBIT).
Pesquisa
Investigo lógica matemática, teoria da computação, linguagens formais, filosofia da matemática, epistemologia formal e computação quântica — com interesse especial nas interseções entre modelos formais, lógica computacional e quântica, teoria de conjuntos ZFC e análise de complexidade. Possuo publicações e premiações em eventos acadêmicos, além de homenagens pela atuação docente.
Docência
Professor do ensino superior desde 2011, leciono fundamentos da computação, lógica computacional, análise e complexidade de algoritmos, modelagem matemática, teoria da computação, introdução às tecnologias quânticas, Qiskit e filosofia da matemática. Atuo na Faculdade Cotemig, na Faculdade Pitágoras/Anhanguera e na Pós-Graduação da PUC Minas, com passagens por SENAC MG, Estácio de Sá e IETEC MG.
Autoria
IA & Educação em cursos de computação
Löwenheim–Skolem e a Relatividade Ontológica: Implicações do Teorema Forte na doutrina ontológica de W. V. Quine
Qubit: uma introdução visual
Critical Thinking+ (newsletter semanal)