Profile
Areas of interest
- algorithms
- classification
- Computer Science
- diagrams
- INIS
- learning
- Model Checking
- modeling
- stochastic processes
- verification
Skip to main content