The PEPA Plug-in Project |
The godfather, so to speak of PEPA tools. We all pay homage to our mentor. We were told we'd get a really good view of the Firth of Forth if we didn't get a new binary out soon.
Creator of the PEPAto library and much of the work on the Eclipse UI. You can look upon Mirco as the chief software engineer of the new PEPA workbench. Mirco is connected to the Sensoria project.
Adam is responsible for the code that connects PEPA with ISBJava. If anything connected with time series analysis is broken or looks plain ugly it's probably his fault.
Allan is one of the lead developers of ipclib. Stay tuned for more connected work with PEPA from this juggling Scots.
Michael is the developer of the abstraction and model checking functionality in the PEPA plugin. His terrible puns have the power to bring coffee breaks to an abrupt halt. Michael was funded by a Microsoft Research European Scholarship whilst developing these features.