Exploring programming languages at Philip Wadler’s Distinguished Lecture. From Ancient Greece to modern cryptography
Wearing a khaki suit and a Panama hat, Philip Wadler meets his audience for the Distinguished Lecture (Programming Languages) in Agda = Programming (Languages in Agda), organized within the scope of the BIG ERA Chair Project. This time, we got the explorer’s look. For other…
Renata Castelo Branco at the final of the 3MThesis competition with her work on algorithms to draw buildings
How can one use algorithms to draw buildings? That is the question that Renata Castelo Branco, a junior researcher at INESC-ID, from the scientific area Graphics and Interaction, and a PhD student in Computer Engineering at Instituto Superior Técnico, answered to, in three minutes and…
10, 9, 8…Ariane 6 is set for liftoff and we’re onboard
We are on the verge of a new dawn for European space exploration and for Portuguese academia. On its maiden flight, Ariane 6, the new European heavy lift launch vehicle, is carrying our ISTSat-1, the first university CubeSat satellite entirely conceived in Portugal. Handwritten on…
INESC-ID Board members and researchers participate in Summer School on leadership in the age of AI
Artificial Intelligence is forcing us to rethink and reshape everything, from leadership to research and innovation. It presents both a challenge and an opportunity. In this defiant and exciting context, INESC Brussels HUB is inviting 25 top R&I administrators, managers, researchers, and policymakers from across…
Tackling EU’s AI Act regulation challenges: PLMJ and INESC-ID sign collaboration protocol
On May 14, the law firm PLMJ and INESC-ID established a protocol to collaborate, each bringing their unique expertise, in developing and implementing specific programs to ensure that AI systems comply with the standards of the new European Union’s Artificial Intelligence Regulation, the world’s first…
Advancing Monitoring of Pandemics and Contagious Diseases: M.U.S.T and GMU visit INESC-ID
A delegation of experts from the Macau University of Science and Technology (M.U.S.T) and Guangzhou Medical University (GMU) visited INESC-ID on May 17. The delegation was interested in learning about INESC-ID, as part of a collaboration between the three entities for the advancement of health…
INESC-ID’s researcher awarded a Fulbright scholarship to advance cancer treatment
When the gene editing technology, known as CRISPR-Cas, has come to light, a small revolution in the way we manage illness has started to happen. The potential to diagnose and treat health conditions, such as cancer, exponentially increases when Artificial Intelligence is incorporated. That’s exactly…
Fostering Collaboration for Technological Advancements: A Partnership Between SGInnovate and INESC-ID
It is one of the largest markets in the world, making the collaboration between SGInnovate, a leading Singaporean government-backed organization, focused on deep tech innovation, and INESC-ID an excellent opportunity to foster partnerships and drive technological advancements with societal impact. “Innovation knows no borders, and…
In the Media: Luísa Coheur discusses AI emergence in classrooms with Público newspaper
INESC-ID researcher Luísa Coheur* and professor at Técnico has recently been interviewed by national newspaper, Público, about artificial intelligence (AI) integration in classrooms and the challenges it presents to teachers. Joined by several fellow educators, Luísa Coheur’s highlighted the rise in the use of AI…
Advancing Compiler Technology: Nuno Lopes receives Google Research Scholar Award with Alive2 Project
Nuno Lopes*, researcher at INESC-ID and professor at the Department of Informatics at Técnico, received the prestigious and highly competitive Google Research Scholar Award, which includes a grant of $60,000. The award was given for his research in the area of automatic verification of compilers,…