Now you can watch the keynotes that took place during the OpenInfra Summit in Berlin!
WATCH NOW!
Toggle navigation
Search
Software
Overview
OpenStack Components
SDKs
Deployment Tools
OpenStack Map
Sample Configs
Security
Use Cases
Users in Production
Ironic Bare Metal
Edge Computing
Telecom & NFV
Science and HPC
Containers
Enterprise
User Survey
Events
OpenInfra Summit
Project Teams Gathering
OpenDev
Community Events
OpenStack & OpenInfra Days
Summit Videos
Community
Welcome! Start Here
OpenStack Technical Committee
Speakers Bureau
Community Members
OpenStack Wiki
Get Certified (COA)
Jobs
Marketing Resources
Community News
Superuser Magazine
OpenInfra Foundation Supporting Organizations
OpenInfra Foundation
Marketplace
Training
Distros & Appliances
Public Clouds
Hosted Private Clouds
Remotely Managed Private Clouds
Consulting & Integrators
Drivers
Blog
Docs
Join
Sign up for Foundation Membership
Sponsor the Foundation
More about the Foundation
Log In
Individual Speaker Profile
Remish Leonard Minz
Back to Speakers Bureau
Date Joined:
July 14, 2016
Country:
India
Home Town:
Zip Code:
Registered for Upcoming Summit:
No
Statement of Interest
Areas Of Expertise
Formal Methods
Bio
I am Research Engineer at Hitachi working in Formal methods for 4 years
Willing to present via video conference:
No
Willing to travel to any country:
Yes
Fluent in
English
Contact Remish Leonard
Name of Organizer
Email
Event
Format/Length
Expected Attendance (number)
Date of Event
Location
Topic(s)
General Request
field_98438688
