Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Andrea Pescetti
[go: Go Back, main page]

Andrea Pescetti

PhD Student Computer Science Group
Matematica e Statistica
per le Scienze Computazionali (MaSSC)		 Department of Mathematics
University of Milan University of Parma
Italy Italy

You can reach me at .

Research Interests

Automatic complexity analysis, automatic resolution of recurrence equations.

Research Activity

I am the current maintainer of the PURRS library and project.

I used to be involved in the PPL project.

Publications

R. Bagnara, P.M. Hill, A. Pescetti, E. Zaffanella, On the Design of Generic Static Analyzers for Modern Imperative Languages, 2007: Abstract, PDF, PS.

R. Bagnara, A. Pescetti, A. Zaccagnini, E. Zaffanella, PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis, 2005: Abstract, PDF, PS.

R. Bagnara, P.M. Hill, A. Pescetti, E. Zaffanella, Verification of C Programs Via Natural Semantics and Abstract Interpretation, 2007.

Other stuff

My personal page contains articles and software unrelated to my research activity.

Programmi utili per TeX/LaTeX, a guide to TeX/LaTeX-related programs (in Italian).

Una selezione di Free Software, a guide to commonly used free software programs (in Italian).

I also have a public life.

Page last updated on 2007-06-13