Michał Wypych, MSc (mwypych@agh.edu.pl, www) holds a position of a research assistant at the AGH UST in Krakow, Poland, Department of Applied Computer Science.

He received his MSc degree in Computer Science at AGH UST and BSc degree in Astronomy at Jagiellonian University in 2012. His main field of research is formal methods. He is involved in the Alvis project since 2012.

→ Meet the whole team.