Burak Yalçınkaya received his M.Sc. in Computer Science from the Chalmers University of Technology, where he studied programming languages and formal methods. In his M.Sc. thesis, he worked on executable formal semantics and fuzzing using the K framework. Burak is a fan of functional programming and has development experience in various languages from C to Haskell. Previously, he worked as a back-end developer at a start-up. He enjoys competitive programming, generative art, and photography.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.