Formal Methods, Logic · Verification · Synthesis, Quantitative Reasoning, Programming Theory/Languages, Probabilistic/Quantum Systems, Cyber-Physical Systems
Service Computing, Service Regulation, Multimodal Learning, Language Design, AI for FM
Verification Meets AI, Probabilistic Systems, Quantitative Reasoning, Program Synthesis
Abstract Interpretation, Static Analysis, Type Theory, Theorem Proving, Programming Theory/Languages
Formal Verification, Intelligent Operating Systems, Theorem Proving
Quantitative Reasoning, Verification and Synthesis, Quantum Programming, Programming Theory/Languages
Abstract Interpretation, Static Analysis, Automated Verification, Programming Theory/Languages
Service Computing, Service Regulation, Multimodal Learning, Language Design
Probabilistic Pointer Programs, Programming Theory/Languages, Compiler Optimization, Static Analysis, Logic
Quantitative Reasoning, Automated Synthesis, Probabilistic Programs, Inductive Invariants
Probabilistic Systems, Symbolic Computations, Parametrized Algorithms
Formal Verification, Probabilistic Programs, Inductive Invariants, Craig Interpolation
Verification · Synthesis, Cyber-Physical Systems, Differential Geometry, Hybrid Systems, Model Learning