Registered user since Sun 14 Jan 2024
Name:Kimaya Bedarkar
Country:Germany
Affiliation:Max Planck Institute for Software Systems (MPI-SWS)
Personal website: https://people.mpi-sws.org/~kbedarka/
Research interests:Formal verification, real-time systems, program logics
Contributions
Using general profile