CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <meta http-equiv="Content-Style-Type" content="text/css"> <title>Ugo Montanari's Home Page</title> <meta name="Generator" content="Cocoa HTML Writer"> <meta name="CocoaVersion" content="2113.2"> <style type="text/css"> p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 24.0px Times; color: #000000; -webkit-text-stroke: #000000} p.p2 {margin: 0.0px 0.0px 16.0px 0.0px; font: 24.0px Times; color: #000000; -webkit-text-stroke: #000000} p.p3 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Times; color: #000000; -webkit-text-stroke: #000000} p.p4 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Times; color: #0000e9; -webkit-text-stroke: #0000dc} p.p5 {margin: 0.0px 0.0px 6.0px 0.0px; font: 12.0px Times; color: #000000; -webkit-text-stroke: #000000} p.p6 {margin: 0.0px 0.0px 14.0px 0.0px; font: 18.0px Times; color: #000000; -webkit-text-stroke: #000000} p.p8 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Times; color: #0000dc; -webkit-text-stroke: #0000dc} li.li3 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Times; color: #000000; -webkit-text-stroke: #000000} li.li7 {margin: 0.0px 0.0px 0.0px 0.0px; font: 12.0px Times; color: #0000dc; -webkit-text-stroke: #000000} span.s1 {font-kerning: none} span.s2 {text-decoration: underline ; font-kerning: none} span.s3 {font-kerning: none; color: #000000; -webkit-text-stroke: 0px #000000} span.s4 {-webkit-text-stroke: 0px #000000} span.s5 {text-decoration: underline ; font-kerning: none; color: #0000dc} span.s6 {color: #000000; -webkit-text-stroke: 0px #000000} span.s7 {font-kerning: none; color: #000000} span.s8 {text-decoration: underline ; font-kerning: none; color: #0000dc; -webkit-text-stroke: 0px #0000dc} ul.ul1 {list-style-type: disc} ul.ul2 {list-style-type: circle} </style> </head> <body> Ugo Montanari Emeritus Professor聽 <a href="http://www.di.unipi.it/">Dipartimento di Informatica</a>聽 <a href="http://www.unipi.it/">Universit脿 di Pisa</a>聽 <a href="http://www.di.unipi.it/%7Eugo/contact.html">Contact Information</a>聽 Research Areas <ul class="ul1"> <li class="li3">Semantics of Concurrency</li> <li class="li3">Process Description Languages</li> <li class="li3">Constraint Programming</li> <li class="li3">Graph Rewriting Systems</li> <li class="li3">Algebraic and Categorical Models of Concurrency</li> <li class="li3">Models and Languages for Open Distributed Systems</li> </ul> <ul class="ul1"> <li class="li7"><a href="http://www.di.unipi.it/%7Eugo/onepage.txt">Short CV</a></li> <li class="li7"><a href="http://www.di.unipi.it/~ugo/bibliografia.pdf">Bibliography</a></li> <li class="li3">Most papers can be downloaded from the pages of coauthors</li> </ul> Teaching and Professional Service <ul class="ul1"> <li class="li7">February - May 2022: <a href="http://www.di.unipi.it/~ugo/FOC.html">Foundation of Computing (6 CFU).</a></li> <li class="li3">Member of the Editorial Board of the following journals:</li> </ul> <ul class="ul1"> <ul class="ul2"> <li class="li7"><a href="http://www.elsevier.com/locate/cosrev">Computer Science Review</a></li> <li class="li7"><a href="http://fi.mimuw.edu.pl/">Fundamenta Informaticae</a></li> <li class="li7"><a href="http://www.sciencedirect.com/science/journal/03043975">Theoretical Computer Science</a></li> </ul> <li class="li3">Member of the Steering Committee (or equivalent) of the following periodic events:</li> <ul class="ul2"> <li class="li7"><a href="http://www.dimap.ufrn.br/icgt2006/Pages/committees.html">ICGT - International Conference on Graph Transformation</a></li> <li class="li7"><a href="http://wrla08.cs.uiuc.edu/">WRLA - International Workshop on Rewriting Logic and its Applications</a></li> </ul> </ul> Last modified: 14-Feb-2022 E_mail: <a href="mailto:ugo@di.unipi.it">ugo@di.unipi.it</a> </body> </html>