Constantina Spanoude: Difference between revisions

From Future Worlds Center Wiki
Jump to navigationJump to search
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)
She has also some experience with HTML, PHP, openGL and Relational Language DBs (MySQL).
 


==<font color="#D64C42">Research</font>==
==<font color="#D64C42">Research</font>==

Navigation menu