Next: Personal Record Up: Curriculum vitae Previous: Invited Seminar and Conference Contents
In 2017, I attended in Portugal a summer school on probabilistic programming which was the 1st edition of the “School on Foundations of Programming and Software systems” which is jointly funded by EATCS, ETAPS, ACM SIGLOG, and ACM SIGPLAN.
Scientific visits include: Mark Harman's group in London, at King's College (July 2009) and University College (May 2012 and August 2013 and July 2017), Bob Muller at Boston College (May/June 2003), Michele Bugliesi at Universita` “Ca Foscari”, Venezia (April 2001), Lone Leth & Bent Thomsen at ECRC Munich (April 1996) and ICL London (November 1996), Mitch Wand at Northeastern University, Boston (January 1995).
Outreach includes team visits (June 2006 & June 2007 & October 2007) to Rockwell Collins' Advanced Technology Center in Cedar Rapids, Iowa, who has funded research done by our team (led by John Hatcliff).