Prash Prahladan

Prasanth (Prash) Prahladan is a PhD Candidate in the Computer Sciences. He studies how to develop mathematical formulations of engineered systems, that are conducive to automated verification using a computer. This work helps engineers to have confidence in the veracity of the engineering standards documents used for designing the core-infrastructure that we rely on - 5G control planes, radio-spectrum operating rights and memory models for programming languages and hardware computing architectures. Prash enjoys going for long walks and biking, and reading up on interdisciplinary ways of knowing.