CMU Portugal welcomes its first group of Affiliated Ph.D. candidates

 

The CMU Portugal Program is thrilled to welcome 12 new students to its CMU Portugal Affiliated Ph.D. Programs Initiative, launched for the first time in the 2021/2022 Academic year, to offer Ph.D. scholarships in selected cutting-edge areas of Information and Communication Technologies (ICT), related to the scope of the CMU Portugal Program. 

Under this initiative funded by Fundação para a Ciência e a Tecnologia (FCT) students will be entirely hosted by a Portuguese University, with a research period at Carnegie Mellon of up to 1 year. Upon the Ph.D. conclusion, candidates will be awarded a degree by the Portuguese host University.

The Affiliated Ph.D. Programs initiative (Programas de Doutoramento Afiliados) has the objective of strengthening the collaboration between Portuguese higher education institutions and Portuguese companies through a strong partnership with Carnegie Mellon University. Candidates were encouraged to apply with work plans which counted with the collaboration of a Portuguese ICT company, and the majority of the newly admitted candidates have answered to this challenge. The new students will develop their Ph.D. in collaboration with companies such as Outsystems, Farfetch, Unbabel, GMV Skysoft S.A., NOS Communications S.A., Ingeniarius Ltd., Codacity and Sundance.

All candidates were selected after a rigorous selection process by a committee of faculty members from Portuguese Universities, with an overall acceptance rate of 30%. 

The 12 Scholarships were granted in some of the main CMU Portugal research areas namely Electrical and Computer Engineering (4), Language Technologies (3), Computer Science (2), Robotics (2), Human Computer Interaction (1).

Of these students, five (5) will be hosted at Instituto Superior Técnico, three (3) at NOVA School of Science and Technology I FCT NOVA, two (2) at Faculdade de Engenharia from Universidade do Porto and two (2) at Faculdade de Ciências e Tecnologia of Universidade de Coimbra. Furthermore, students will also be hosted at Carnegie Mellon University Departments: three (3) at the Language Technologies Institute, three (3) at the Computer Science Department, two (2) at the Robotics Institute, two (2) Electrical and Computer Engineering, one (1) at the Department of Mechanical Engineering and finally one (1) at the Human-Computer Interaction Institute.

The group includes Ph.D. candidates from three different continents/countries namely Portugal (8), Hungary (1), Brazil (2) and China (1). 

In conclusion, this new cohort of Ph.D. candidates increases the number of CMU Portugal active students to 50, including both Affiliated and Dual degree students. 

So far, 156 students have enrolled at one of CMU Portugal dual degree Ph.D. Programs. Of these 82 have successfully graduated.

Meet the new Affiliated Ph.D. students by research area:

Computer Science

  • Ricardo Brancas (Instituto Superior Técnico – Universidade de Lisboa/Computer Science Department at CMU)
  • Francisco Pereira (Instituto Superior Técnico – Universidade de Lisboa/Computer Science Department at CMU)

Electrical and Computer Engineering:

  • Diogo Pereira (NOVA School of Science and Technology | FCT NOVA / Electrical and Computer Engineering at CMU)
  • Eduard Pinconschi (Faculdade de Engenharia – Universidade do Porto/Electrical and Computer Engineering at CMU)
  • Tamás Karácsony – (Faculdade de Engenharia – Universidade do Porto/ Computer Science Department at CMU)
  • Fernanda Famá – (Universidade de Coimbra / Department of Mechanical Engineering at CMU)

Human-Computer Interaction

  • Shuhao Ma (Instituto Superior Técnico – Universidade de Lisboa/Human-Computer Interaction Institute at CMU)

Language Technologies

  • Diogo Tavares (NOVA School of Science and Technology | FCT NOVA / Language Technologies Institute at CMU)
  • Diogo Silva (NOVA School of Science and Technology | FCT NOVA / Language Technologies Institute at CMU)
  • John Mendonça (Instituto Superior Técnico – Universidade de Lisboa/Language Technologies Institute at CMU)

