Guile, Eiffel, Rust, C\#, Java, JavaScript.
\item \textit{Tools:} Emacs, Git, Alloy, \tla, \LaTeX, CI
systems, Rodin, Liquid Haskell.
Guile, Eiffel, Rust, C\#, Java, JavaScript.
\item \textit{Tools:} Emacs, Git, Alloy, \tla, \LaTeX, CI
systems, Rodin, Liquid Haskell.