Prahladh Harsha is a researcher and professor in computer science. His professional interests lie in the field of theoretical computer science and mathematics.
He conducts research focused on proof verification, exploring the mathematical and algebraic principles that underpin this area.