research Formal Verification of Graph Neural Networks GNNV — reachability-based formal verification of graph neural networks with node and edge features, delivering provable robustness guarantees for power-system surrogates and graph-classification models. Fairness Verification of Neural Networks FairNNV — certifying individual and counterfactual fairness of neural networks with reachability analysis, quantified by a Verified Fairness score and evaluated across bias-mitigation techniques. coursework Comparative Analysis of RL and Linear Control Methods for the Inverted Pendulum Problem
