AeroLeads people directory · profile
Colin Gordon Email & Phone Number
Associate Professor
at
Drexel University College of Computing & Informatics
1 work email found
@drexel.edu
2 phones found area 203
LinkedIn matched
4 data sources
Profile completeness 100%
Current company
Role
Associate Professor
Location
Philadelphia, Pennsylvania, United States
Who is Colin Gordon? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Colin Gordon is listed as Associate Professor at Drexel University College of Computing & Informatics, based in Philadelphia, Pennsylvania, United States. AeroLeads shows a work email signal at drexel.edu, phone signal with area code 203, and a matched LinkedIn profile for Colin Gordon.
Colin Gordon previously worked as Assistant Professor at Drexel University and Senior Research Engineer at Samsung Research America. Colin Gordon holds Phd, Computer Science from University Of Washington.
Company email context
Email format at Drexel University College of Computing & Informatics
This section adds company-level context without repeating Colin Gordon's masked contact details.
{first_initial}{last}@drexel.edu
76% confidence
AeroLeads found 1 current-domain work email signal for Colin Gordon. Compare company email patterns before reaching out.
Profile bio
About Colin Gordon
Researcher with a goal of improving the reliability of software systems through improvements in programming languages: preventing errors up front via language abstractions that disallow certain errors or through sound static analyses to detect whole classes of defects. Driven by both academic and industry experience with operating system kernels, particularly interested in type systems and program verification for concurrent and systems-level programs.See my homepage for publications and research details.Specialties: Programming languages, concurrency, parallelism, type theory, compilers, operating systems.
Listed skills include Programming Languages, Compilers, Operating Systems, Computer Science, and 15 others.
Current workplace
Colin Gordon's current company
Company context helps verify the profile and gives searchers a useful next step.
Drexel University College Of Computing & Informatics
AeroLeads page
10 roles
Colin Gordon work experience
A career timeline built from the work history available for this profile.
Associate Professor
Current
Sep 2021 - Present
Assistant Professor
Research on formal verification of operating system kernels and filesystems; advanced type systems for ruling out more software defects in real-world Java programs; applying classic model-theoretic NLP for more readable formal specifications and automated documentation.Teaching courses on software testing and distributed systems.
Aug 2015 - Aug 2021
Senior Research Engineer
Samsung Research America
Using type systems to enable efficient ahead-of-time compilation of Javascript.
Aug 2014 - Aug 2015
Phd Student
PhD student focusing on programming languages. Specifically, type systems for safe concurrency and program verification.Working as RA. Previously graduate TA for CSEP551: Operating Systems and CSE333: Systems Programming.See my UW homepage for more detail on my research and publications.
Sep 2009 - Aug 2014
Sde Intern
Working on a language incubation project; safe concurrency extensions fo C# using reference immutability permissions. Initial support for built-in contracts (a la design-by-contract) in the Midori project's C# derivative, and exploratory experiments with feeding said contracts to the Clousot static analyzer from MSR.
Jun 2011 - Sep 2011
Software Development Engineer
Technical Strategy Incubation Group. Kernel work on the Midori OS project, which implemented a new OS primarily in C#. My work included kernel debugging support (including virtual-memory interactions, debugging transport, post-mortem debugging), interrupt handling (scheduler activations for user-mode drivers), platform abstractions.
Aug 2008 - Sep 2009
Uta, Head Ta, Meta-Ta, Consultant, Faculty-Support
At various times I was a TA for CS4, CS17, and CS18, Head TA for CS17 and CS18 (introductory courses), Head TA for CS167/9 (Operating Systems) and CS190 (upper-level software engineering), Meta-TA (helping to run the CS department's TA program), CS computer lab consultant, and faculty tech support for CS faculty. More details on website/resume.
Jan 2005 - May 2008
Solaris Kernel Intern
Merged two processor grouping abstractions in the Solaris kernel.
Jun 2007 - Aug 2007
Member Of Technical Staff (Intern)
Designed & implemented special-purpose filesystem; see patents.
Jun 2006 - Aug 2006
3 education records
Colin Gordon education
Phd, Computer Science
Ms, Computer Science
Sc.B., Computer Science
FAQ
Frequently asked questions about Colin Gordon
Quick answers generated from the profile data available on this page.
What company does Colin Gordon work for?
Colin Gordon works for Drexel University College of Computing & Informatics.
What is Colin Gordon's role at Drexel University College of Computing & Informatics?
Colin Gordon is listed as Associate Professor at Drexel University College of Computing & Informatics.
What is Colin Gordon's email address?
AeroLeads has found 1 work email signal at @drexel.edu for Colin Gordon at Drexel University College of Computing & Informatics.
What is Colin Gordon's phone number?
AeroLeads has found 2 phone signal(s) with area code 203 for Colin Gordon at Drexel University College of Computing & Informatics.
Where is Colin Gordon based?
Colin Gordon is based in Philadelphia, Pennsylvania, United States while working with Drexel University College of Computing & Informatics.
What companies has Colin Gordon worked for?
Colin Gordon has worked for Drexel University College Of Computing & Informatics, Drexel University, Samsung Research America, University Of Washington, and Microsoft.
How can I contact Colin Gordon?
You can use AeroLeads to view verified contact signals for Colin Gordon at Drexel University College of Computing & Informatics, including work email, phone, and LinkedIn data when available.
What schools did Colin Gordon attend?
Colin Gordon holds Phd, Computer Science from University Of Washington.
What skills is Colin Gordon known for?
Colin Gordon is listed with skills including Programming Languages, Compilers, Operating Systems, Computer Science, Debugging, Distributed Systems, Software Engineering, and Algorithms.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Colin Gordon you were looking for.
View similar profiles
