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
Presentations
(5)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