A nova e cada vez mais popular linguagem de programação Rust é amplamente utilizada, desde pequenas startups até às maiores corporações tecnológicas do mundo, para desenvolver sistemas operativos, web browsers e outras aplicações críticas para a segurança. Pela sua tese de doutoramento, na qual Jung lançou as primeiras bases formais para a programação de sistemas seguros em Rust, já recebeu vários prémios de renome internacional.

Ralf Jung é investigador de pós-doutoramento no grupo de investigação "Fundamentos da Programação" do Professor Derek Dreyer, no Instituto Max Planck de Sistemas de Software em Saarbrücken. Desde 2015 que Jung se dedica à linguagem de programação que foi originalmente patrocinada pela Mozilla: "Rust entusiasmou-me porque tem um futuro muito promissor: ser uma linguagem de programação que permite um controlo preciso sobre a utilização de memória e a alocação de recursos num sistema, evitando automaticamente muitos erros comuns de programação", afirma Ralf Jung.

O peso desta promessa é demonstrado pelo uso prático da linguagem: embora a primeira versão estável do Rust só tenha sido lançada em 2015, a linguagem já é utilizada por muitas grandes empresas tecnológicas, como a Microsoft, a Google, a Amazon, a Dropbox e o Facebook. Na sua tese de doutoramento, Ralf Jung apresenta a primeira prova formal de que as promessas de segurança do Rust são de facto cumpridas.

"Conseguimos verificar a segurança do sistema de tipos do Rust e, assim, demonstrar como o Rust evita automaticamente e de forma fiável classes inteiras de erros de programação", afirma Ralf Jung. Ao fazê-lo, também abordou com sucesso um aspecto especial da linguagem de programação: "A chamada 'segurança de tipos' está intimamente ligada ao facto de o Rust impor restrições ao programador e não permitir tudo o que ele deseja fazer. No entanto, por vezes é necessário escrever uma operação no código que o Rust não aceitaria devido à sua segurança de tipos", continua o informático. "É aqui que entra em jogo uma característica especial do Rust: os programadores podem marcar o seu código como 'inseguro' se quiserem realizar algo que contradiga as precauções de segurança da linguagem de programação. Juntamente com colaboradores internacionais, incluindo o meu orientador de tese, Derek Dreyer, desenvolvemos uma estrutura teórica que nos permite demonstrar que as alegações de segurança do Rust se mantêm válidas, apesar da possibilidade de escrever código 'inseguro'", conclui Jung.

Este teste, denominado RustBelt, é complementado por uma ferramenta chamada Miri, que pode verificar automaticamente se o código Rust "inseguro" está em conformidade com regras importantes da especificação Rust — um requisito básico para a correção e segurança deste código. "Embora o RustBelt tenha tido muito sucesso, especialmente nos círculos académicos, o Miri já está estabelecido na indústria como uma ferramenta para testar a segurança dos programas escritos em Rust", explica Ralf Jung.

Pela sua dissertação intitulada "Compreensão e Evolução da Linguagem de Programação Rust", Ralf Jung recebeu vários prémios nacionais e internacionais. O trabalho de Jung recebeu uma de duas Menções Honrosas no Prémio de Dissertação da Association for Computing Machinery (ACM). A ACM afirma: "Através da liderança e do envolvimento ativo de Jung com o grupo de trabalho de Diretrizes de Código Inseguro do Rust, o seu trabalho já teve um impacto profundo no design do Rust e lançou as bases essenciais para o seu futuro." O Prémio de Dissertação da ACM é atribuído internacionalmente para toda a área da ciência da computação e é considerado um dos prémios mais prestigiados para dissertações de ciência da computação em todo o mundo. Recebeu

também o Prémio de Dissertação de Doutoramento da Conferência Conjunta Europeia sobre Teoria e Prática de Software (ETAPS), um dos prémios mais importantes na área da ciência de software na Europa. Além disso, recebeu a Medalha Otto Hahn da Sociedade Max Planck, atribuída anualmente por realizações científicas particularmente notáveis ​​relacionadas com uma dissertação.

Mais informações