Nuno Lopes receives research grants from Google and Woven Alpha
Nuno Lopes — researcher within the High Performance Computing Architectures and Systems Research Area at INESC-ID and Associate Professor at the Department of Computer Science and Engineering at Instituto Superior Técnico — has been awarded research grants from Google and Woven Alpha (a subsidiary of Toyota) worth €35,000 and $30,000, respectively.
The grant from Woven Alpha will fund Alive2, a project that Lopes has been leading for several years and aims at verifying that a compiler — a computer program that translates computer code across programming languages — is working correctly. “Toyota uses LLVM (the compiler supported by Alive2) to compile the code for the cars, so they want to ensure that the generated code is correct,” Lopes explains. “For example, a bug in the compiler can cause an accident in a car because the code will behave differently from what was programmed. Alive2 has already found over a hundred bugs in LLVM and now continues to ensure that new bugs are not introduced into the compiler.” With this grant Lopes expects to increase the scope of Alive2 by supporting loop optimizations.
The Google grant, on the other hand, will fund a new project, also in the area of compilers, meant to improve interoperability between C++ and Rust, two popular programing languages. As Lopes puts it, “Rust is a newer, more secure language than C++. On the other hand, it is impossible to rewrite all the C++ code that exists. Thus, we intend to investigate the best way for libraries developed in both languages to work together easily and safely.”
Both companies offer these grants to encourage research in the area of compilers and train more people in it, Lopes comments, recognizing this as a challenging area to recruit people in. As Lopes explains, research on compilers “is a very important area of computing because we want software to be written in increasingly high-level languages in order to increase programmers’ productivity, but also to allow non-programmers to write small programs. On the other hand, we want the code to run fast, take up little space, and be secure. It’s a huge challenge that compilers have to solve.”
And what do grants from Google and Woven Alpha mean for a researcher at Nuno Lopes’ career stage? “These [grants] are very important to me because I joined the academic world (and IST) only in January of this year. Before, I was working in the industry outside the country (at Microsoft Research). These grants allow me to have [some funds] to start activities at IST, namely to hire students and buy equipment.”
High Performance Computing Architectures and Systems is one the eleven Research Areas at INESC-ID. For more details on these eleven areas, covering a wide range of topics in Computer Science and Engineering and Electrical and Computer Engineering, please pop over to our website.
Rui Filipe Fernandes Prada: “Agregação” (Habilitation) in Computer Science and Engineering
Rui Filipe Fernandes Prada, INESC-ID researcher within the Artificial Intelligence for People and Society Research Area and Associate Professor at the Department of Computer Science and Engineering of Instituto Superior Técnico, will present a course unit report and a seminar in order to be awarded his Agregação (Habilitation) in Computer Science and Engineering on 28th and 29th June 2022.
Rui Prada will present the course unit report titled Specialisation in Games at 08:30am on 28th June 2022 (available on Zoom), followed by the seminar Human–Agent Interaction – Building Socially Intelligent Agents in
Games at 08:30am on 29th June 2022 (available on Zoom).
More details are available here.
ESSIR 2022: 13th European Summer School in Information Retrieval
This year’s edition of ESSIR, a 5-day teaching event on Information Retrieval (IR) and related research topics, will take place between 18-23 July 2022. The event is organized by NOVA LINCS (FCT UNL), INESC ID and Universidad Autónoma de Madrid with the support of the CMU Portugal Program and BCS, the Chartered Institute for IT.
The event will also incorporate the new edition of the Symposium on Future Directions in Information Access (FDIA), which will provide a forum for early researchers to present their research in a friendly environment, while among senior researchers.
The summer school is addressed to students, Master’s students, Ph.D. Researchers, Industry and Academia practitioners. No deep previous knowledge of IR or ML is required, but the attendants are assumed to have some basic computer science and mathematics background.
The Summer School will be held at the Faculty of Social and Human Sciences (FCSH) of the Universidade Nova de Lisboa.
The early registration deadline is June the 15th 2022, and the application form is available online.
EPIA’22: EPIA Conference on Artificial Intelligence
The EPIA Conference on Artificial Intelligence is a well-established European conference. The 21st edition of the EPIA conference will take place at Instituto Superior Técnico by 2022.
As in previous editions, this international conference is hosted with the patronage of the Portuguese Association for Artificial Intelligence (APPIA).
The purpose of this conference is to promote research in all areas of AI, covering both theoretical/foundational issues and applications, and the scientific exchange among researchers, engineers and practitioners in related disciplines.
For further details please visit the EPIA’22 website.