Wishnu Prasetya

Utrecht University

Presentations:

• (4040) Testing with T2 and Exploiting the Power of In-code Specifications

Short bio

Wishnu Prasetya is a researcher and lecturer at the Department of Information 
and Computing Sciences of Utrecht University, in Netherlands. His research 
interests are formal methods, verification techniques, and, recently, software 
testing.