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.
Current role