Robotics

  • Henrique Costa (Instituto Superior Técnico – Universidade de Lisboa/Robotics Institute at CMU)
  • Maria Eduarda Andrada (Universidade de Coimbra / Robotics Institute at CMU)

More about the 2021/22 Call here.

AIDA, an effective solution to manage risk management in companies and improve corporate performance

AIDA is a CMU Collaborative Large Scale project launched in 2020 with the main goal to improve the RAID platform used by Mobileum for integrated risk management in companies. To achieve this objective, the Portuguese ICT Company that is currently the leading provider of Telecom analytics for roaming, security and risk management joined INESC TEC, Universidade de Coimbra and the Computer Science Department at Carnegie Mellon University (CMU) to apply to the  CMU Portugal Call for Large Scale Collaborative Research Projects (LSCRPs).

After a thorough evaluation process, AIDA was one of the 12 research projects selected for 3 years’ funding, but the project will expectably end before that.

“The evolution of the Telecom world made us rethink the approach in terms of the analytics strategy.” (Carlos Martins)

AIDA Carlos Martins
Compete 2020

According to Carlos Martins, Head of Engineering at Mobileum, “the evolution of the Telecom world made us rethink the approach in terms of the analytics strategy. With the evolution of the Telecom business, there was a significant shift from a process to a functional orientation. Business is now fully data-driven in a streamed approach with a decoupled analysis from any data aggregation and demanding schemas-on-read instead of pre-defined schemas.”

The RAID platform handles enterprises’ entire risk management lifecycle and is currently applied worldwide to address, among others, revenue assurance, business assurance, and fraud management. The AIDA project’s overarching goal is to conceive a new version of the RAID platform by moving some of the pipeline phases to the edge of the system and taking advantage of 5G. Today, the platform is fully deployed in physically collocated servers, either on-premises or in the cloud. With AIDA, data collection, monitoring, and even actuation phases should be prepared to run in diverse hardware architectures outside the platform’s owner’s physical or even administrative control.

According to Carlos Martins “5G will promote a massive growth of data. Part of the 5G protocol also permits multi-access edge computing (MEC), enabling wireless operators to offer a high level of automation from the distributed ML and AI architecture at the network edge. Fraud detection is nowadays mostly addressed by ML and AI, and AIDA will help RAID be ready to do the fraud detection at the edge level, ensuring quicker detection time and minimizing data transfer to a central cloud, while ensuring full data encryption on any of the needed data transfer.”

Thanks to this newest version of the platform, companies will be able to collect and monitor data in a highly flexible way, with real-time guarantees, security and reliability by leveraging the increasing edge computing capacity made available by the IoT and the imminent large-scale deployment of 5G cellular technology.

The goal of the project is clear as is the expected impact on Mobileum business: “From a qualitative point of view, we expect to bring a higher ROI for our customers by being able to address new fraud detections and corresponding preventive actions. From a quantitative point of view, we expect to acquire new customers that are now doing the path to 5G, and that this project will enable us to address it with strong competitive advantages” says Carlos Martins.

Christos Faloutsos, Professor at CMU’s Computer Science Department, leads the research team in Pittsburgh and supervised the work done during this first year. He adds that “at CMU we managed to get access to (anonymized) phone records. From here we have already started developing algorithms to find patterns, anomalies, and fraudsters. My group is working on the algorithms and visualization aspects of mining such huge amounts of complex data (who-calls-whom-and-when). There are fascinating challenges, both from the machine learning point of view (like “do textbook assumptions of Gaussianity independence hold?”), from the visualization point of view (“how to plot a graph with millions of nodes”), and from the systems point of view (how to store, and access, these large datasets).”

