Neste episódio conversamos com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC. Links Gabriela: Twitter https://twitter.com/bugarela GitHub https://github.com/bugarela/ Linkedin https://www.linkedin.com/in/bugarela/ Assista a esta entrevista no YouTube em https://www.youtube.com/@ElixirEmFoco Ela conversou  conosco sobre: o que é TLA+ como foram feitos seus trabalhos que juntaram TLA+ e Elixir como é trabalhar como Engenheira de Pesquisa como foi fazer mestrado Links: Colóquios de Ciência da Computação https://www.youtube.com/@ColoquiosdeCienciadaComputacao Palestra “Elixir”, de Paulo Henrique Cuchi (08/11/2017) – 55 visualizações https://www.youtube.com/watch?v=okk-da7DESs TLA+ Transmutation - Elixir code and test generation from TLA+ specifications https://github.com/bugarela/tla-transmutation Informal Systems https://informal.systems/ https://github.com/informalsystems Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022 https://www.youtube.com/watch?v=FxDm8VP2-zs Elixir Code Generation from TLA + specifications - Gabriela Moreira Mafra https://www.youtube.com/watch?v=trm9Lp0yt6Y Pesquise com Elixir  https://pesquisecomelixir.com.br/ Fully-Tested code generation from TLA+ specifications https://sol.sbc.org.br/index.php/sast/article/view/22179 Associe-se à Erlang Ecosystem Foundation em https://bit.ly/3Sl8XTO. O site da fundação é https://bit.ly/3Jma95g. Nosso site é https://elixiremfoco.com. Estamos no Twitter em @elixiremfoco https://twitter.com/elixiremfoco. Nosso email é [email protected]. --- Send in a voice message: https://anchor.fm/elixiremfoco/message