Open PhD Positions in ICT at the University of L’Aquila (Italy)

The PhD Program in ICT at the University of L’Aquila offers the following two scholarships:

1) Machine learning techniques for systems with limited computing resources and extremely low energy consumption, applied to multi-sensor microsystems
Development of Machine Learning (ML) techniques for applications in integrated multi-sensors, applied in multiple contexts. Identification and implementation of on-chip and ad-hoc ML algorithms that can guarantee smart functionality in the identified application contexts and minimise power dissipation in the computational phases.

2) Software efficiency through the use of Machine Learning techniques
The objective of the proposed research consists of:

  • Devising new approaches that, through the use of ML, allow you to create energy-efficient software configurations;
  • Analyzing the energy cost associated with the use of the ML itself;
  • Proposing trade-off analysis solutions;
  • Conducting empirical experiments to validate the goodness of the
    techniques identified.

The topics stem from the richness of research interests of faculties in our department (http://www.disim.univaq.it/main/index.php), in the Center of Excellence DEWS (http://www.dews.ing.univaq.it/index.php?id=dewshome), and in the Center of Excellence EX_EMERGE (http://exemerge.disim.univaq.it/), which combine Information Engineering, Computer Science and Mathematics.

Our PhD program in ICT also offers an opportunity to spend training periods in worldwide renowned schools having a formal institutional agreement with the University of L’Aquila, such as the University of California at Berkeley, the University of California at Los Angeles, Swedish Royal Institute of Technology (KTH), ETH Zurich, University College London, Carnegie Mellon University, University of Cambridge, Universitat Politecnica de Catalunya, Karlsruhe Institute of Technology, University of Tabriz, Tianjin University.

Our PhD students will also enjoy a wide choice of courses and a rich schedule of seminars held by scientists of international reputation (http://phdict.disim.univaq.it/courses-and-seminars)

The deadline to submit your application is 28/10/2021

Call for applications:

[DEWS Colloquia] A mathematical model of the G1/S transition for the budding yeast

Speaker: Prof. Pasquale Palumbo (University of Milano-Bicocca, Italy)

Title: A mathematical model of the G1/S transition for the budding yeast

Abstract: In budding yeast, overcoming of a critical size to enter S phase and the mitosis/mating switch—two central cell fate events—take place in the G1 phase of the cell cycle. Here we present a mathematical model of the basic molecular mechanism controlling the G1/S transition, whose major regulatory feature is multisite phosphorylation of nuclear Whi5. Cln3–Cdk1, whose nuclear amount is proportional to cell size, and then Cln1,2–Cdk1, randomly phosphorylate both decoy and functional Whi5 sites. Full phosphorylation of functional sites releases Whi5 inhibitory activity, activating G1/S transcription. Simulation analysis shows that this mechanism ensures coherent release of Whi5 inhibitory action and accounts for many experimentally observed properties of mitotically growing or conjugating G1 cells. Cell cycle progression and transcriptional analyses of a Whi5 phosphomimetic mutant verify the model prediction that coherent transcription of the G1/S regulon and ensuing G1/S transition requires full phosphorylation of Whi5 functional sites

When: Monday June 28th 2021 from 14.30 to 15.30

Where: Webex as follows:

Join from the meeting link
https://univaq.webex.com/univaq-en/j.php?MTID=m485669a2b24160fdfdab13dfd26b7a6a

Join by meeting number
Meeting number (access code): 137 408 1857
Meeting password: HNhbkggr644

Tap to join from a mobile device (attendees only)
+39-069-974-8087,,1374081857## Italy Toll
+390230410440,,1374081857## Italy Toll 2

Join by phone
+39-069-974-8087 Italy Toll
390230410440 Italy Toll 2

Join from a video system or application
Dial 1374081857@univaq.webex.com
You can also dial 62.109.219.4 and enter your meeting number.

[COURSE] Development of recommendation systems in software engineering: challenges and lessons learned

Lecturer: Prof. Davide Di Ruscio

Abstract: Open-source software (OSS) forges contain rich data sources useful for supporting development activities. Several techniques and tools have been promoted to provide open-source developers with innovative features, aiming to obtain improvements in development effort, cost savings, and developer productivity. In the context of the EU H2020 CROSSMINER and TYPHON projects, different recommendation systems have been conceived to assist software programmers in different phases of the development process by providing them with various artifacts, such as third-party libraries, or documentation about how to use the APIs being adopted, or relevant API function calls. To develop such recommendations, various technical choices have been made to overcome issues related to several aspects, including the lack of baselines, limited data availability, decisions about the performance measures, and evaluation approaches. This lecture introduces Recommendation Systems in Software Engineering (RSSE) and describes the challenges that have been encountered in the context of the CROSSMINER and TYPHON projects. Specific attention is devoted to present the intricacies related to the development and evaluation techniques that have been employed to conceive and evaluate the CROSSMINER recommendation systems. The lessons that have been learned while working on the project are also discussed.

 

Content

  • Lecture 1, 20/07/2021 21/07/2021, 10:00-13:00:  Development of complex software systems by reusing third-party open-source components. [Join the lecture]
  • Lecture 2, 22/07/2021, 10:00-13:00: The recommendation systems developed in the CROSSMINER and TYPHON projects [Join the lecture]

 

Related literature

  1. P. Robillard, W. Maalej, R. J. Walker, e T. Zimmermann, A c. di, Recommendation Systems in Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. doi: 10.1007/978-3-642-45135-5.
  2. Juri Di Rocco, Davide Di Ruscio, Claudio Di Sipio, Phuong T. Nguyen, Riccardo Rubei, “Development of recommendation systems for software engineering: the CROSSMINER experience” Empirical Software Engineering (EMSE), 2021, pre-print https://arxiv.org/abs/2103.06987
  3. Phuong T. Nguyen, Juri Di Rocco, Claudio Di Sipio, Davide Di Ruscio, Massimiliano Di Penta “Recommending API Function Calls and Code Snippets to Support Software Development” IEEE Transactions on Software Engineering (TSE), 2021, ISSN: 1939-3520, DOI: 10.1109/TSE.2021.3059907
  4. Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, Massimiliano Di Penta, “CrossRec: Supporting Software Developers by Recommending Third-party Libraries” Journal of Systems and Software (JSS), 2020, ISSN: 0164-1212, DOI: 10.1016/j.jss.2019.110460
  5. Phuong T. Nguyen, Juri Di Rocco, Riccardo Rubei, Davide Di Ruscio, “An Automated Approach to Assess the Similarity of GitHub Repositories” Software Quality Journal (SQJ), 2020, ISSN: 0963-9314, DOI: 10.1007/s11219-019-09483-0
  6. Andrea Capiluppi, Davide Di Ruscio, Juri Di Rocco, Phuong T. Nguyen, Nemitari Ajienka, “Detecting Java Software Similarities by using Different Clustering Techniques” Information and Software Technology (IST), 2020, ISSN: 0950-5849, DOI: 10.1016/j.infsof.2020.106279
  7. Riccardo Rubei, Claudio Di Sipio, Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, “PostFinder: Mining Stack Overflow posts to support software developers” Information and Software and Technology (IST), 2020, ISSN: 0950-5849, DOI: 10.1016/j.infsof.2020.106367
  8. Phuong T. Nguyen, Juri Di Rocco, Davide Di Ruscio, Lina Ochoa, Thomas Degueule, Massimiliano Di Penta, “FOCUS: A Recommender System for Mining API Function Calls and Usage Patterns” In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, DOI: 10.1109/ICSE.2019.00109

Neuro-symbolic Liveness Verification

Speaker: Dr. Mirco Giacobbe (University of Oxford, UK)

Title: Neuro-symbolic Liveness Verification

Abstract: Liveness verification answers the question of whether a system always responds with desirable behavior or, dually, never gets stuck without responding at all. For dynamical systems, this relates to the stability question; for computer programs, it relates to the halting problem. I will talk about a novel method for constructing liveness proofs by learning witnesses (Lyapunov and ranking functions) from data using neural networks combined with symbolic reasoning. I will talk about how we apply this neuro-symbolic approach to the stability analysis of dynamical systems, to the termination analysis of Java programs, and to the almost-sure termination analysis of probabilistic programs.

When: Friday June 11th 2021 from 14.30 to 15.30

Where: Webex as follows:

Join from the meeting link
https://univaq.webex.com/univaq-en/j.php?MTID=m8cda8ceca3433cd9cea34cf6cd8749b1

Join by meeting number
Meeting number (access code): 137 780 9599
Meeting password: trZmujpx282

Tap to join from a mobile device (attendees only)
+39-069-974-8087,,1377809599## Italy Toll
+390230410440,,1377809599## Italy Toll 2

Join by phone
+39-069-974-8087 Italy Toll
390230410440 Italy Toll 2

Join from a video system or application
Dial 1377809599@univaq.webex.com
You can also dial 62.109.219.4 and enter your meeting number.

Advanced School on Complex Networks and Telecommunications focused on the transition from 5G to 6G

Where and when: Lake Como School of Advanced Studies, 5-9 July 2021

After the successful 2018 edition and the unfortunate cancellation in 2020 due to the pandemic situation, we are glad to announce the second edition of the Advanced School on Complex Networks and Telecommunications focused on the transition from 5G to 6G. The school will cover some selected hot topics in the evolution of telecommunications networks. All speakers have worldwide recognition of being at the top in their fields so as the event is projected to be of a very high level.

We will have a half day on Monday afternoon with introductory topics and trends at large. The remaining three and a half days will be centered respectively on

– Semantic communications
– New network architectures
– Artificial intelligence

Slots will be reserved for attendees willing to present and discuss their research activity.

On Friday afternoon an exam will be organized for all those who will need credits.

More information can be found on the school web page
https://cntc2020.lakecomoschool.org/

We strongly believe that direct interaction cannot be replaced by online meeting, therefore to foster interaction and resume normal activity after the lockdown, the event will be organized in mixed mode: both online and onsite. For more information see the registration page.

List of speakers: Alexandropoulos George, Barbarossa Sergio, Belfiore Jean-Claude, Calvanese Strinati Emilio, D’Angelo Egidio, Debbah Merouane, Jornet Josep, Krikidis Ioannis, Neglia Giovanni, Sciancalepore Vincenzo, Zorzi Michele.

Course on “Thresholds for a SIR Model on One-Dimensional Small-World Networks”

Schedule: 11 May 2021, 14:00 GMT/16:00 Italian time

Virtual linkhttps://us02web.zoom.us/j/83390778311

Speaker: Andrea Clementi (Università di Roma “Tor Vergata”)

TITLE: Sharp Thresholds for a SIR Model on One-Dimensional Small-World Networks

ABSTRACT: After a short overview of the basic notions of the classic Susceptible-Infectious-Recovered (SIR) epidemic model in the fully-mixed scenario, we review some fundamental results of the discrete-time version of the SIR model, known as Reed-Frost model, in some simple network topologies. We then consider the the Reed-Frost model over “small-world” graphs, in which graphs are obtained by adding random edges to a cycle. In 3-regular graphs obtained as the union of a cycle and a random perfect matching, we show that there is a sharp threshold at 0.5 for the contagion probability along edges. In graphs obtained as the union of a cycle and of an Erdos-Renyi random graph with n nodes and edge probability c/n, we show that there is a sharp threshold p_c for the contagion probability: the value of p_c turns out to be about 0.41 for the sparse case c=1 yielding an expected node degree similar to the random 3-regular graphs above. In both models, below the threshold we prove that the infection only affects O(log n) nodes, and that above the threshold it affects Omega(n) nodes. These are the first fully rigorous results establishing a phase transition for SIR models (and equivalent percolation problems) in small-world graphs. Although one-dimensional small-world graphs are an idealized and unrealistic network model, a number of realistic qualitative phenomena emerge from our analysis, including the spread of the disease through a sequence of local outbreaks, the danger posed by random connections, and the effect of super-spreader events. This is a joint research with Luca Becchetti, Riccardo Denni, Francesco Pasquale, Luca Trevisan, and Isabella Ziccardi.

BIO:  Andrea Clementi is Professor of Computer Science at the University of Rome “Tor Vergata”. He graduated with honors in Mathematics and got the PhD in Computer Science at Sapienza University of Rome. He was a researcher at Sapienza University of Rome and at the University of Geneva. He is now teaching the courses “Algorithms and Data Structures” and “Distributed Algorithms and Complex Networks” in the Degree Program in Computer Science of the University of Rome “Tor Vergata”. He is currently a member of the Doctoral College in Engineering and Information Sciences of the University of L’Aquila. His current scientific interests are in algorithm theory and applied probability, in particular, in the modeling and analysis of stochastic processes of distributed systems. He has published more than ninety articles in major international journals and conference proceedings.

Corso EURES per la mobilità

Si terrà nel mese di maggio 2021 all’Università degli Studi dell’Aquila, all’interno del Dottorato di Ricerca in Ingegneria Industriale e dell’Informazione e di Economia, la II° edizione del corso “EURES: La mobilità una regola non più un’eccezione”, organizzato dal Servizio EURES della Regione Abruzzo in collaborazione con il Coordinamento Nazionale EURES-ANPAL.

Il corso è stato realizzato per la prima volta nel 2018, vedendo la partecipazione di allievi di diversi Corsi di Dottorato dell’Ateneo aquilano e riscuotendo un grande interesse da parte di tutti i partecipanti. L’iniziativa ha inoltre ottenuto diversi riconoscimenti a livello europeo, trattandosi del primo corso universitario che in Europa ha coinvolto la rete EURES . Il progetto è stato considerato una “best-practice”, non solo in termini di comunicazione e promozione della rete europea del lavoro, ma
anche di integrazione formale della stessa nei sistemi di istruzione e formazione accademica.

Obiettivo del corso, strutturato in 5 giornate e le cui lezioni si svolgeranno il 6-7, 13-14 e 21 maggio, è quello di fornire una adeguata conoscenza degli strumenti e opportunità in grado di favorire il trasferimento in un altro paese per motivi di studio, formazione o lavoro. Pertanto saranno trattati diversi argomenti inerenti il tema della mobilità transnazionale: la normativa, l’organizzazione e i servizi della Rete EURES, i progetti di mobilità europea e le misure di finanziamento, le opportunità di tirocinio e carriera nelle istituzioni e agenzie europee, l’acquisizione delle competenze trasversali, il riconoscimento delle qualifiche professionali e dei titoli di studio nell’Unione Europea, la sicurezza sociale, la tassazione e la legislazione connesse alla libera circolazione dei lavoratori nell’UE, gli aspetti principali del fenomeno migratorio italiano e del sistema di rappresentanza degli Italiani all’estero, nell’ottica di fornire agli studenti un quadro piuttosto completo del concetto di mobilità e degli elementi
pratici e strumenti concreti per approcciarsi ad esperienze di lavoro e formazione in ambito europeo.

Il corso vedrà la partecipazione di rappresentanti del Coordinamento
Nazionale EURES, della rete dei Consulenti EURES italiani e della Danimarca, Svezia, Irlanda, Olanda, Francia, Portogallo, Germania, oltre che di esperti dell’emigrazione e Responsabili nazionali di reti e programmi europei a supporto della mobilità, quali Europass, Euroguidance, EQF-Quadro europeo delle qualifiche professionali, Eurodesk, Euraxess,
Europe Direct, Erasmus Giovani Imprenditori, Erasmus+).

[Locandina con dettagli per la connessione]

 

Coure “LMIs for Optimization and Control”

This year we are happy to host a EECI school in control at L’Aquila. Given the pandemic situation unfortunately the course will be given online.
 
The course is entitled
 
“LMIs for Optimization and Control”
 
and will be given by
 
Professor Didier Henrion
http://homepages.laas.fr/henrion
 
All information regarding the contents of the course and the time table are here:
 
 
The course will be given online with Zoom, you can find the connection details below.
 
Time: Apr 26, 2021 09:30 AM Paris
         Every day, 5 occurrence(s)
         Apr 26, 2021 09:30 AM
         Apr 27, 2021 09:30 AM
         Apr 28, 2021 09:30 AM
         Apr 29, 2021 09:30 AM
         Apr 30, 2021 09:30 AM


Join Zoom Meeting
https://zoom.us/j/95988136379?pwd=NHA0eVlmOEJwamViMENiZGRWdEdwQT09

Meeting ID: 959 8813 6379
Passcode: 611995
One tap mobile
+13017158592,,95988136379#,,,,*611995# US (Washington DC)
+13126266799,,95988136379#,,,,*611995# US (Chicago)

Dial by your location
         +1 301 715 8592 US (Washington DC)
         +1 312 626 6799 US (Chicago)
         +1 346 248 7799 US (Houston)
         +1 669 900 6833 US (San Jose)
         +1 929 205 6099 US (New York)
         +1 253 215 8782 US (Tacoma)
Meeting ID: 959 8813 6379
Passcode: 611995
Find your local number: https://zoom.us/u/abxCvIUNxj