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 (SQL, MySQL). | ||
<br> | <br> | ||
==<font color="#D64C42">Research</font>== | ==<font color="#D64C42">Research</font>== | ||
'''MASTER THESIS:<br>“Implementation and experimental analysis of Asynchronous Distributed Gossip Algorithms”''' | '''MASTER THESIS:<br>“Implementation and experimental analysis of Asynchronous Distributed Gossip Algorithms”''' | ||
