As a graduate student at Carnegie Mellon University pursuing a Master’s in Computer Science Research, I’m dedicated to solving complex problems with innovative solutions across AI, discrete mathematics, and advanced algorithm design. My academic and research background, paired with hands-on project experience, has equipped me with a unique blend of technical and problem-solving skills that are ideal for impactful software engineering roles.Core Competencies:Programming Languages: Python, Java, C, SML, Go, Lean, HTML, CSSAreas: Mechanized Reasoning, Artificial Intelligence, Machine Learning, Algorithm Design, Data StructuresSoftware: Git, Unix/Linux, Terminal, LaTeX, Google Suite, Microsoft Office