Xiaolan Xie

• Data Science
• Petri nets
• Formal Methods in Manufacturing