Regarding the benefits of the collaboration established under AIDA, which involves Mobileum as promoter and researchers both in Portugal and CMU, Faloutsos is confident in stating that “there are immense benefits, for both sides. My group and I are discovering unexpected patterns in the real graphs, which helps us design better algorithms. My students get hands-on experience with real data, with all the surprises that textbooks don’t mention (missing values, occasionally wrong labels, deviation from typical distributions like the Gaussian one, and many more). The domain-expertise that Mobileum provides, is extremely valuable: it helps us understand what are the most important business problems that we, scientists, should focus on, and helps us translate them into mathematical problems that we can subsequently solve. Conversely, Mobileum is benefiting from state-of-the-art algorithms in the literature (several of which are from CMU), and they will be the first to benefit from the new algorithms that my group is developing.”

On the Portuguese side, Carlos Martins also has high expectations for this research partnership “we expect a lot from these world-class researchers. We followed the work of some of the CMU colleagues in the last years and having now the chance to work daily with them is really beneficial to both – we learn from new techniques while challenging CMU with new use cases on Telecom Fraud. At the end of the day, I believe that both parties are learning a lot from each other.”

“The marriage between scientific research and production-grade technology is always the biggest challenge” (Carlos Martins)

Even if the project’s future seems bright, there are always some challenges to overcome. “The marriage between scientific research and production-grade technology is always the biggest challenge, so there are some technologies/techniques that still haven’t prove it’s feasibility in a real-world scenario. Additionally, data is the new oil, and having real-world data in a scientific approach is sometimes a challenge. Synthetic datasets are being explored, still, real-world data will be the key driver for project acceptance”, states Carlos Martins.

By the end of the project in 2022, the objective is to deploy a complete prototype of AIDA in a realistic scenario in telecommunication services. According to Carlos Martins, this prototype will bea very resilient and flexible system that will detect Fraud in a Multi Edge Cloud architecture, dazzling the users with great accuracy and finding new Fraud patterns that were not possible before – we have great expectations on the results of new explored techniques like GNNs and Metric Forensics.”

After the end of the AIDA project, and based on the success of this partnership, Christos Faloutsos leaves the door widely open for future collaborations “the collaboration has been extremely productive and pleasant, with weekly remote meeting with Mobileum (Pedro Fidalgo and his group) and the main advantages as mentioned before. My group and I would be delighted to maintain these collaborations for as long as possible.”

More on the AIDA project at: https://cmuportugal.org/large-scale-collaborative-research-projects/aida/

Paper supported under CMU Portugal project WoW published on Nature Communications Journal

A team of researchers from Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCTUC) has developed a new technique to produce microchip integrated stretchable circuits, in a low cost and scalable way. The new technology opens door to build biostickers to monitor patient’s health, and create electronic textile for smart garments for athlete performance monitoring, or for fashion.

This technique, which has just been published in the prestigious scientific journal Nature Communications, was developed under CMU Portugal Large Scale project WoW at Instituto de Sistemas e Robótica (ISR) da Universidade de Coimbra. Wow – Wireless biOmonitoring stickers and smart bed architecture: toWards Untethered Patients –  is led by the Portuguese company GLINTT in partnership with Centro Hospitalar e Universitário de Coimbra (CHUC) and the Mechanical Engineering Department at Carnegie Mellon University.

According to Mahmoud Tavakoli, the project Lead researcher and Director of the Soft and Printed Microelectronic Lab at ISR Coimbra, integrating microchips into the printed circuits in an efficient and cost-effective way, is the primary and most important challenge in the field of soft and printed electronics. Tavakoli states that “ In fact we developed a new soldering technique, that works for elastomeric circuits. Pol-Gel, is a simple technique for self-soldering, self-encapsulation, and self-healing, that allows low-cost, scalable, and rapid fabrication of hybrid microchip-integrated ultra-stretchable circuits. After digitally printing the circuit and placing the microchips, we expose the circuits to a solvent vapor that allows the integration of this solid-state microchips into soft-matter and stretchable printed electronics. We addressed a problem, that is central for scalable fabrication, and commercialization of various products. We have successfully found a way to allow the rapid integration of microchips in ultra-stretchable hybrid circuits”

