Aleš Smrčka

Aleš Smrčka is an assistant professor at Brno University of Technology. He received his PhD in the field of formal verification of hardware designs, in which he continued on research of formal verification of pipelined processors. He has promoted his experience in formal methods in the field of software testing, where his main interest is making quality software. He contributes to different topics of software testing and dynamic analysis from automated test design, testing of concurrent programs and run-time verification, to automated generation of complex test inputs. He teaches software programming and testing and mentors a team of software testing enthusiasts who develop a variety of testing tools with an emphasis on practical solutions to real-world problems from industry.