Damiano Mazza
Mathematician
Affiliation: Université Paris 13
Research interests: Logic in Computer Science and Theory of Programming Languages
Welcome to my web page! I am directeur de recherche (senior scientist) in theoretical computer science at CNRS Sciences Informatiques.
Damiano Mazza. active 1573. Mazza was a native of Padua. He worked in Venice and is documented as a follower of Titian, which his extant works confirm.
Damiano Mazza. CNRS, LIPN, Université Sorbonne Paris Nord. Verified email at lipn.univ-paris13.fr - Homepage · logic in computer sciencetheory ...
Biography: Painter, active in Padua and Venice; in 1573 he provided an altarpiece for the church at Noale on the Veneto (near Venice) in the style of Titian ...
Description. A drawing of the abduction of Ganymede. The drawing shows an episode from Greek mythology: Ganymede, a beautiful shepherd boy, was abducted by Zeus ...
My field of study is logic in computer science. More specifically, my research is situated at the interface between logic and computer science provided by the ...