This solution is a major step to produce these circuits in a low cost and efficient way and will allow many applications developed by different research groups, to come out of the lab and pave a step towards commercialization as the process eliminates many fabrication steps. These printed circuits have already proven to be successful when applied in wearable biomonitoring and biostickers for health applications helping to monitor patients’ heart rate, muscular activities, body temperature, brain activity, or even emotions.

Equally, the textile industry can benefit from this since it will be possible to produce smart textiles with integrated microchips at a high scale. According to Mahmoud Tavakoli “we will now be able to integrate electronics into the next generation of smart garments, whether it is to monitor athlete’s performance or to map kinematics of an actress, or merely for the next generation of modern fashion, in which textile can be used as a communication tool. When it comes to the existing production lines for flexible electronics, we expect some of them will replace their current soldering technique with this novel technique”

This technology is already patented by Universidade de Coimbra and Carnegie Mellon University. Along with the technology transfer office of the University of Coimbra, UC Business, the team is now looking for commercial partners to commercialize the solution in different fields of application.

Useful links:

Paper in Nature Communications: “Reversible polymer-gel transition for ultra-stretchable chip-integrated circuits through self-soldering and self-coating and self-healing” I August 2021 I Pedro Alhais Lopes, Bruno C. Santos, Anibal T. de Almeida & Mahmoud Tavakoli

Press Release (in Portuguese)

WoW project
ISR Coimbra website
Soft and Printed Microelectronic Lab

 CMU Portugal Communications officer:  Mariana Carmo I mariana.carmo@cmuportugal.org

 

 

11th edition of the Lisbon Machine Learning Summer School (LxMLS 2021)

Team of attendees at the University of Copenhagen.
LxMLS – Team of attendees at the University of Copenhagen.

The 11th edition of the Lisbon Machine Learning Summer School (LxMLS 2021) took place on July 7- 15th. Over eight days, participants dive straight into a range of Machine Learning (ML) topics, from theory to practice, that are important in solving Natural Language Processing (NLP) problems that arise in the analysis and use of Web data.

LxMLS do no requires previous deep knowledge of ML or NLP. Still, the attendants are assumed to have some essential background in mathematics and programming. Organizers take the first day to review basic concepts and introduce the necessary tools for implementation exercises, while specialists in machine learning and natural language processing lead the following sessions. The next days are split into lectures in the morning and lab sessions and practical talks by experts in the afternoon.

LxMLS had a record number of 774 applications, 245 registered attendees (39% female) from 24 countries, 17 speakers, and 23 monitors. Participants were able to attend all the lectures and participate in the Q&As and labs remotely through Slack for communication about the school, Zoom for lectures and Q&A, Youtube for live and record talks and Gather. town for social interaction with the speakers and among participants. This year’s edition was entirely remote, similar to last year, due to current COVID-19 restrictions. However, organizers are expecting to welcome everyone in Lisbon for the 2022’s edition.

The virtual school results from a partnership between by Instituto Superior Técnico, Instituto de Telecomunicações, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa, Lisbon Unit for Learning and Intelligent Systems, Unbabel, Priberam , Carnegie Mellon Portugal and sponsored by Google and Cleverly.


The complete list of LxMLS 2021 and LxMLX 2020  lectures are available on the school’s youtube channel. 

Live sketches by Max Müller-Eberstein
LxMLS: Live sketches by Max Müller-Eberstein
https://personads.me/vitae/me.html

CMU Portugal researchers distinguished with ACM Paper Award

CMU Portugal researchers from Universidade de Lisboa and Carnegie Mellon University will be awarded an ACM SIGSOFT Distinguished Paper Award at the upcoming ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). The award distinguishes their research work on a new analysis engine for the Alloy modeling language.

The collaboration was initiated in 2019 Vasco Manquinho (INESC ID), one of the team members, participated in the CMU Portugal Visiting Faculty Program, where he worked with Ruben Martins, CMU Portugal faculty at CMU’s Computer Science Department.  In 2020, the research already continued with doctoral student Pedro Orvalho (INESC-ID/IST) onboard. Furthermore, Pedro had worked previously with Ruben and Vasco under the CMU Portugal Exploratory project DeepData – Data Science in the Azores Deep Sea. This project allowed Pedro Orvalho to spend 3 months at CMU in 2018 under Ruben Martins’ supervision. 

