# Colin Gordon > American computer scientist **Wikidata**: [Q60058530](https://www.wikidata.org/wiki/Q60058530) **Source**: https://4ort.xyz/entity/colin-gordon-q60058530 ## Summary Colin Gordon is an American computer scientist known for his research in software verification and concurrent programming. He earned his doctorate from the University of Washington in 2014, where he studied under Michael D. Ernst, and has since worked as a researcher and educator in the field of computer science. ## Biography - Born: Not specified - Nationality: United States - Education: - Bachelor of Science from Brown University (2008) - Master of Science from University of Washington (2011) - Doctor of Philosophy from University of Washington (2014) - Known for: Research in software verification and concurrent programming - Employer(s): - Drexel University (assistant professor, 2015-2021) - University of Washington (research assistant, 2009-2014) - Microsoft (2008-2009) - Field(s): Computer science, software verification, concurrent programming ## Contributions Colin Gordon's doctoral research focused on verifying concurrent programs by controlling alias interference, a significant challenge in software verification. His work at the University of Washington under Michael D. Ernst contributed to advancing methods for ensuring the correctness of concurrent software systems. Gordon has published extensively in his field, with his research indexed in major academic databases including Google Scholar, Semantic Scholar, and the ACM Digital Library. His contributions have helped improve the reliability and safety of concurrent software systems, which are critical in modern computing environments where multiple processes must operate simultaneously without interference. ## FAQs ### Q: What is Colin Gordon's area of expertise? A: Colin Gordon specializes in computer science, specifically in software verification and concurrent programming. His research focuses on developing methods to verify that concurrent programs function correctly without interference between different processes. ### Q: Where did Colin Gordon receive his education? A: Colin Gordon earned his Bachelor of Science from Brown University in 2008, his Master of Science from the University of Washington in 2011, and his Doctor of Philosophy from the University of Washington in 2014. ### Q: What was Colin Gordon's doctoral thesis about? A: Colin Gordon's doctoral thesis was titled "Verifying Concurrent Programs by Controlling Alias Interference," which addressed the challenge of ensuring correct behavior in concurrent software systems where multiple processes might interfere with each other. ## Why They Matter Colin Gordon's research in software verification and concurrent programming addresses fundamental challenges in modern computing. As software systems become increasingly complex and concurrent, the need for reliable verification methods has grown critical. Gordon's work on controlling alias interference in concurrent programs has contributed to making software systems more dependable and secure. His research helps prevent bugs and vulnerabilities that could arise when multiple processes interact, which is essential for everything from operating systems to cloud computing infrastructure. By advancing verification techniques, Gordon has helped improve the overall quality and reliability of software that powers critical systems worldwide. ## Notable For - Developed verification methods for concurrent programs through his doctoral research - Published extensively in top computer science venues with work indexed across major academic databases - Studied under renowned computer scientist Michael D. Ernst at the University of Washington - Contributed to advancing software verification techniques that improve system reliability - Maintained active presence in academic community through multiple professional profiles and publications ## Body ### Academic Background and Research Focus Colin Gordon completed his undergraduate studies at Brown University, earning a Bachelor of Science degree in 2008. He then pursued graduate studies at the University of Washington, where he obtained both his Master of Science (2011) and Doctor of Philosophy (2014) degrees. His doctoral advisor was Michael D. Ernst, a prominent figure in software engineering research. ### Professional Experience Gordon's professional career includes positions at major technology organizations. He worked at Microsoft from 2008 to 2009, gaining industry experience before returning to academia. From 2015 to 2021, he served as an assistant professor at Drexel University, where he combined research with teaching responsibilities. Earlier, he worked as a research assistant at the University of Washington from 2009 to 2014 while completing his doctoral studies. ### Research Contributions Gordon's primary research contribution centers on software verification, particularly for concurrent programs. His doctoral thesis, "Verifying Concurrent Programs by Controlling Alias Interference," addresses a fundamental challenge in computer science: ensuring that programs with multiple concurrent processes operate correctly without unintended interference. This work has implications for operating systems, distributed systems, and any software where multiple processes must coordinate safely. ### Academic Impact and Recognition Gordon's research has been widely disseminated through academic publications and is indexed in major scholarly databases including Google Scholar (author ID: Y9ek5GIAAAAJ), Semantic Scholar (author ID: 144547738), and the ACM Digital Library (author ID: 81496660244). His work maintains visibility through his active online presence, including his personal website (https://csgordon.github.io/) and professional profiles on platforms like Mastodon and GitHub (username: csgordon). ### Educational Legacy Through his teaching and research at Drexel University and his doctoral mentorship at the University of Washington, Gordon has contributed to training the next generation of computer scientists. His work bridges theoretical computer science with practical software engineering challenges, preparing students to address real-world problems in software verification and concurrent systems design. ## References 1. WorldCat 2. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-9012-4490/employment/1164217) 3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-9012-4490/employment/939757) 4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-9012-4490/employment/939758) 5. Virtual International Authority File 6. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-9012-4490/researcher-urls/729039) 7. [ORCID Public Data File 2020](https://pub.orcid.org/v3.0_rc1/0000-0002-9012-4490/researcher-urls/729037) 8. [SciGraph](https://scigraph.springernature.com/person.07674542607.73)