Manuel Hidalgo Solá

I am a first-year M.S. student in Computer Science at Columbia University. I currently conduct research in the Formal Methods and Reasoning Group (FoRg) and the Wireless and Mobile Networking Lab (WiMNet). My work focuses on formally constraining machine learning models, in particular, learned controllers for cyber-physical systems.

I am also a co-founder of PraxisAI, an AI-native assessment platform for companies seeking candidates with strong agentic coding skills, and a space for applicants to sharpen those skills against current industry expectations.

Before Columbia, I received my B.S. in Computer Science from UC Santa Cruz, where I worked on bootstrap inference methods for econometric modeling.