Davis Davalos-delosh

Research Intern at Colorado State University

Fort Collins, Colorado, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Davis Davalos-delosh is a research-focused software engineer with 10 years of experience, currently a Research Intern in Dr. Ravi Mangal’s Trustworthy Systems Lab at Colorado State University working on AI safety, LLM trustworthiness, and adversarial ML. He specializes in developing adversarial attacks against code-generation models and AI agents, probing Chain-of-Thought faithfulness, and building tooling for mechanistic interpretability and experimental analysis. Davis combines hands-on systems and cloud-native testing experience from graduate teaching and networking research with applied ML research, producing measurable improvements in video conferencing QoE and contributing to publications. Based in Fort Collins, he blends rigorous CS training from the University of Colorado Boulder with interdisciplinary research on human factors and VR, and has a practical bent for turning experiments into reproducible software and publishable results. An uncommon strength is his ability to span low-level concurrency and networking work up to high-level LLM safety evaluations, making him effective at bridging theory and implementation.
code10 years of coding experience
job1 year of employment as a software developer
bookJapanese, Japanese at Kyoto JaLS
bookHigh School Diploma, Computer Science, High School Diploma, Computer Science at Poudre High School
bookAssociate's degree, General Studies, Associate's degree, General Studies at Front Range Community College
bookMaster's degree, Computer Science, Master's degree, Computer Science at University of Colorado Boulder College of Engineering & Applied Science
languagesEnglish, Spanish, Japanese
github-logo-circle

Github Skills (200)

magenta10
synchronization10
programming-language10
nix10
wayland10
music10
end-to-end-encryption10
qt10
linux10
golang10
generative-art10
go10
music-generation10
fade9
slurm9

Programming languages (18)

C#JavaC++RustCScalaGoHTML

Github contributions (5)

github-logo-circle
Programmerino/AntiMinerblock

Nov 2017 - Mar 2018

Contributions:38 commits, 44 pushes, 1 branch in 3 months
Contributions:118 commits, 114 pushes, 1 branch in 1 year 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial