31
The computer science group at the GSSI Main achievements since November 2016 and perspectives Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University 13 November 2017 Luca Aceto CS at GSSI 1 / 14

The computer science group at the GSSI - Main achievements ...icetcs.ru.is/gssi/scientific-committee17.pdf · Matteo Catena: Postdoc at ISTI CNR, Pisa, Italy. Dennis Olivetti: Postdoc

Embed Size (px)

Citation preview

The computer science group at the GSSIMain achievements since November 2016 and perspectives

Luca AcetoGran Sasso Science Institute, L’Aquila, and

ICE-TCS, School of Computer Science, Reykjavik University

13 November 2017

Luca Aceto CS at GSSI 1 / 14

Scientific project and three-year PhD programme

Luca Aceto CS at GSSI 2 / 14

Scientific project and three-year PhD programme

Interacting heterogeneousdistributed systems

Need for research on

algorithmic foundations of(modern) networks,

specification and analysis ofconcurrent reactive systems,and

software systems andservices.

By whom?

Luca Aceto CS at GSSI 2 / 14

CS at GSSI: Students

Forty-two students so far (7/42 female, 14/42 from abroad).

XXIX cycle (since 2013): seven students (three have finishedand the others will defend by December);

XXX cycle (since 2014): nine students (two will finish inDecember);

Luca Aceto CS at GSSI 3 / 14

CS at GSSI: Students

Forty-two students so far (7/42 female, 14/42 from abroad, 9 willhave finished by the end of this year).

XXIX cycle (since 2013): seven students (three have finishedand the others will defend by December);

XXX cycle (since 2014): nine students (two will finish inDecember);

XXXI cycle (since 2015): nine students (all admitted to thethird year);

XXXII cycle (since 2016): nine students (all but one admittedto the second year);

XXXIII cycle (since 2017): eight students including fourfemale and four foreign students (selected from 471applications).

Luca Aceto CS at GSSI 3 / 14

CS at GSSI: Students

Forty-two students so far (7/42 female, 14/42 from abroad).

XXIX cycle (since 2013): seven students (three have finishedand the others will defend by December);XXX cycle (since 2014): nine students (two will finish inDecember);XXXI cycle (since 2015): nine students (all admitted to thethird year);XXXII cycle (since 2016): nine students (all but one admittedto the second year);XXXIII cycle (since 2017): eight students including fourfemale and four foreign students (selected from 471applications).

Facts of life

That’s a sizeable number of students to supervise.It would be desirable to increase the number of foreign and femalestudents.

Luca Aceto CS at GSSI 3 / 14

CS at GSSI: Scientific board of the PhD programme forthe XXXIII cycle

Luca Aceto (Reykjavik University, Iceland)

Antonia Bertolino (ISTI-CNR, Pisa)

Gianlorenzo D’Angelo (GSSI)

Roberto Di Cosmo (Universite Paris Diderot, France)

Beniamino Di Martino (Universita della Campania “L.Vanvitelli”)

Michele Flammini (GSSI and Universita dell’Aquila)

Paolo Prinetto (Politecnico di Torino)

Luca Trevisan (UC Berkeley and Simons Institute for theTheory of Computing, USA)

See the ‘CS-at-GSSI PhD Rules’, also for the rules governing theevaluation of PhD theses in CS.

Luca Aceto CS at GSSI 4 / 14

CS at GSSI: Learning environment

Exciting courses and seminars offered by top-notchresearchers. For example, see the upcoming visits by

Thomas Henzinger (president of IST Austria) andKim G. Larsen.

Regular seminars by external/internal faculty and students.

Training in basic research skills (writing papers, giving talksand reviewing).

Mentoring by, and research cooperation with, facultymembers.

Crucial

Young researchers are provided with early-career autonomy in anurturing environment.

Luca Aceto CS at GSSI 5 / 14

CS at GSSI: Faculty

‘Mr. President, the faculty are notemployees of the University—theyare the University.’ (Isidor Isaac Rabito Dwight D. Eisenhower)

Luca Aceto CS at GSSI 6 / 14

CS at GSSI: Faculty

‘Mr. President, the faculty are notemployees of the University—theyare the University.’ (Isidor Isaac Rabito Dwight D. Eisenhower)

Summary

Two professors, one RTD-B researcher (tenure-track assistantprofessor), one RTD-A researcher (non-tenure-track assistantprofessor) and two postdoctoral researchers.

Luca Aceto CS at GSSI 6 / 14

CS at GSSI: Faculty

‘Mr. President, the faculty are notemployees of the University—theyare the University.’ (Isidor Isaac Rabito Dwight D. Eisenhower)

Summary and preliminary self-assessment

Two professors, one RTD-B researcher (tenure-track assistantprofessor), one RTD-A researcher (non-tenure-track assistantprofessor) and two postdoctoral researchers. We must grow and doso soon and ‘well’ !

