Constantina Spanoude: Difference between revisions
From Future Worlds Center Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 33: | Line 33: | ||
* Promela (PROcess MEta LAnguage) | * Promela (PROcess MEta LAnguage) | ||
* The model-checker SPIN (Simple Promela INterpreter) | * The model-checker SPIN (Simple Promela INterpreter) | ||
She has also some experience with HTML, PHP, openGL and Relational Language DBs (MySQL) | |||
==<font color="#D64C42">Research</font>== | ==<font color="#D64C42">Research</font>== | ||
