Alex Rodrigue Ndouna

Alex Rodrigue Ndouna is a graduate student under the supervision of Professor Marc Frappier. He holds an engineering degree in computer design and a master’s degree in computer science. Alex is working on ASTD (Algebraic State Transition Diagrams) modeling of CCSL (Clock ConstraintSpecification Language) operators and also on the recognition of attacks by focusing on their temporal dimension, which I analyze with different specification and verification techniques. Alex is passionate about algorithms, coding and software engineering.