The three co-authors developed an algorithms optimization that was a good fit with the work developed by Eunsuk Kang (CMU) and Changjian Zhang, a software engineering Ph.D. student in the Institute for Software Research (ISR). The teams joined forces to publish the article AlloyMax: Bringing Maximum Satisfaction to Relational Specifications.” Other team members include David Garlan (CMU and CMU Portugal faculty member) and Ryan Wagner (CMU). 

The ESEC/FSE 2021 conference is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in software engineering.

More about the paper and the modeling language Alloy at the ISR website.
Paper Reference: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications

CMU Portugal Co-Director Inês Lynce is now a Full Professor at Técnico

On a Ceremony held on July 14th at Instituto Superior Técnico, Inês Lynce, CMU Portugal National Co-Director, was appointed as one of the seven (7) new Full Professors of the Portuguese Institution with headquarters in Lisbon.

Inês was until now Associate Professor with Habilitation at Instituto Superior Técnico at the Department of Computer Science and Engineering and is the current President of INESC ID.

The Ceremony was headed by Técnico President, Rogério Colaço, Rodrigo Rodrigues, President of the Scientific Council and a former CMU Portugal National Co-Director, and Teresa Peña, President of the Institution Pedagogical Council to mark the beginning and career progression of 35 new faculty and researchers.

The list of 7 new Full Professors also includes: Arsénio Fialho (DBE), Francisco dos Santos (DEI), Henrique de Matos (DEQ), Miguel Natário (Department of Mathematics -DM), Manuel Gonzalez Scotto (DM) and Miguel Pupo Correia (DEI).

More at: https://tecnico.ulisboa.pt/pt/noticias/campus-e-comunidade/cerimonia-assinala-inicio-e-progressao-na-carreira-de-35-novos-docentes-e-investigadores/

CMU Portugal paper wins the 10 Year Most Influential Paper Award

A research paper published in 2011 under the scope of CMU Portugal project INTERFACES  has been awarded this year’s edition of the 10 Year Most Influential Paper Award.

The research was led by Luís Caires, CMU Portugal Scientific Director and Faculty member at Nova Lincs/ FCT-UNL and Frank Pfenning, CMU School of Computer Science, as a key component of Bernardo Toninho’s Dual Degree Ph.D. in Computer Science, supervised by both faculty. Toninho joined the CMU Portugal Program in the end of 2009 as a dual PhD student and graduated in 2015. His Ph.D. research was focused on the logical foundations of message-passing concurrent computation, based on a so-called propositions-as-types correspondence between logic and programming languages.

The paper “Dependent session types via intuitionistic linear type theory” was published in the ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming (PPDP) in 2011 and will be presented at this year’s conference in September. This award is given each year to a paper from the PPDP proceedings published 10 years earlier and is intended to “recognize the authors’ contribution to PPDP’s influence in the area of declarative programming.” The winning work introduced a novel notion of so-called dependent session types, a highly expressive specification and verification mechanism for message-passing concurrent programs, able to check for functional and communication correctness properties of programs without running them.

 More about the INTERFACES project

The “INTERFACES project – Certified Interfaces for Integrity and Security in Extensible Web-based Applications” was carried out between 2009 and 2012 by teams from Universidade Nova de Lisboa (UNL), Faculdade de Ciências da Universidade de Lisboa (FCUL), Carnegie Mellon University and the Company, OutSystems

The project targeted the development of new techniques and tools for enforcing security, integrity, and correctness requirements on distributed extensible web-based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics.

Key outputs of the INTERFACES approach included core typed programming languages and environments for building extensible certified web applications, as well as design and implementations of prototypes for specification, programming, and reasoning about case studies, in collaboration with the industrial partner OutSystems SA, developer of the Agile Platform, a widely used web-based application development environment at the time.

