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