His work, “An unexpected Boolean connective”, was awarded ex aequo to the paper “k-Provability in PA” by Paulo Guilherme Santos and Reinhard Kahle (both from FCT, Universidade Nova de Lisboa).
“Although Professor Amílcar Sernadas was not directly my professor, I must say his academic and scientific life deeply influenced mine”, said Sérgio Marcelino.
“Receiving this distinction is an honour for me. It is a strong incentive to continue to pursue the research on understanding the complexity of logical reasoning and its applications, to which I have been dedicating my life, and an excellent opportunity to disseminate its fruits”.
Sérgio Marcelino is a member of IT’s Security and Quantum Informations Group (SQIG), which focuses on logic and computation with an emphasis on the fields of information security and quantum computation and information.
The Amílcar Sernadas Logic Prize was established in 2020 by Instituto Superior Técnico, with the support of the Mathematics Department and IT, to distinguish unpublished papers in the area of Logic.
It honors the memory and academic career of Professor Amílcar Sernadas, and celebrates the significant scientific contributions he made in the areas of Logic and Foundations of Computer Science.
The prize is included in the initiative “One logic prize in every country”, that emerged from the series of conferences UNILOG (World Congress and School in Universal Logic), which aim to encourage and promote the development of Logic research worldwide. The winners receive 1,000 euros, intended to support the presentation of the winning papers in the UNILOG conference.https://math.tecnico.ulisboa.pt/pacs/index.php?lang=en
The president of the national space agency met with IT researcher Rui Rocha, coordinator of the ISTSat-1 project, as well as university students who are working towards the launch of the satellite, expected to take place this summer.
“I am here to see if this project can be part of the programs and initiatives we have at a national level, and particularly in our upcoming challenge which is a satellite constellation for the Atlantic”, said Ricardo Conde.
“Universities and research institutions should be part of something bigger than themselves, they should be part of programs together with industry. In that sense, it’s quite important to understand the national capabilites that we can use, to leverage our industrial sector and, particularly, the agenda we want to build in the upcoming years”, he added.
ISTSat-1 is the first-ever satellite built by a university student team in Portugal. Students from IST designed, built, and tested their own structure, on-board computer, electrical power system (including the battery pack), communications subsystem and the ADS-B antenna and receiver.
The satellite’s mission is to carry out a feasibility study of the use of nanosatellites to track and characterize aircraft’s transponder signals (ADS-B) over the globe’s more remote areas. This is especially relevant when we look at air disasters, like the mysterious disappearance of the Malaysia Airlines and AirFrance flights.
“This is going to be a consortium of the major four research institutes, so we are seeking ways of cooperating with PT Space and with the projects that are created and motivated by PT Space”, Rui Rocha explained.
Portugal Space is a private, non-profit organization, created by the Portuguese government in March 2019, with the collaboration of the Regional Government of Azores. It assumed the role formerly held by the Foundation for Science and Technology (FCT) in the representation of Portugal in the European Space Agency (ESA), Europe South Observatory (ESO) and in all space-related programs of the EU.
The agency acts as a business and development unit for universities, research entities and companies, as stated in the Portugal Space 2030 Strategy.