Richard Zsiga

Papers

Total Citations

H-Index

About

Richard Zsiga’s research centers on the intersection of domain-specific languages (DSLs) and formal semantics, with a particular emphasis on making abstract computational concepts tangible through visualization. His major contributions lie in developing practical methods to visualize natural semantics—a formal system for describing program behavior—for DSLs used in robotics and motion control. By translating complex semantic calculations into intuitive visual representations, Zsiga’s work bridges the gap between theoretical language verification and real-world application, enabling researchers and engineers to more easily verify program properties and understand language meaning. His most-cited papers, including "Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language" (2023) and "Natural semantics visualization for domain-specific language" (2022), each with 2 citations, have laid foundational groundwork for this niche but critical area. Notably, his focus on a DSL for controlling a robot in an orthogonal grid demonstrates a commitment to concrete, verifiable systems. Zsiga’s achievements include advancing the clarity and accessibility of semantic methods, making him a key figure in the ongoing effort to formalize and visualize programming language semantics for specialized domains.