Luca Aceto CS at GSSI 6 / 14

Impact on the research community: Alumni

Faculty

Ivano Malavolta: Assistant Professor (tenure track) at VrijeUniversity Amsterdam.

Mattia D’Emidio: RTD-A researcher (non-tenure-trackassistant professor) at the Universita dell’Aquila.

Luca Aceto CS at GSSI 7 / 14

Impact on the research community: Alumni

Students

Alkida Balliu: Postdoc at Aalto University, Finland (from 1January 2018).

Matteo Catena: Postdoc at ISTI CNR, Pisa, Italy.

Dennis Olivetti: Postdoc at Aalto University, Finland (from 1January 2018).

Feliciano Colella: Video game developer at Square EnixEurope, UK.

Lorenzo Severini: Researcher at ISI Foundation, Torino, Italy.

Yllka Velaj: Postdoc at the Universita Chieti-Pescara, Italy.

Cosimo Vinci: Postdoc at the Universita dell’Aquila, Italy.

Yuriy Zacchia Lun: Postdoc at the Universita dell’Aquila, Italy.

Luca Aceto CS at GSSI 7 / 14

Impact on the research community: Alumni

Preliminary self-assessment

There seems to be a market for our alumni in academia andindustry.

Luca Aceto CS at GSSI 7 / 14

Impact on the research community: Awards and honours

Gianlorenzo D’Angelo: Best Italian Young Researcher inTheoretical Computer Science Award 2016 given by the ItalianChapter of the European Association for TheoreticalComputer Science (EATCS).

Omar Inverso: Gold and Silver medals in 2016, and Silver andBronze medals in 2017 in the Concurrency category of theSoftware Verification Competition held at TACAS.

Catia Trubiani: Microsoft Azure Research Award for theproject DESPACE (DEtecting and Solving PerformanceAntipatterns in Cloud Enviroments)

Luca Aceto CS at GSSI 8 / 14

Impact on the research community: Awards and honours

Gianlorenzo D’Angelo: Best Italian Young Researcher inTheoretical Computer Science Award 2016 given by the ItalianChapter of the European Association for TheoreticalComputer Science (EATCS).Omar Inverso: Gold and Silver medals in 2016, and Silver andBronze medals in 2017 in the Concurrency category of theSoftware Verification Competition held at TACAS.Catia Trubiani: Microsoft Azure Research Award for theproject DESPACE (DEtecting and Solving PerformanceAntipatterns in Cloud Enviroments)Luca Aceto (selected):

Member of Academia Europaea and of the Icelandic Academyof SciencesChair of the LIPIcs (Leibniz International Proceedings inInformatics) Editorial BoardInvited speaker at the 8th International Symposium on Games,Automata, Logics, and Formal Verification (GandALF’17) andat Types and Logic in Torino (TLT’17)

Luca Aceto CS at GSSI 8 / 14

Impact on the research community: Best paper awards

Catia Trubiani, Achraf Ghabi and Alexander Egyed.‘Exploiting Traceability Uncertainty between SoftwareArchitectural Models and Performance Analysis Results’,European Conference on Software Architecture, 2015.

Matteo Catena, Craig Macdonald, Iadh Ounis. ‘On InvertedIndex Compression for Search Engine Efficiency’. EuropeanConference on IR Research, Advances in InformationRetrieval, 2014.

Stefano Ruberto, Leonardo Vanneschi, Mauro Castelli, SaraSilva. ‘ESAGP - A Semantic GP Framework Based onAlignment in the Error Space’. European Conference onGenetic Programming, 2014.

Preliminary self-assessment

These are pretty good achievements for a young and small researchteam. More to come!

Luca Aceto CS at GSSI 8 / 14

Impact on the research community: Publications sinceNovember 2016

By numbers (likely an under-approximation)

86 peer-reviewed publications, broken down thus:

Edited volumes: 7

Book chapters: 3

Journal papers: 19

Conference and workshop papers: 57

See this link (under development) for the full list of publicationssince the start of the GSSI adventure.

Luca Aceto CS at GSSI 9 / 14

Impact on the research community: Publications sinceNovember 2016

Qualitative assessment (by proxy)

Journal papers in top journals such as FMSD, Information andComputation, Journal of Software: Practice and Experience,TCS . . .

Conference papers in high-quality conferences, such as AAAI,AAMAS, CONCUR, DISC, ESA, FSTTCS, ICALP, MFCS,SIROCCO, SOFSEM, STACS . . .

Substantial editorial and organizational activity.

See this link (under development) for the full list of publicationssince the start of the GSSI adventure.

Luca Aceto CS at GSSI 9 / 14

Impact on the research community: Events

Events organized at the GSSI

SIROCCO 2019: 26th International Colloquium on StructuralInformation and Communication Complexity (in cooperationwith Universita dell’Aquila).

SEA 2018: 17th International Symposium on ExperimentalAlgorithms.