Project final Report

Original article at Nova Lincs website.

Manuela Veloso ranked among the 10 most Influential Women in Engineering

Manuela Veloso was ranked in the top 10 of the 35 women on the Academic Influence list which includes astronauts, founders and CEOs of well-known technology and researchers from around the world. The Portuguese researcher has been strongly involved with the Program since it was launched in 2006. She has been leading multiple collaborative projects between Portuguese and Carnegie Mellon research teams and is an advisor for dual-degree Ph.D. candidates mostly in Computer Science, Robotics and Machine Learning.

Manuela Veloso is internationally renowned for her work in artificial intelligence and being one of the world’s top computer scientists and roboticists. Veloso is now the Emeritus Herbert A. Simon University Professor in the CMU School of Computer Science and head of J.P. Morgan AI Research. After receiving this distinction, she revealed in a news article by CMU School of Computer Science that she was “glad to see CMU on the list. She felt like a role model to women in engineering and noted that women on the list challenged conventional thinking, changed systems and went against what was popular at the time or expected of them.”

The AI specialist concluded her Master of Science degree in Electrical Engineering from Lisbon’s Instituto Superior Técnico in 1984 and a Ph.D. in Computer Science at Carnegie Mellon in 1992. Her thesis Learning by Analogical Reasoning in General Purpose Problem Solving was supervised by Jaime Carbonell, founder of the CMU’s Language Technologies Institute (LTI). Shortly after receiving her Ph.D., Manuela Veloso joined the Carnegie Mellon School of Computer Science as an assistant professor. She led the Machine Learning Department from 2016 to 2018, when she took a leave of absence to join J.P. Morgan.

She has received several academic awards during her career, has published more than 250 scientific articles and created the CoBots. She was president of the Association for the Advancement of Artificial Intelligence (AAAI) and founder of the Coral Research Laboratory. She is also responsible for RoboCup, an annual robot soccer championship, which had the first edition in 1997 in Japan.

To check the complete list with the 35 female engineers whose brilliant minds will shape tomorrow’s discoveries: https://academicinfluence.com/rankings/people/influential-women-engineers

More information about Manuela Veloso at: https://www.scs.cmu.edu/news/veloso-ranked-among-most-highly-influential-women-engineering

 

 

 

Remote enters the exclusive list of six Unicorn Companies with Portuguese DNA

The CMU Portugal Affiliated company Remote, a human resources (HR) platform designed to help businesses build and manage remote teams around the world, has raised $150 million in a series B round of funding at a valuation of more than $1 billion. With this new round of investment, the company now joins the list of six Unicorn companies with Portuguese DNA which includes Farfetch, Feedzai, Outsystems and Talkdesk, all of them part of CMU Portugal industrial Affiliated partners list but also Mambu, a startup founded under the CMU Portugal Program that became in the beginning of 2021 a german based Unicorn company.

The two-year-old startup was co-founded by Marcelo Lebre and Job van der Voort. Founded in 2019, never had a startup with a Portuguese DNA achieved the unicorn status so quickly raising the biggest private investment series B.

The company which is now based in San Francisco has around 300 employees including Portugal, Italy, the Netherlands, the U.K, the U.S., and other countries around the world but with this new round of $150 million, the focus will be to expand to 80 countries (up from 50 today) by the end of this year, while planning to cover the majority of the globe by the end of 2022.

Remote’s main mission is to simplify how companies employ top global talent. As a global employment platform, the company takes care of payroll, benefits, taxes, and compliance, so businesses of all sizes can hire the best employees no matter where they live and work. By establishing its own local legal entities in countries across the globe, Remote offers the most robust solution in the global employment industry, guaranteeing compliance with local and international regulations while exceeding the highest standards of data privacy and security. The platform, essentially, allows any company to set up shop in a new market without the associated administrative headaches.

More at: https://remote.com/blog/remote-raises-series-b-unicorn-valuation
Article in FCT website
Company website: https://remote.com/