Personal Information
Organization / Workplace
Beijing City, China China
Occupation
Associate Professor at Tsinghua University
Industry
Education
About
Conduct research in the basic science of systems, using the Language-Oriented Paradigm. Designing and implementing hybrid computational models and formal languages to analyze and synthesize system properties. Creating and operating data-intensive tools to manage sensor/actuator inputs and computational results.
Created a multi-paradigm executable meta-language, Object-Process Network (OPN), a tool that supports the analysis and synthesis of engineering systems. Later developed an algebraic formulation of the language, resulting in a many-sorted algebra that prescribes the mathematical nature of system description languages. This many-sorted algebra is called, Algebra of Systems (AoS), wh...
Contact Details