Pedro Quaresma

About the Author

Pedro Quaresma is a distinguished researcher and academic in the field of computer science, with a particular focus on automated deduction and its applications in geometry. Holding a position at the University of Coimbra in Portugal, he has dedicated his career to advancing computational methods that bridge mathematics and artificial intelligence. Quaresma's work explores the intersection of logic, geometry, and automated reasoning, contributing significantly to the development of tools that automate theorem proving and geometric constructions. His scholarly pursuits have led to numerous publications and his editorial role in prestigious conference proceedings, fostering international collaboration among experts in formal methods and computational geometry. Through his rigorous approach, Quaresma continues to shape the future of automated systems in mathematical research, emphasizing precision and innovation in algorithmic solutions.