Klaus Kraßnitzer is a Master’s student in the field of Computer Engineering at Vienna University of Technology (TU Wien). His research interests focus on Distributed and High Performance Computing as well as Computer-Aided Verification.
Klaus Kraßnitzer is a Master’s student in the field of Computer Engineering at Vienna University of Technology (TU Wien). His research interests focus on Distributed and High Performance Computing as well as Computer-Aided Verification.