Stefan Jaksic

Stefan Jakšić received the M.Sc. degree in EECS from the University of Belgrade, Belgrade, Serbia. He is currently pursuing the Ph.D. degree with TU Wien, Vienna, Austria. He was a Design Verification Engineer for the semiconductor industry. He is a Junior Scientist with the Center for Digital Safety and Security, Austrian Institute of Technology, Seibersdorf, Austria. His current research interest includes formal methods in computer science, with a specific focus on runtime verification.