Franco Raimondi

Research (model checking, multi-agent systems) and teaching

Menu

Skip to content
  • Home
  • Blog
  • Research Interests
  • Publications
  • Software
    • Mc-COGWED
  • Teaching
  • Misc
    • Cycling: from London to Italy
      • 18 July: London to Dover and then ferry to Calais
      • 19 July: Calais to Tournai
      • 20 July: Tournai to Givet
      • 21 July: Givet to Boismont
      • 22 July: Boismont to Luneville
      • 23 July: Luneville to Ensisheim
      • 24 July: Ensisheim to Zurich
      • 25 July: Zurich to Chur
      • 26 July: Chur to Dervio
    • Cycling: from London to Italy 2016
      • 01 July: London to Calais
      • 02 July: Calais to Tournai
      • 03 July: Tournai to Givet
      • 04 July: Givet to Boismont
      • 05 July: Boismont to Luneville
      • 06 July: Luneville to Renguisheim
      • 07 July: Reguisheim to Schleinikon
      • 08 July: Schleinikon to Chur
      • 09 July: Chur to Dervio
      • 10 July: Dervio to Brescia
      • 11 July: Brescia to Revere
      • 12 July: Revere to Ravenna
      • 13 July: Ravenna to Senigallia
      • 14 July: Senigallia to Tolentino
      • 15 July: Tolentino to Pescara
      • 16 July: Pescara to Termoli
    • Motorcycling: from London to Italy, Croatia, Bosnia and back

Misc

I like to go running at lunch time, 6 to 15 km depending on weather and time available. There are various routes around Middlesex University (and there are showers in the gym). This is an example:

http://connect.garmin.com/activity/144062074

Drop me an email if you want to join me.

I also enjoy cycling. Check this page if you want to know more.

If you are curious, check my Garmin Connect profile at https://connect.garmin.com/modern/profile/galet74 and Strava profile (see below)

About


I am a Professor of Computer Science at Middlesex University, London.

Address:
The Burroughs
London NW4 4BT, UK
Tel: +44(0)2084116338

Email:
f dot raimondi (at) mdx dot ac dot uk

Office hours: Monday 14:00-16:00 (but please email me to book an appointment)

GPG public key

Last Tweets

  • RT @AmazonScience: At @PLDI, scientists from Amazon @PrimeVideo presented an automated-reasoning method for computing the “cost”—in te… https://t.co/lKkqvFoGXO #,
  • RT @DjordjeZikelic: Excited to present our paper "Differential Cost Analysis with Simultaneous Potentials and Anti-potentials" at @PLDI… https://t.co/UsAQKe6jiB #,
  • RT @byroncook: Multiple jobs, multiple locations: https://t.co/4NART8nJTc #,
  • RT @neharungta: Start working on your FMCAD 2022 papers! Call for papers is out https://t.co/8p91Wo7T7y #,
  • Lecturer / Senior Lecturer (2 positions) at Middlesex University: https://t.co/AU1w5Sn7ht https://t.co/WJH77eVma6 P… https://t.co/2taF6tU0Gr #,

Recent Comments

  • Beppe Deo on 26 July: Chur to Dervio
  • Dave Gilbert on An interesting problem with my socks
  • nasia on Some experiments with PostgreSQL and simple Twitter analysis
  • One week to the General Elections: some Twitter analysis | Middlesex Applied Software Engineering on Some experiments with PostgreSQL and simple Twitter analysis
  • Piotr on Choose a random function from a list in Racket
Proudly powered by WordPress