Ten PhD positions in Computer Science at GSSI – L’Aquila (Italy)

The Gran Sasso Science Institute (GSSI – http://www.gssi.infn.it/ ), a recently established international PhD school and a Center for advanced studies in L’Aquila (ITALY), offers 10 PhD positions in Computer Science (CS). The PhD program in CS is mainly concerned with heterogeneous distributed systems and their interactions. Different perspectives are offered to provide students with […]

Continue reading


GSSI Lectures from Radu Calinescu

Quantitative Verification for Software Performance Engineering Quantitative verification is a mathematically based technique for analysing the correctness, reliability, performance and other quality-of-service properties of systems characterised by stochastic behaviour. This two-lecture course will cover the use of the technique in software performance engineering at design and run time, with an emphasis on advanced topics linked […]

Continue reading


Seminar from Lorenzo Bettini

Monday 16th May, 2016 – GSSI – Main Room (16:00 – 18:00) Tuesday 17th May, 2016 – GSSI – Main Room (09:30 – 12:30) Title: “An Intro/Demo to Xtext” Abstract: Xtext is an Eclipse framework for the development of DSLs (Domain Specific Languages) that covers all aspects of a language implementation, including its integration in the […]

Continue reading


GSSI Seminar, Dr. Daniel J. Dubois, September 16, 11:30 am

Date: Wednesday September 16, 11:30 a.m. Place: GSSI Room D, ground floor Speaker: Dr. Daniel J. Dubois (Imperial College, London, UK) Title: Performance Optimization in the Cloud for Spot and Burstable Resources Abstract: In recent years some of the main cloud providers are offering new pricing models for renting their resources. The most popular ones […]

Continue reading