I am Krishna, currently working as a Researcher for the Software Technology group at TU Darmstadt

I am primarily interested in understanding why developers/ domain experts struggle and what tools (static analysis/ DSLs) aid with these struggles. Most recently I am concerned with developers from the domain of cryptography and artificial intelligence. In the past, I have been involved with experts from the world of embedded systems and automobiles.



Interested in collaborating, doing a thesis or looking for a student-job? Say hi.