Jiří Šimša is a Ph.D. candidate in Carnegie Mellon’s Computer Science Department, where he uses formal reasoning techniques, such as logic and abstraction, to analyze complex computer software and hardware systems, particularly to detect errors in system designs at various stages of the product-development cycle. His work thus targets the great challenge of verifying the correctness of complex man-made systems. Jiří’s broader research agenda includes the automation of formal-reasoning techniques to boost the productivity of software and hardware engineers throughout the product-development cycle.
Born in a rural village in the Czech Republic, Jiří received both Bachelor’s and Master’s degrees in computer science from Masaryk University in Brno. During the year before he came to Carnegie Mellon, he pursued a Bachelor’s degree in economics while working at the Czech software company AVG in Grisoft. He has also held internships at Aalborg University in Denmark, and at Microsoft Research, in Cambridge, Massachusetts.