Personal Information
Organization / Workplace
Gainesville, Florida United States
Occupation
Assistant Professor
Industry
Technology / Software / Internet
Website
About
Born in Moscow, Soviet Union. Since then my life has changed a lot, and it keeps the pace.
Contact Details
Tags
cyber-physical systems
formal methods
machine learning
verification
software architecture
confidence monitoring
software engineering
models
safety
model
integration
automation
automotive
prediction
contract
analysis contracts
robotics
trustworthy autonomy
architecture
detection algorithms
software
ide
kdevelop
eclipse
user interface
widget
gui
tool view
net beans
visual studio
usability
integrated development environment
assurance
parameter estimation
compositionality
probabilistic specification
hybrid programs
仂亟仆仂仂从仂仆仆亶 亳仆亠亠亶 亠亟
aadl
computer science
design
power
turtlebot
assumptions
control
cps
variability
adl
sampling
simulation
data generation
unmanned underwater vehicle
poster
traceability
views
data programming
pac bounds
alarm fatigue
clinical alarm suppression
causality
medical devices
foundation models
anomaly detection
vision
statistics
optimization
probabilistic logic
covid-19
epidemic model
analysis
hybrid planning
adaptation
ai
planning
probabilistic logic
information security
algorithms
dependency loops
acquisition
build vs buy
systems
engineering
smart systems
teaching
denial
thermal runaway
battery
electric vehicles
logic
keymaera
theorem proving
framework
world model
See more