Organização global promove o uso de Métodos Formais para o desenvolvimento de sistemas confiáveis
Durante a Reunião Geral Anual de 2024 do Formal Methods Europe (FME), realizada virtualmente no dia 26 de junho, o Professor Gustavo Carvalho, do Centro de Informática (CIn) da UFPE, foi eleito como membro do Comitê Financeiro da organização – onde atuará por um ano. O comitê tem a importante função de examinar o balanço patrimonial e a demonstração de resultados do FME, contribuindo para a transparência e a boa gestão da associação.
O FME é uma renomada associação internacional que congrega pesquisadores e profissionais da área de Métodos Formais, uma abordagem que se distingue por sua base semântica rigorosa e pela análise profunda que oferece para o desenvolvimento de software e sistemas computacionais. A eleição do Professor Gustavo Carvalho para este comitê reflete o reconhecimento de sua expertise na área e sua contribuição para a comunidade global de Métodos Formais.
Fonte: Formal Methods Europe
Comentários desativados