QUDOS 2017: International Workshop on Quality-AwareDevOps (QUDOS).

SAGT 2017: 10th International Symposium on AlgorithmicGame Theory.

GSSI Summer Meeting on Algorithms 2017: Meeting onAlgorithmic Game Theory, Algorithms, Games and Markets.

GSSI Summer Meeting on Algorithms 2016.

Luca Aceto CS at GSSI 10 / 14

Impact on the research community: Events

Memberships of editorial boards for journals and of programcommittees for conferences and workshops

Editorial and advisory boards of journals/proceeding series: Atleast 5

PC (co-)chairs: 3 in 2017 and 3 in 2018

PC membership: 16 in 2017 and 10 in 2018

Preliminary self-assessment

Our peers seem to think that we are good and trustworthy citizens.

Luca Aceto CS at GSSI 10 / 14

Networking and collaborations

MoUs with other institutions

Aalborg University (about to be signed)

Charles University Prague

George Mason University

Karlsruhe Institute of Technology

Reykjavik University

University of Chicago

Vrije University Amsterdam

Gentleman’s agreements regarding internships with Apple,Fraunhofer CESE, Google, IST Austria and UC Berkeley, amongstmany others.

Luca Aceto CS at GSSI 11 / 14

Networking and collaborations

MoUs with other institutions

Aalborg University (about to be signed)

Charles University Prague

George Mason University

Karlsruhe Institute of Technology

Reykjavik University

University of Chicago

Vrije University Amsterdam

Gentleman’s agreements regarding internships with Apple,Fraunhofer CESE, Google, IST Austria and UC Berkeley, amongstmany others.

Coauthors (source DBLP)

Researchers in the CS group have coauthored publications withover 300 scientists from all over the world.

Luca Aceto CS at GSSI 11 / 14

Networking and collaborations

Preliminary self-assessment

IMHO, we are already punching well above our weight, but there isroom for improvement by achieving critical mass.

Luca Aceto CS at GSSI 11 / 14

Ongoing grants

Ongoing grants (my dote to CS at GSSI)

‘Theoretical foundations formonitorability’ (TheoFoMon), Projectgrant of the Icelandic Research Fund(approx. 200K euros), 2016–2018.

‘Nominal Structural OperationalSemantics’, Project grant of the IcelandicResearch Fund (approx. 240K euros).(Formally over, but funding still availableand research still ongoing)

Luca Aceto CS at GSSI 12 / 14

Ongoing grant applications

Submitted grant applications (approx. 1, 666K euros)

PREMuRA and RASTA PON grant proposals (approx. 400Keuros each for CS at GSSI).

Marie-Curie Individual Fellowship application (Catia Trubiani,approx. 80K euros).

‘Open problems in the equational logic of processes’ (OPEL),Project grant of the Icelandic Research Fund (approx. 457Keuros).

‘Epistemic logic for distributed monitoring’, PostdoctoralFellowship application to the Icelandic Research Fund(approx. 244K euros).

‘Developing theoretical foundations for runtime enforcement’,Doctoral student grant application to the Icelandic ResearchFund (approx. 85K euros).

Luca Aceto CS at GSSI 12 / 14

The future

“Det er svært at spa — især om fremtiden.”

Luca Aceto CS at GSSI 13 / 14

The future

“Det er svært at spa — især om fremtiden.”

Recruitment: We must grow soon and ‘well’ ! How?

We have reached an agreement to hire an associate professorworking in the UK in 2018 (linking FM and SE research).

We plan to open a call for a full professor in the area ofAlgorithms.

There will be calls for several RTD-A and postdoctoralpositions.

Goal: Bring in fresh blood and new perspectives, while maintaininga good degree of scientific integration. (See J. RogersHollingsworth’s research on organizations that make majorbreakthroughs.)

Luca Aceto CS at GSSI 13 / 14

The future

“Det er svært at spa — især om fremtiden.”

Attracting very good students

We will continue extending our network of partner universities.

Joint/double PhD programmes.

Supervising bright master students from neighouringuniversities and opening some of our courses to masterstudents.

Offering internships to bright students from all over the world.

Advertising all our events as broadly as possible.

. . .

Goal: Build a brand name. Our currency is reputation!

Luca Aceto CS at GSSI 13 / 14

Conclusion

The ‘Rogers Hollingsworth playbook’:

Recruitment and promotion

Rich learning environment

Leadership

Organizational flexibility andautonomy (weak rule book)

∞ and beyond!

Thank you!

See http://cs.gssi.it for more information on CS at GSSI.

Luca Aceto CS at GSSI 14 / 14

Conclusion

The ‘Rogers Hollingsworth playbook’:

Recruitment and promotion

Rich learning environment

Leadership

Organizational flexibility andautonomy (weak rule book)

∞ and beyond!

Thank you!

See http://cs.gssi.it for more information on CS at GSSI.

Luca Aceto CS at GSSI 14 / 14