Yesugen Baatartogtokh

Papers

Total Citations

H-Index

About

Yesugen Baatartogtokh is a researcher at the forefront of socially responsible software engineering, specializing in normative requirements and the integration of social, legal, ethical, empathetic, and cultural (SLEEC) values into system design. Their most-cited work, "Analyzing and Debugging Normative Requirements via Satisfiability Checking" (2024, 13 citations), introduces a groundbreaking approach to formally verifying that software systems adhere to complex human norms—a critical need in domains like transportation and healthcare where stakeholder values directly impact safety and trust. By leveraging satisfiability checking, Baatartogtokh enables developers to detect and resolve conflicts in normative non-functional requirements (N-NFRs) early in the design process, bridging the gap between abstract ethical principles and concrete system behavior. This work has quickly gained traction, reflecting its timely relevance as AI and autonomous systems face growing scrutiny. Baatartogtokh’s contributions are shaping how engineers think about accountability and empathy in code, making them a key voice in the movement toward value-aware computing. Their research not only advances formal methods but also provides practical tools for building systems that respect the diverse norms of their users.