Simon Bliudze
5 SlideShares 3 Followers
Personal Information
Organization / Workplace
Geneva Area, Switzerland Switzerland
Occupation
Scientific collaborator
Industry
Education
Website
http://www.bliudze.me/simon
About
PhD in Computer Science, currently focusing on component-based systemic modeling, I have a long record of successful experiences in both academic and industrial environment. Capable of working autonomously, I take particular pleasure in working as part of a team encouraging a stimulating exchange of creative ideas.
Contact Details
Tags
bip parallel programs critical software swhw co-design embedded software correct by construction embedded systems verification safety properties concurrent programs real-time software glue synthesis coordination constraints software composition glue design rigourous component based
See more

Presentations

(5)
See all

Bip Résumé (French)

13 years ago • 358 Views

Bip Summary (English)

13 years ago • 833 Views

Bip Design Flow

13 years ago • 365 Views

Slides for the presentation at SC 2011

12 years ago • 278 Views

Constraints bliudze-slides-sc2011

12 years ago • 224 Views
Personal Information
Organization / Workplace
Geneva Area, Switzerland Switzerland
Occupation
Scientific collaborator
Industry
Education
Website
http://www.bliudze.me/simon
About
PhD in Computer Science, currently focusing on component-based systemic modeling, I have a long record of successful experiences in both academic and industrial environment. Capable of working autonomously, I take particular pleasure in working as part of a team encouraging a stimulating exchange of creative ideas.
Tags
bip parallel programs critical software swhw co-design embedded software correct by construction embedded systems verification safety properties concurrent programs real-time software glue synthesis coordination constraints software composition glue design rigourous component based
See more