2015 -- Approximate Reasoning for Stochastic Markovian Systems

Project 4181-00360 awarded in June 2015 by The Danish Council for Independent Research.
Starting date - August 2015
Budget - DKK 5,574,000 = EUR 750,000
Collaborators
Prof. Kim Larsen (AAU)
Prof. Prakash Panangaden (McGill, Canada)
Prof. Dexter Kozen (Cornell, USA)
Prof. Luca Cardelli (Microsoft Research Cambridge, UK)
Dr. Robert Furber (AAU)

===============================================================================

2010 -- Sapere Aude: DFF-Young Reserchers

Sapere Aude: DFF-Young Researchers Grant awarded in December 2010 by The Danish Council for Independent Research.
Budget - DKK 950,000 = EUR 128,000
Collaborators
Prof. Kim Larsen (AAU)
Dr. Giorgio Bacci (AAU)
Dr. Giovanni Bacci (AAU)
Elite Research Conference 2011 (EliteForsk Konference) ############################################# My link on Sapere Aude EliteForsk website

===============================================================================

2010 -- Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Individual Research Grant (Project 10-085054) awarded in May 2010 by The Danish Council for Independent Research.
Starting date - October 2010
Budget - DKK 1,728,000 = EUR 233,000
Collaborators
Prof. Kim Larsen (AAU),
Prof. Arne Skou (AAU)
Prof. Luca Cardelli (Microsoft Research Cambridge, UK).

Related Tools:
On-the-fly Exact Computation of Bisimilarity Distances.