Skills Page Control systems design for constrained systems Formal safety verification of safety-critical control systems Embedded system design Industrial automation and instrumentations
