(Updated July 2025)
Huascar Sanchez
Summary and Relevant Skills
Senior Computer Scientist with over 15 years of experience at the intersection of AI/ML and software engineering. Proven expertise in building and operating large-scale software systems for "Big Code" analytics and software introspection, with deep knowledge of AI/ML applications to software development and vice versa. Strong background in compound AI systems, with a special focus on multi-AI collaboration for data processing, source code analysis, and software analytics. Skilled in prototyping novel solutions, solving complex technical problems, communicating across technical and non-technical audiences, and leading interdisciplinary teams in both research and applied domains.
Skills
Software Development & Introspection
Software Engineering for AI
AI for Software Engineering
Software Analytics
Research & Development
Machine Learning for Source Code
Program Analysis for AI
Multi-LLM Collaboration for Coding Automation
Recommendation systems
Graph-based pattern mining
Current Position
2024 – now
SRI International · Menlo Park, CA
Senior Computer Scientist, Computer Science Laboratory
Leading applied research in AI/ML for code generation and analysis using Multi-AI collaboration and compound AI systems. Defining technical direction and developing principled methods to estimate response quality, task accuracy, and the degree of interaction between independent LLMs in collaborative coding tasks—enabling optimal coordination and multi-LLM recommendation.
Senior Computer Scientist, Computer Science Laboratory
Leading applied research in AI/ML for code generation and analysis using Multi-AI collaboration and compound AI systems. Defining technical direction and developing principled methods to estimate response quality, task accuracy, and the degree of interaction between independent LLMs in collaborative coding tasks—enabling optimal coordination and multi-LLM recommendation.
Projects
2024 – now
ARPA-H PARADIGM (Team: SRI)
Developing multi-LLM strategies and tooling for extracting data types and value constraints, learning JSON schemas, and generating schema-compliant code from diverse healthcare specification documents.
Developing multi-LLM strategies and tooling for extracting data types and value constraints, learning JSON schemas, and generating schema-compliant code from diverse healthcare specification documents.
2024 – now
IARPA ReSCIND (Team: SRI, IHMC, TwoSix, UFL, RAD, GMU, ColumbiaU, SimSpace)
Leading the development of cyber-specific computational cognitive models using self-supervised machine learning, Information Foraging Theory, and Fuzzy Cognitive Maps.
Leading the development of cyber-specific computational cognitive models using self-supervised machine learning, Information Foraging Theory, and Fuzzy Cognitive Maps.
2024 – now
ARPA-H DIGIHEALS (Team: SRI, Confidencial Inc., Homeward Health) ç
Working on automatic generation of formal representations from natural language, and leading the development of Agentic workflows for health data analysis, formalization, and composition.
Previous projects
DARPA ARCOS, DARPA SocialCyber, DARPA SoSITE, DARPA MUSE, DARPA CSFV.
(order of projects is arbitrary)
(order of projects is arbitrary)
Education
2015
University of California Santa Cruz · Ph.D. in Computer Science
Dissertation: Source code Curation Tooling for the Code Forager
Advisor: Prof. Jim Whitehead
Dissertation: Source code Curation Tooling for the Code Forager
Advisor: Prof. Jim Whitehead
2006
San Jose State University · M.S. in Software Engineering
MS Thesis title: Building Systems Using Patterns: Creating Knowledge Maps
Advisor: Prof. M.E. Fayad
MS Thesis title: Building Systems Using Patterns: Creating Knowledge Maps
Advisor: Prof. M.E. Fayad
2001
Catholic University of Nicaragua · B.S. in Information Systems Engineering
Professional Employment
2021 – 2023
SRI International · Menlo Park, CA
Advanced Computer Scientist II, Computer Science Laboratory
Developing multimodal and multi-task deep learning models for open-source software introspection and error profiling; continuing to lead efforts as a DARPA Social Cyber PI to secure open-source software supply chains by developing dynamic behavior embeddings to model social-cyber threats.
Advanced Computer Scientist II, Computer Science Laboratory
Developing multimodal and multi-task deep learning models for open-source software introspection and error profiling; continuing to lead efforts as a DARPA Social Cyber PI to secure open-source software supply chains by developing dynamic behavior embeddings to model social-cyber threats.
2019 – 2021
SRI International · Menlo Park, CA
Advanced Computer Scientist I, Computer Science Laboratory
Guiding the integration of formal verification and program analysis for continuous assurance case construction. Leading DARPA SocialCyber as Principal Investigator—defining project vision, delivering hybrid AI methods for securing software supply chains, mentoring junior researchers, and coordinating reporting across stakeholders.
Advanced Computer Scientist I, Computer Science Laboratory
Guiding the integration of formal verification and program analysis for continuous assurance case construction. Leading DARPA SocialCyber as Principal Investigator—defining project vision, delivering hybrid AI methods for securing software supply chains, mentoring junior researchers, and coordinating reporting across stakeholders.
2018 – 2019
SRI International · Menlo Park, CA
Advanced Computer Scientist, Computer Science Laboratory
Applying machine intelligence, graph mining, and dynamic program analysis to open-source software security; developing approaches for the integration and verification of systems of systems in distributed environments.
Advanced Computer Scientist, Computer Science Laboratory
Applying machine intelligence, graph mining, and dynamic program analysis to open-source software security; developing approaches for the integration and verification of systems of systems in distributed environments.
2016 – 2018
SRI International · Menlo Park, CA
Computer Scientist, Computer Science Laboratory
Leveraging Big Code Analytics and AI/ML for code search, recommendation, synthesis, and analysis.
Computer Scientist, Computer Science Laboratory
Leveraging Big Code Analytics and AI/ML for code search, recommendation, synthesis, and analysis.
2015 – 2016
SRI International · Menlo Park, CA
Postdoctoral Fellow, Computer Science Laboratory, Host: Hassen Saïdi
Developing learning-to-rank models for large-scale code search and recommendation, and novel lightweight source code summarization techniques for improved code understanding.
Postdoctoral Fellow, Computer Science Laboratory, Host: Hassen Saïdi
Developing learning-to-rank models for large-scale code search and recommendation, and novel lightweight source code summarization techniques for improved code understanding.
2014 – 2015
SRI International · Menlo Park, CA
Visiting Research Fellow, Computer Science Laboratory, Host: John Murray
Making formal verification scalable and accessible to broader audiences, including those without formal methods expertise, through crowd-sourced formal verification.
Visiting Research Fellow, Computer Science Laboratory, Host: John Murray
Making formal verification scalable and accessible to broader audiences, including those without formal methods expertise, through crowd-sourced formal verification.
2013 – 2015
University of California Santa Cruz · Santa Cruz, CA
Research Assistant, Software Introspection Laboratory
Empirical validation of Crowd-sourced formal verification methods.
Research Assistant, Software Introspection Laboratory
Empirical validation of Crowd-sourced formal verification methods.
2012 – 2013
University of California Santa Cruz · Santa Cruz, CA
Research Assistant, Information Retrieval Laboratory
Learning representations for multimodal cyber bullying detection.
Research Assistant, Information Retrieval Laboratory
Learning representations for multimodal cyber bullying detection.
2011 – 2012
University of California Santa Cruz · Santa Cruz, CA
Research Assistant, Software Introspection Laboratory
Developing AI-guided mixed-initiative content creation tools for automatic robot components design.
Research Assistant, Software Introspection Laboratory
Developing AI-guided mixed-initiative content creation tools for automatic robot components design.
2010 – 2011
University of California Santa Cruz · Santa Cruz, CA
Research Assistant, Database Group
Making semi-automatic index tuning in DBMS easier and more effective.
Research Assistant, Database Group
Making semi-automatic index tuning in DBMS easier and more effective.
2010 – 2012
Infomotor, Inc. · San Francisco, CA
Software Engineer (Consultant)
Streamlining both reporting and presentation of key performance metrics and delivering understandable and actionable data.
Software Engineer (Consultant)
Streamlining both reporting and presentation of key performance metrics and delivering understandable and actionable data.
2006 – 2009
Pearson VUE · Bloomington, MN
Software Engineer
Developing and maintaining distributed applications delivering over four million computer-based tests annually worldwide, supporting clients in licensure, certification, and assessment markets.
Software Engineer
Developing and maintaining distributed applications delivering over four million computer-based tests annually worldwide, supporting clients in licensure, certification, and assessment markets.
Publications
Conference Proceedings
2024
Continuous Safety & Security Evidence Generation, Curation and Assurance Case Construction Using the Evidential Tool Bus.
N. Shankar, M. Kim, H. Sanchez, H. Ruess, T. Beyene, R. Bouchekir, D. Bhatt, S. Varadarajan, A. Murugesan, H. Ren, I. Hong-Wong, K. Siu, S. Varanasi, M. D. Ernst.
43rd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2024.
N. Shankar, M. Kim, H. Sanchez, H. Ruess, T. Beyene, R. Bouchekir, D. Bhatt, S. Varadarajan, A. Murugesan, H. Ren, I. Hong-Wong, K. Siu, S. Varanasi, M. D. Ernst.
43rd AIAA/IEEE Digital Avionics Systems Conference (DASC), 2024.
2016
JayHorn: A Framework for Verifying Java programs.
T. Kahsai, P. Rümmer, H. Sanchez, and M. Schäf
CAV: 28th International Conference on Computer Aided Verification, 2016.
T. Kahsai, P. Rümmer, H. Sanchez, and M. Schäf
CAV: 28th International Conference on Computer Aided Verification, 2016.
2016
Design Lessons From Binary Fission: A Crowd Sourced Game for Precondition Discovery.
K. Compton, H. Logas, J. Osborn, C. Chakrabortti, K. Coffman, D. Fava, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, J. Whitehead, J. Murray, and B. Laurel.
CFDG: 11th International Joint Conference of DiGRA and FDG, 2016.
K. Compton, H. Logas, J. Osborn, C. Chakrabortti, K. Coffman, D. Fava, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, J. Whitehead, J. Murray, and B. Laurel.
CFDG: 11th International Joint Conference of DiGRA and FDG, 2016.
2016
Detecting Similar Programs via the Weisfeiler-Lehman Graph Kernel.
W. Li, H. Saïdi, H. Sanchez, M. Schäf, and P. Schweitzer.
ICSR: 15th International Conference on Software Reuse, 2016.
W. Li, H. Saïdi, H. Sanchez, M. Schäf, and P. Schweitzer.
ICSR: 15th International Conference on Software Reuse, 2016.
2016
Multistaging to Understand: Distilling the Essence of Java Code Examples.
H. Sanchez, J. Whitehead, and M. Schäf.
ICPC: 24th IEEE International Conference on Program Comprehension, 2016.
H. Sanchez, J. Whitehead, and M. Schäf.
ICPC: 24th IEEE International Conference on Program Comprehension, 2016.
2015
Source Code Curation on StackOverflow: The Vesperin System.
H. Sanchez and J. Whitehead.
ICSE: 37th IEEE/ACM International Conference on Software Engineering, 2015.
H. Sanchez and J. Whitehead.
ICSE: 37th IEEE/ACM International Conference on Software Engineering, 2015.
2014
Software Verification Games: Designing Xylem, the Code of Plants.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, D. Cetina, S. Clementi, and C. Lewis.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, D. Cetina, S. Clementi, and C. Lewis.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
2014
Xylem: The Code of Plants.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, C. Lewis, D. Cetina, and S. Clementi.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
H. Logas, J. Whitehead, M. Mateas, R. Vallejos, L. Scott, D. Shapiro, J. Murray, K. Compton, J. Osborn, O. Salvatore, Z. Lin, H. Sanchez, M. Shavlovsky, C. Lewis, D. Cetina, and S. Clementi.
FDG: 9th International Conference on the Foundations of Digital Games, 2014.
2013
SNIPR: Complementing Code Search with Code Retargeting Capabilities.
H. Sanchez.
ICSE: 35th International Conference on Software Engineering, 2013.
H. Sanchez.
ICSE: 35th International Conference on Software Engineering, 2013.
2012
Kaizen: A Semi-Automatic Index Advisor.
I. Jimenez, H. Sanchez, Q.T. Tran, and N. Polyzotis.
SIGMOD: The 2012 ACM International Conference on Management of Data, 2012.
I. Jimenez, H. Sanchez, Q.T. Tran, and N. Polyzotis.
SIGMOD: The 2012 ACM International Conference on Management of Data, 2012.
2012
Twitter Bullying Detection.
H. Sanchez and S. Kumar.
NSDI: Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation, 2012.
H. Sanchez and S. Kumar.
NSDI: Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation, 2012.
2010
Knowledge Maps — Fundamentally Modular Approach to Software Architecture, Design, Development and Deployment.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
SEDE: 19th International Conference on Software Engineering and Data Engineering, 2010.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
SEDE: 19th International Conference on Software Engineering and Data Engineering, 2010.
2006
The Branding Analysis Pattern.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
AICCSA: Proceedings of the IEEE International Conference on Computer Systems and Applications, 2006.
M. E. Fayad, H.A. Sanchez, and S.K. Singh.
AICCSA: Proceedings of the IEEE International Conference on Computer Systems and Applications, 2006.
2005
Towards Scalable and Adaptable Software Architectures.
M.E. Fayad, H.S. Hamza, and H.A. Sanchez.
IRI: The 2005 IEEE International Conference on Information Reuse and Integration, 2005.
M.E. Fayad, H.S. Hamza, and H.A. Sanchez.
IRI: The 2005 IEEE International Conference on Information Reuse and Integration, 2005.
2005
The Dynamic Mapping Design Pattern.
J. Gresh, J. McKim, and H. Sanchez.
PLOP: 12th Pattern Language of Programs Conference, 2005.
J. Gresh, J. McKim, and H. Sanchez.
PLOP: 12th Pattern Language of Programs Conference, 2005.
2004
A Pattern Language for CRC Cards.
M. Fayad, H. Sanchez, and H. Hamza.
PLOP: 11th Conference on Pattern Languages of Programs, 2004.
M. Fayad, H. Sanchez, and H. Hamza.
PLOP: 11th Conference on Pattern Languages of Programs, 2004.
2003
The Sampling Analysis Pattern.
H.A. Sanchez, B. Lai, and M.E. Fayad.
IRI: IEEE International Conference on Information Reuse and Integration, 2003.
H.A. Sanchez, B. Lai, and M.E. Fayad.
IRI: IEEE International Conference on Information Reuse and Integration, 2003.
Workshop Papers
2023
Software Introspection for Signaling Social-Cyber Operations.
H. Sanchez and B. Hitaj.
DESTION: 5th Workshop on Design Automation for CPS and IoT, 2023.
H. Sanchez and B. Hitaj.
DESTION: 5th Workshop on Design Automation for CPS and IoT, 2023.
2016
Putting Your Passwords on Self Destruct Mode: Beating Password Fatigue.
H. Sanchez, J. Murray, and D. Sanchez.
SOUPS: 12th Symposium on Usable Privacy and Security, 2016.
H. Sanchez, J. Murray, and D. Sanchez.
SOUPS: 12th Symposium on Usable Privacy and Security, 2016.
2015
BotPrint: Casual Robotic Evolution.
K. Compton, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, and J. Whitehead.
WCCG: 1st Workshop on Computational Creativity and Games, 2015.
K. Compton, D. Lederle-Ensign, Z. Lin, J. Mazeika, A. Mobramaein, J. Pagnutti, H. Sanchez, and J. Whitehead.
WCCG: 1st Workshop on Computational Creativity and Games, 2015.
Journal Articles
2011
Benchmarking Online Index-Tuning Algorithms.
I. Jimenez, J. LeFevre, N. Polyzotis, H. Sanchez, and K. Schnaitter.
IEEE Data Engineering Bulletin, 2011.
I. Jimenez, J. LeFevre, N. Polyzotis, H. Sanchez, and K. Schnaitter.
IEEE Data Engineering Bulletin, 2011.
Books
2014
Software Patterns, Knowledge Maps, and Domain Analysis.
M. Fayad, H.A. Sanchez, S.G.K. Hegde, A. Basia, and A. Vakil.
CRC Press, 2014. ISBN 9781466571433
M. Fayad, H.A. Sanchez, S.G.K. Hegde, A. Basia, and A. Vakil.
CRC Press, 2014. ISBN 9781466571433
Reports and Other Publications
2022
DesCert: Design for Certification.
N. Shankar, D. Bhatt, M. Ernst, M. Kim, S. Varadarajan, S. Millstein, J. Navas, J. Biatek, H. Sanchez, A. Murugesan, H. Ren.
Technical report, 2022. arxiv:2203.15178
N. Shankar, D. Bhatt, M. Ernst, M. Kim, S. Varadarajan, S. Millstein, J. Navas, J. Biatek, H. Sanchez, A. Murugesan, H. Ren.
Technical report, 2022. arxiv:2203.15178
2022
Trust in Motion: Capturing Trust Ascendancy in Open-Source Projects using Hybrid AI.
H. Sanchez and B. Hitaj.
ArXiv [Cs.SE]. arxiv:2210.02656
H. Sanchez and B. Hitaj.
ArXiv [Cs.SE]. arxiv:2210.02656
2021
Leveraging Team Dynamics to Predict Open-source Software Projects' Susceptibility to Social Engineering Attacks.
L. Giovanini, D. Oliveira, H. Sanchez, D. Shands.
ArXiv [Cs.SE]. arxiv:2106.16067
L. Giovanini, D. Oliveira, H. Sanchez, D. Shands.
ArXiv [Cs.SE]. arxiv:2106.16067
Patents
2023
Intelligent Collaborative Project Management.
D. Sanchez, H. Sanchez, H. Saïdi.
United States patent 11610173, 2023.
D. Sanchez, H. Sanchez, H. Saïdi.
United States patent 11610173, 2023.
2022
Multipath verification of data transforms in a system of systems.
B. Dutertre, S. Jha, H. Sanchez, P. Lincoln, E. M. Pearson, R. Dean, I. A. Mason.
United States patent 2022/0197881, 2022.
B. Dutertre, S. Jha, H. Sanchez, P. Lincoln, E. M. Pearson, R. Dean, I. A. Mason.
United States patent 2022/0197881, 2022.