Awards and Honours
Below we present the awards and honours that have been bestowed on the department's staff and students during 2017. Lists of prices awarded earlier years are archived on the pages for research, education and other awards.
CAV award 2017
- 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.
2018 IEEE Fourier Award for Signal Processing
Peter Stoica has been named the recipient of the 2018 IEEE Fourier Award for Signal Processing. The Fourier Award is IEEE's most prestigious Technical Field Award for signal processing, awarded for an outstanding contribution to the advancement of signal processing, other than in the areas of speech and audio processing. You can read more about the award here.
Best paper award at DCOSS 2017
Kasun Hewage and Thiemo Voigt, together with Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama and Kasun De Zoysa from the University of Colombo, Sri Lanka, were awarded the Best Paper Award for their article "Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors" at the 2017 International Conference on Distributed Computing in Sensor Systems (DCOSS 2017).
SWEDTRAIN Degree Award
Malin Jakobsson and Amanda Lidström from the Masters programme in Engineering in Technology and Society are winners of the SWEDTRAIN Degree Work Competition 2017. Kjartan Halvorsen was the subject reviewer for the work entitled "Station Option for a Future High-Speedway - Simulation of Track Solutions and Traffic Suggestions". The entire paper is available here.
Wallenberg Foundation Postdoctoral Scholarship Program at Stanford
Ingvar Carlsson Award
Fredrik Lindsten has been awarded the prestigious Ingvar Carlsson Award by the Foundation for Strategic Research (SSF) for his project "Probabilistic models and methods of machine learning." Learn more about the Ingvar Carlsson Award at the SSF website.
Best Readings in Internet of Things
Professional activities grant
Kim-Anh Tran was awarded a professional activities grant from the ACM SIGPLAN Professional Activities Committee in January 2017 for attending the International Symposium on Code Generation and Optimization (CGO'17).
Uppsala University’s Rudbeck Medal
Peter Stoica has been honoured with the 2017 Uppsala University Rudbeck Medal "for extraordinarily prominent achievements in science, to be conferred primarily for such accomplishments or findings attained at Uppsala University."
The motivation reads: Peter Stoica is a master at using theoretical models to describe the spectral appearance of signals. His broad interests include issues such as wireless communications, microwave imaging in locating breast cancer, radar signals, signals from landmines, to name a few. Stoica is one of the world's most cited scientists in the field of engineering sciences and has contributed with important textbooks for our education.