Bio

My areas of interest include symbolic programming, programming languages, and compiler construction, with a particular focus on programming language theory, type systems, and formal verification. I am also passionate about process-oriented design, parallel and distributed computing, optimization, and blockchain technology. I am proficient in multiple object-oriented programming languages and tools, primarily specializing in Java/J2EE, C++, C#, and Python.

Additionally, I have a solid understanding of professional software engineering best practices, including coding standards, code reviews, source control management, build processes, and unit testing. My experience extends to platform modernization initiatives, leveraging technologies such as REST, CRUD, SQL, MongoDB, Firebase, Redis, and Spring Boot.