Danel Batyrbek's CV Page

Hello, my name is Danel. I am currently (as of 2025) a member of Programming Logic Group in Department of Computer Science in University of Tsukuba.

email: dbatyr09 ★☆ gmail 。com, where ★☆ = @

My research interest (and hobbies in general) entail mainly:

• Programming Languages
• Compiler Construction
• Cyber Security, Reliability
• Formal Methods
• Decompilation and Control Flow Structuring (currently)

Publications

• EmbedFX: A Domain-Specific Language with Asynchronous Communication for Embedded Systems (Master's Thesis)