Cormac Flanagan is affiliated with the University of California, Santa Cruz in the United States. Their research spans multiple fields, prominently including Physics and Astronomy as well as Computer Science.
The scientist's work covers a range of subfields such as Astronomy and Astrophysics, Artificial Intelligence, Nuclear and High Energy Physics, and Computational Theory and Mathematics. Their research topics further focus on Astrophysics and Cosmic Phenomena, Galaxies: Formation, Evolution, Phenomena, Astrophysics and Star Formation Studies, Formal Methods in Verification, Logic, programming, and type systems, and Logic, Reasoning, and Knowledge.
Among the recent publications by Cormac Flanagan are:
Frequent co-authors in their collaborative work include:
Consistent with these collaborations, the main publication venues for their work include:
Cormac Flanagan has been recognized by professional societies with awards such as the ACM Fellow designation in 2020 for contributions to static and dynamic program debugging and verification methods. Earlier distinctions include the ACM Senior Member status awarded in 2013.
Cormac Flanagan;K. Rustan M. Leino;Mark Lillibridge;Greg Nelson
Cormac Flanagan;Stephen N. Freund
Cormac Flanagan;Patrice Godefroid
Cormac Flanagan;Amr Sabry;Bruce F. Duba;Matthias Felleisen
Cormac Flanagan;Stephen N. Freund
Cormac Flanagan;Stephen N. Freund
Cormac Flanagan;K. Rustan M. Leino
Cormac Flanagan;Shaz Qadeer
Cormac Flanagan;Shaz Qadeer
Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt
Cormac Flanagan
Cormac Flanagan;James B. Saxe
Thomas H. Austin;Cormac Flanagan
Martin Abadi;Cormac Flanagan;Stephen N. Freund
David Herman;Aaron Tomb;Cormac Flanagan
Thomas H. Austin;Cormac Flanagan
Cormac Flanagan;Shaz Qadeer
Cormac Flanagan;Martín Abadi
Cormac Flanagan;Stephen N. Freund;Jaeheon Yi
Cormac Flanagan;Matthias Felleisen
If you think any of the details on this page are incorrect, let us know.
Exploring online education opens up flexible options for advancing your tech career in the USA. For those interested in engineering, there are a variety of online electrical engineering courses USA that can complement or broaden your computer science expertise.
If you want a faster entry into the workforce, consider pursuing certifications for jobs. These credentials are designed to be completed quickly, providing specialized skills that are highly valued by employers.
Many students also seek graduate degrees that fit a tight schedule. The fastest masters degree online programs can help you boost your qualifications without putting your life on hold. Additionally, choosing from the most in demand masters degrees will keep your skills relevant in a competitive job market.
Connecting these pathways with your computer science studies empowers you to build a resilient, future-oriented career in technology.
Technical University of Munich
University of Cape Town
Utah State University
University of Zurich
Spanish National Research Council
Vanderbilt University Medical Center
Kyoto University
Scripps Research Institute
Northwestern University
Indian Institute of Chemical Biology
Icahn School of Medicine at Mount Sinai
Heriot-Watt University
University of Montreal
Temple University
University of Bern
Democritus University of Thrace
