Our projects
 | DPMine: modeling and process mining language and tools Project lead: research fellow Sergey A. Shershakov. |
| — | |
 | Gena: Event Log Generator Carassius: Simple Model Editor Projects lead: research fellow Alexey A. Mitsyuk. |
| — | |
 | Transition Systems Reduction Project lead: research fellow Sergey A. Shershakov. |
| — | |
 | Process Model Repair using Decomposition Projects lead: research fellow Alexey A. Mitsyuk. |
| — | |
 | Modelling and Validation of Trading Systems Project Researcher: research assistant Julio C. Carrasquel. |
We are waiting for ones intrerested in process mining and formal verification. We have a good challenges and offer to deal with them as your course works and bachelor/master thesis under the supervision of PAIS Lab fellows. | |
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.