\begin{frame}
    \frametitle{My work}

    \begin{block}{What's next ?}
        \begin{itemize}
            \item Study and formalize some "in-prod" algorithms using weak consistency in byzantine contexts.
            \item Continue the collaboration with Parsec:
            \begin{itemize}
                \item formalize a list of properties
            \end{itemize}
            \item identifies which applications are suitable for each class of weak consistency.

        \end{itemize}
    \end{block}
\end{frame}