Carlos Caleiro

Carlos Caleiro é professor associado de Matemática Aplicada e Computação no Instituto Superior Técnico (IST) da Universidade de Lisboa, Portugal. Com graduação, doutorado e agregação em Matemática pela mesma instituição, Caleiro dedica-se à pesquisa em aplicações da lógica à ciência da computação. Suas áreas de interesse incluem segurança da informação, lógicas temporais e sistemas dedutivos abstratos. Entre suas publicações, destaca-se a obra "Introdução à Programação em Mathematica", voltada para iniciantes no ambiente e linguagem Mathematica.