Ana Jorge Almeida, estudante do Programa Doutoral em Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (FCUP), foi selecionada como uma das 12 beneficiárias de uma bolsa no âmbito da 5.ª edição dos Programas de Doutoramento Afiliados à Carnegie Mellon University (CMU) Portugal. Com um foco no desenvolvimento teórico da Ciência de Computadores, Ana dedicará o próximo ano à sua investigação em Pittsburgh, Estados Unidos.
A oportunidade surge como uma forma de aprofundar sua experiência em um ambiente reconhecido por sua excelência em investigação. “O programa aliciou-me bastante, porque considero a possibilidade de parte do trabalho ser feito nos Estados Unidos particularmente apelativa, tanto pela tradição de investigação como pelo contacto com diferentes comunidades académicas,” afirma Ana.
O seu estudo concentra-se na utilização e gestão de recursos computacionais, utilizando abordagens como linearização e concorrência para otimizar a eficiência das linguagens de programação. Ana destaca que sua pesquisa pretende eliminar a necessidade de gerenciamento de “lixo”, uma preocupação comum na programação.
Desde o início de seus estudos, a estudante cultivou um interesse pela lógica. Após se especializar em “Computação Confiável” durante o mestrado, ela desenvolveu sua dissertação sobre “Linear Calculi: a comparison approach”, sob a orientação dos professores Mário Florido e Sandra Alves, que continuam a acompanhá-la no doutoramento. Agora, com a bolsa do CMU Portugal, Ana terá também o suporte de Jan Hoffmann, investigador da Carnegie Mellon, que irá orientá-la durante seu tempo na universidade americana.
Os Programas de Doutoramento Afiliados à CMU visam fortalecer a colaboração entre instituições de ensino superior em Portugal e empresas, criando um intercâmbio benéfico de conhecimento e inovação. A bolsa, financiada pela Fundação para a Ciência e Tecnologia, cobre as propinas e oferece uma bolsa mensal por até quatro anos, além do apoio financeiro durante o ano de investigação na CMU. Ao concluir seu doutoramento, Ana receberá um diploma da instituição de acolhimento em Portugal, refletindo a robustez da sua formação acadêmica.
Origem: Universidade do Porto
