If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Shengchao Qin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Specifications
Data structures
Semantics
Network protocols
Model checking
Hardware
Model predictive control
Experiments
Computer hardware
Object oriented programming
Computer hardware description languages
Application programs
Binary codes
Navigation
Large scale systems
Global positioning system
Robots
Testing
Static analysis
Syntactics
Control systems
Public health
Phase transitions
Smartphones
Communication
Markov processes
Leak detection
Refining
Interfaces (computer)
Software engineering
Learning systems
Algebra
Specification languages
Hazards and race conditions
Ethernet
Engines
Decomposition
Computer systems
Computational complexity
Error detection
Costs
Defects
Trajectories
Merging
Theorem proving
Embedded software
Real time systems
Formal languages
Engineering research

Mathematics

Separation Logic
Heap
Symbolic Execution
Static Analysis
Probabilistic Model
Denotational Semantics
Memory Model
Type Inference
Encoding
Reasoning
Binary Code
Synthesis
Binary
Invariant
Trace
Compilation
Layout
Energy
Classifier
Resources
Defects
Annotation
Program Analysis