CAV Award for Robert Nieuwenhuis and Albert Oliveras

Every year the International Conference on Computer-Aided Verification (CAV) gives the CAV Award (except in 2020 due to the pandemic) for fundamental contributions to the field of Computer-Aided Verification. Specifics vary for each year.

In 2021, the CAV Award recognizes the pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT) and has been awarded to 21 great researchers.

It is our pleasure and pride that two researchers of the CS department of UPC are among them: professors Robert Nieuwenhuis and Albert Oliveras.

The whole list of awardees of 2021 can be found in:

Our warm congratulations to all the recipients.

Scheduled IT maintenance December 7th

Due maintenance needs, Monday the 7th of December, from 8am to 17h all /rdlab services will be unavailable. Please keep this date in mind.

Affected services:

  • MyDisk
  • Mytalk
  • HPC system
  • Research groups websites
  • Jutge, ModelJutge, RACSO and Solver platforms
  • Databases, SVN, Git…

Please, do not hesitate to contact us for further information

Sergi Oliva, new assistant coach of the Utah Jazz

Sergi Oliva, PhD. in Computer Science in our department (2014, advisor Albert Atserias), has accepted a coaching position with the NBA team Utah Jazz.

In 2014 Sergi left our department to join Philadelphia 76ers first as data analyist, but after a few years he was promoted to VP of Strategy, a position that he has left now to join the Utah Jazz.

Good luck Sergi with your new challenge!

More information here

UPC’s 50th anniversary

The opening ceremony of the 2020–2021 academic year at Catalan universities has been hosted remotely by the Universitat Politècnica de Catalunya – BarcelonaTech. 

It has featured speeches by the secretary for Universities and Research, Francesc Xavier Grau; the rector, Francesc Torres; the chair of the Board of Trustees, Ramon Carbonell; and the general secretary of the UPC, Margarida Espona, who has presented a report on the 2019–2020 academic year at the University. The event has also be attended by the general secretary for the Interuniversity Council of Catalonia, Josep Ribas i Seix.

More information at:

Connecta 19: A UPC initiative for the Covid 19 pandemic emergency

The /rdlab has been deeply involved in the Connecta 19 initiative, a collaboration between the UPC Technical School of Telecommunications Engineering, their students, the research and development lab (/rdlab) and the Catalan Government health agency.

With the Covid19 pandemic emergency and the patient isolation needs, most medical services collapsed. Hence, the communication process between hospital and families was difficult adding an extra pain to this terrible disease.

Connecta 19 provides an effective platform (mobile app and web services) to connect hospitalize’s relatives and M.D staff. Offering an accurate and up to date information about the patient health status.

This project has been academically released as PAE (Projectes Avançats d’Enginyeria) and can be found here.

Telecommuting experiences workshop at RedIRIS

RedIRIS, the Spanish academic and research network that provides advanced communication services to the scientific community and national universities, organizes several workshops about Telecommuting experiences due to the Coronavirus home confinement.

The /rdlab will share his platforms and services to provide worldwide access for researchers.

More detailed information here: