21. TLA+ e Elixir com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems, Mestre em Computação pela UDESC

Elixir em Foco

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 é [e-mail].