Research: Neuro-Symbolic, Causal, Safe-Robust, Decision Making Models. Teaching: Software Engineering AI Systems, Reinforcement Learning, Graph Neural Network
PCA_AquacultureSystem. Principal Component Analysis of Aquaculture Systems
2GM_TaskDurations_GaussianMixtures. Expectation Maximization to build Gaussian mixture models of the duration of task executions.
1STIGS-Artifact. Spatio-Temporal Interference Graph Simulation Artifact
1explain-my-redesign. Investigating a Large Language Model (LLM) based tool for explaning software redesign
1Complexity_Metrics. Computes different complexity metrics, Halstead, LOCs, Cyclomatic Complexity, etc.
1ProgramAnalysis. Implementations of static analysis algorithms (e.g., constant propagation and zero CFA).
1bayesianStudies. Scripts created to compute posterior probabilities
1