Alejandro Velasco is a doctoral candidate in Computer Science at William & Mary, working at the intersection of Software Engineering and Artificial Intelligence. His research studies how deep learning models reason about software artifacts, emphasizing the structural, semantic, and behavioral properties of AI-generated code. He integrates formal and probabilistic reasoning, causal inference, and interpretability techniques to analyze and improve the security, robustness, and reliability of AI software systems. His research advances transparent and trustworthy AI methods that support core software engineering tasks, such as code understanding and generation.