Mauro Pezzè
Alma mater
Scientific career
FieldsSoftware engineering, software testing
Institutions
Websitewww.inf.usi.ch/faculty/pezze/

Mauro Pezzè is an Italian computer scientist. He is a professor of the faculty of informatics at the Università della Svizzera italiana, Switzerland where he had been the dean of the faculty of informatics from 2009 to 2011.[1] He is also a professor of software engineering at the Università degli Studi di Milano-Bicocca and, from 2019 to 2026, at the Constructor Institute in Schaffhausen. He has been co-chair of the International Conference on Software Engineering. Pezzè is the co-author of Software testing and analysis: process, principles, and techniques published by Wiley in 2007.[2] His research interests are mainly software redundancy, self-healing and self-adaptive software systems.[3] He was recognized as an ACM Distinguished Member in 2017.[4] He was editor in chief of the journal ACM Transactions on Software Engineering and Methodology from 2018 to 2024.[5] He is editor in chief of the journal IEEE Transactions on Software Engineering since January 1, 2026. [6]

References

edit
  1. ^ Online Editorial Team (15 September 2009). Informatica USI: Pezzè nuovo decano (in Italian). Corriere del Ticino. Accessed April 2025.
  2. ^ Pezzè, Mauro; Young, Michal (2008). Software testing and analysis : process, principles, and techniques. [Hoboken, N.J.]: Wiley. ISBN 9780471455936.
  3. ^ "Mauro Pezzè - ICSE 2020".
  4. ^ Jim Ormond (8 November 2017). "ACM Recognizes 2017 Distinguished Members as Pioneering Innovators that Are Advancing the Digital Age: Global Roster Selected for Outstanding Scientific, Engineering and Educational Contributions to Computing". Association for Computing Machinery. Retrieved 12 January 2026.
  5. ^ "Editorial from the Incoming Editor-in-Chief".
  6. ^ "Professor Mauro Pezzè Appointed Editor-in-Chief of IEEE TSE".
edit

📚 Artikel Terkait di Wikipedia

Go! (programming language)

Survey of Programming Languages and Platforms for Multi-Agent Systems". Informatica. 30: 33–44. Archived from the original on 2009-11-15. M. Fisher; et al

Referential transparency

natural numbers. The empty sequence is denoted by ε and the sequence constructor by ‘.’. Example. — Position 2.1 in the expression (+ (∗ e1 e1) (∗ e2

Oberon (programming language)

supercomputers, especially vector or pipelined architectures. It includes array constructors and an ALL statement. Oberon (operating system) A2 (operating system)

Corecursion

binary trees has a more general form based on a "state machine"-like constructor: corec :: (c -> Either a (c, c)) -> c -> BinaryTree a corec f base =

Gérard Huet

Program Transformations Expressed with Second-Order Patterns". Acta Informatica. 11: 31–55. doi:10.1007/bf00264598. S2CID 27669838. Gérard Huet, D.S

Denotational semantics

non-deterministic sequential programs. Writing P for a power-domain constructor, the domain P(D) is the domain of non-deterministic computations of type

Romanian Air Force

Romanian). Retrieved 3 November 2023. "Centrul 85 Comunicaţii Aero și Informatică". RoAF (in Romanian). Liviu Anghel (12 September 2019). "Patrioții din

Delft University of Technology

India Company. The first director of the academy was Antoine Lipkens, constructor of the first Dutch optical telegraph, called simply as Lipkens. Royal