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

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

Engineering & Materials Science

Model checking
Software engineering
Acoustic waves
Recursive functions
Ice
Websites
Managers
Repair
Experiments
Random number generation
Uncertainty
Students
Specifications
Learning systems
Scalability
Supervised learning
Processing
Data structures

Mathematics

Higher Order
Refinement
Horn clause
Program Verification
Predicate
Termination
Invariant
Branch
Programming
Reasoning
Uncertainty
Model Checking
Transition Systems
Supervised Learning
Machine Learning
Software Development
Paradigm
Counterexample
Benchmark
Random number Generation
Intersection
Nondeterminism
Experiment
Type Inference