Department of Information Technology


to UPMARC members

  • Parosh Abdulla and Bengt Jonsson have, together with two French research colleagues, received the prestigious "CAV award" in 2017. The award is in recognition of their research on verification of correctness for parallel programs and computer systems.
  • The precise motivation reads "Parosh Aziz Abdulla, Alain Finkel, Bengt Jonsson, and Philippe Schnoebelen receive the 2017 CAV Award for the development of general mathematical structures leading to general decidability results for the verification of infinite state transition systems."
  • The four recipients of the CAV award have since the 90-s developed increasingly powerful techniques for verification and bug-finding in parallel programs. Among their most important results are general analysis techniques that have had strong and lasting influence on the field, and shown to be applicable to an impressively large number of verification problems, including the automatic verification of multi-threaded programs and network protocols.
  • Parosh Abdulla and Bengt Jonsson's research has in recent years been conducted under the hood of the UPMARC centre of excellence, where they have developed methods and tools for analyzing parallel programs that execute on multicore processors.
  • The "CAV Award" is given once per year at the annual conference on Computer-Aided Verification, which is the most prominent international conference for research on computer aided verification. The purpose of the award is to recognize influential and prominent research in the area. Parosh Abdulla och Bengt Jonsson received the award dollar together with Alain Finkel and Philippe Schnoebelen, Paris, at this year's conference in Heidelberg.
  • Kim-Anh Tran has January 2017 been awarded an ACM-W scholarship.
  • Kim-Anh Tran has January 2017 been awarded a professional activities grant from the ACM SIGPLAN Professional Activities Committee for attending the International Symposium on Code Generation and Optimization (CGO'17).
  • Pontus Ekberg, has been awarded the Bjurzons Premium "for an excellent treatise in the field of science written by a student or young academic teacher." december 2016. Read about Bjurzons Premium here (in Swedish only).
  • Kim-Anh Tran was awarded the third prize for her work on compiling for energy-efficiency "SWOOP: Software Out-of-Order Execution for In-Order Architectures" in the ACM Student Research competition organised in conjunction with PACT'16. More details about the competition and prizes are available here:


  • Independent Pedagogical Award 2016: David Black-Schaffer has been awarded the Independent Pedagogical Award 2016! The theme was "Integration of digital resources in teaching and learning". The motivation: David Black-Schaffer accounts for a dedicated and enthusiastic integration of digital resources in teaching and learning. The students work actively and are supported in their learning process with very elaborated digital teaching material. With great passion, he develops, uses and renews a "flipped classroom teaching", which he has also shared with students and teachers. This full-scale integration of digital resources stimulates learning and makes the studying fun. [Editor's translation]



Updated  2017-08-14 09:42:58 by Roland Grönroos.