Salman

1
reputation
2

I am a doctoral student in computer science at Worcester Polytechnic Institute. I specialize in utilizing formal methods in software development and security.