Louis-Noël Pouchet is affiliated with Colorado State University in the United States and specializes in computer science with a focus on hardware and architecture, information systems, and computer networks and communications. Their research also spans areas such as software, electrical and electronic engineering, parallel computing, embedded systems design, software engineering, software testing, formal methods in verification, interconnection networks, and logic programming.
The scientist's recent publications reflect a focus on software engineering and hardware design, emphasizing optimization and formal verification techniques. Notable papers include:
Louis-Noël Pouchet has frequently published in venues such as arXiv (Cornell University), ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on Software Engineering, the ACM/IEEE Design Automation Conference, and IEEE Access.
Frequent collaborators include Steve Kommrusch, Gabriel Rodríguez, Juan Touriño, Stéphane Pouget, and Théo Barollet, indicating active partnerships primarily in the fields of software engineering and hardware design.
Main topics of their work encompass:
Louis-Noël Pouchet's research contributions bridge both theoretical and applied aspects of computer science, with particular emphasis on improving hardware synthesis processes and software equivalence verification through formal and machine learning methods.
Zimin Chen;Steve Kommrusch;Michele Tufano;Louis-Noel Pouchet
Justin Holewinski;Louis-Noël Pouchet;P. Sadayappan
Mohamed-Walid Benabderrahmane;Louis-Noël Pouchet;Albert Cohen;Cédric Bastoul
Tobias Grosser;Hongbin Zheng;Raghesh Aloor;Andreas Simburger
Louis-Noël Pouchet;Cédric Bastoul;Albert Cohen;John Cavazos
Louis-Noel Pouchet;Peng Zhang;P. Sadayappan;Jason Cong
Louis-Noel Pouchet;Cedric Bastoul;Albert Cohen;Nicolas Vasilache
Tom Henretty;Richard Veras;Franz Franchetti;Louis-Noël Pouchet
Martin Kong;Richard Veras;Kevin Stock;Franz Franchetti
Tom Henretty;Kevin Stock;Louis-Noël Pouchet;Franz Franchetti
Louis-Noël Pouchet;Uday Bondhugula;Cédric Bastoul;Albert Cohen
Naser Sedaghati;Te Mu;Louis-Noel Pouchet;Srinivasan Parthasarathy
Eunjung Park;John Cavazos;Louis-Noël Pouchet;Louis-Noël Pouchet;Cédric Bastoul
Louis-Noël Pouchet;Uday Bondhugula;Cédric Bastoul;Albert Cohen
Kevin Stock;Louis-Noël Pouchet;P. Sadayappan
Kevin Stock;Martin Kong;Tobias Grosser;Louis-Noël Pouchet
Justin Holewinski;Ragavendar Ramamurthi;Mahesh Ravishankar;Naznin Fauzia
Jun Shirako;Kamal Sharma;Naznin Fauzia;Louis-Noël Pouchet
Mahesh Ravishankar;John Eisenlohr;Louis-Noël Pouchet;J. Ramanujam
Wei Zuo;Peng Li;Deming Chen;Louis-Noel Pouchet
If you think any of the details on this page are incorrect, let us know.
Exploring computer science can open multiple doors beyond traditional degrees. For those looking to quickly enhance job prospects, there are 3-month certificate programs that pay well. These can help you upskill and access high-demand tech jobs without spending years in higher education.
If you have a bachelor’s and want career advancement, consider the shortest master degree programs. These accelerated online degrees let you specialize in fields like data analytics, cybersecurity, or software engineering in as little as one year.
Graduate education can offer excellent returns, but choosing carefully is key. Explore graduate degrees that are worth it to ensure your investment matches industry demand and long-term career growth.
For those just starting out or seeking a flexible option, an online associate degree in computer science provides fundamental skills and a fast track to entry-level tech roles.
No matter where you are in your educational journey, these pathways offer flexible options to build a rewarding career in technology.
City University of Hong Kong
Wageningen University & Research
University of Agricultural Sciences and Veterinary Medicine Cluj-Napoca
Keio University
University of Sheffield
National Centre for Nuclear Research
Universidade Federal de Minas Gerais
Commonwealth Scientific and Industrial Research Organisation
Environment and Climate Change Canada
Agency for Toxic Substances and Disease Registry
European Centre for Training and Research in Earthquake Engineering
Kyoto University
University of Waterloo
Vlerick Business School
University at Buffalo, State University of New York
Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori