Armando Solar-Lezama is affiliated with the Massachusetts Institute of Technology (MIT) in the United States. Their research primarily spans the field of Computer Science, with significant contributions in Artificial Intelligence, Information Systems, and Software. Further specializations include Hardware and Architecture as well as Computational Mechanics.
The scientist's work concentrates on several key topics, including Software Engineering Research, Logic, Programming, and Type Systems. They have also contributed to areas such as Reinforcement Learning in Robotics, Software Testing and Debugging Techniques, Topic Modeling, Manufacturing Process and Optimization, and 3D Shape Modeling and Analysis.
Their recent publications include:
Frequent collaborators in their research include Joshua B. Tenenbaum, Yewen Pu, Kevin Ellis, Wojciech Matusik, and Osbert Bastani.
Their publications often appear in venues such as arXiv (Cornell University), Proceedings of the ACM on Programming Languages, Artifact Digital Object Group, ACM Transactions on Graphics, and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences.
Armando Solar-Lezama;Liviu Tancau;Rastislav Bodik;Sanjit Seshia
Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin
Rajeev Alur;Rastislav Bodík;Eric Dallal;Dana Fisman
Rishabh Singh;Sumit Gulwani;Armando Solar-Lezama
Rastislav Bodik;Armando Solar-Lezama
Armando Solar-Lezama;Rodric Rabbah;Rastislav Bodík;Kemal Ebcioğlu
Rajeev Alur;Rastislav Bodik;Garvit Juniwal;Milo M. K. Martin
Armando Solar-Lezama
Nadia Polikarpova;Ivan Kuraj;Armando Solar-Lezama
Armando Solar-Lezama;Christopher Grant Jones;Rastislav Bodik
Osbert Bastani;Yewen Pu;Armando Solar-Lezama
Derrick Lin;James Koppel;Angela Chen;Armando Solar-Lezama
Xi Wang;Nickolai Zeldovich;M. Frans Kaashoek;Armando Solar-Lezama
Armando Solar-Lezama;Gilad Arnold;Liviu Tancau;Rastislav Bodik
Jean Yang;Kuat Yessenov;Armando Solar-Lezama
Armando Solar-Lezama
Alvin Cheung;Armando Solar-Lezama;Samuel Madden
Kevin Ellis;Daniel Ritchie;Armando Solar-Lezama;Joshua B. Tenenbaum
Karl D. D. Willis;Yewen Pu;Jieliang Luo;Hang Chu
Rishabh Singh;Armando Solar-Lezama
Kevin Ellis;Catherine Wong;Maxwell I. Nye;Mathias Sablé-Meyer
Kevin Ellis;Maxwell I. Nye;Yewen Pu;Felix Sosa
Kevin Ellis;Catherine Wong;Maxwell Nye;Mathias Sablé-Meyer
If you think any of the details on this page are incorrect, let us know.
When considering a degree in Computer Science in the USA, it's smart to explore related fields and flexible pathways to advance your career. Online degrees make it possible to fast-track your education, balance life commitments, and access a wider range of job options.
A fast track computer science degree is ideal for those looking to gain skills and enter the workforce quickly. These accelerated programs let you complete coursework in less time and can open doors to tech roles sooner than traditional programs.
Expanding your focus, you might also consider fields like environmental sciences or engineering for diverse career outcomes. For example, understanding what jobs can you get with an environmental science degree shows a pathway to roles in sustainability, research, and consulting.
Technical fields such as environmental engineering degree or an online mechanical engineering degree also pair well with computer science skills, leading to hybrid roles in automation, design, and systems analysis.
Blending your interests with an online degree program can maximize your opportunities for growth in today’s digital job market.
University of Namur
University of Toronto
University of Victoria
University of British Columbia
University of Rajasthan
University of Strasbourg
Johns Hopkins University
University of Turin
Yahoo (United States)
Lomonosov Moscow State University
University of Eastern Piedmont Amadeo Avogadro
Rutgers, The State University of New Jersey
Rutgers, The State University of New Jersey
University of Zagreb
Yantai University
Ghent University
