% CV: Achim D.  Brucker
\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[margin=25mm]{geometry}
\usepackage{hyperref}
\pagestyle{empty}
\setlength{\parindent}{0pt}
\begin{document}

{\LARGE\bfseries Achim D.  Brucker}


\medskip

adbrucker@0x5f.org \textbar{} \url{https://vutuv.de/achim_d_brucker}


\section*{Tags}
DAST \textbullet{} Formal Methods \textbullet{} Isabelle/HOL. AppSec \textbullet{} research \textbullet{} SAST \textbullet{} SML \textbullet{} verification





\end{document}
