Galois, Inc.

Industry: Company

Description

Headquarters: Portland, OR

Galois, Inc. List of Employees There's an exhaustive list of past and present employees! Get comprehensive information on the number of employees at Galois, Inc.. You can filter them based on skills, years of employment, job, education, department, and prior employment.

Galois, Inc. Salaries. You can even request information on how much does Galois, Inc. pay if you want to. Learn about salaries, pros and cons of working for Galois, Inc. directly from the past employees.

Find People by Employers You can rekindle an old relationship, reconnect with a long-lost friend, former boss, business acquaintance who might be useful in your new line of work. With our employee database, the possibilities are endless. All you have to do is type in a couple of keywords and we'll bring you the exact information you wanted!

50 Galois, Inc. employees in database. Find out everything there's to know about Galois, Inc. employees. We offer you a great deal of unbiased information from the internal database, personal records, and many other details that might be of interest to you.

Galois, Inc. Employees

Employee
Years
Job
Industry
Shpatar Morina Shpatar Morina Portland, Oregon Area Details
Shpatar Morina's Galois, Inc. Experience June 2014 - Present
Job Technology Adoption at Galois, Inc.
Industry Computer & Network Security
Experience
Galois, Inc.   June 2014 - Present
TOZNY   June 2014 - Present
Willamette University  August 2012 - April 2013
New Moment New Ideas   November 2010 - July 2012
MediaBASKET   October 2009 - October 2010
BIRN   May 2008 - September 2008

Skills
Leading Diverse Teams, Individualization, Idea Generation, Strategic Thinking, Internet Video..., Advertising, Creative Direction, Website Development, Project Management, Internet Entrepreneur, Entrepreneurship, Entrepreneurial..., Entrepreneurship..., Marketing, Marketing Strategy, Online Advertising, Social Networking, Social Media Marketing, Business Planning, Social Media, Start-ups, Market Research, Research, Marketing Communications, Strategic Partnerships, Digital Marketing, Project Planning, Cross-functional Team..., Marketing Research, Google Adwords, Google Analytics, Marketing Management, Online Marketing, Email Marketing, Brand Development, New Media, Brand Management, SEM, SEO, PPC

Education
Willamette University - Atkinson Graduate School of Management   2012 — 2014
Master of Business Administration (MBA), Entrepreneurship/Entrepreneurial Studies

American University in Bulgaria   2005 — 2009
Bachelor of Arts, Journalism, Mass Communications, Computer Science.

Keshav Kini Keshav Kini Austin, Texas Details
Keshav Kini's Galois, Inc. Experience May 2014 - August 2014
Job PhD Student at the University of Texas at Austin
Industry Research
Experience
The University of Texas at Austin  September 2013 - Present
Galois, Inc.   May 2014 - August 2014
Nanyang Technological University  September 2010 - September 2012

Skills
Algorithms, LaTeX, Matlab, Mathematical Modeling, C++, Computer Science, R, Research, Teaching, Python, Java, C, Japanese, Machine Learning, Statistics, Programming, Simulations, Data Analysis, Haskell

Education
The University of Texas at Austin   2013 — 2019
Doctor of Philosophy (PhD), Computer Science

Portland State University   2012 — 2013
Computer Science

Nanyang Technological University   2006 — 2010
Bachelor of Science (B.Sc.), Mathematics, 1st Class Honors

Daniel J. West Daniel J. West Portland, Oregon Area Details
Daniel J. West's Galois, Inc. Experience June 2015 - Present
Job Experienced Information Technology Professional
Industry Information Technology and Services
Experience
Galois, Inc.   June 2015 - Present
Peak Hosting  May 2014 - June 2015
Dr. Bott  May 2012 - May 2014
Canby Telcom  October 2008 - May 2012
Canby Telcom  November 2005 - October 2008

Skills
DSL, TCP/IP, VoIP, Network Administration, Troubleshooting, Telecommunications, ATM networks, Cabling, Servers, Computer Hardware, System Administration, Windows, FTTx, Software Documentation, Product Management, Project Planning, Network Design, Ethernet, IPTV, Optical Fiber, Mac OS, FileMaker, Python, Bash, OpenBSD, CentOS, Fedora, LDAP, Mac OS X Server, MySQL, Ubuntu, IP, Switches, Awesomeness, Networking, Cisco Technologies

Education
ITT Technical Institute-Portland   2008 — 2010
Bachelor's degree, Data Communications System Technology, 3.6

ITT Technical Institute-Portland   2005 — 2008
Associate's degree, Computer Networking Systems

Brian Ledger Brian Ledger Boston, Massachusetts Details
Brian Ledger's Galois, Inc. Experience September 2012 - February 2013
Job Data Scientist at Coherent Path
Industry Computer Software
Experience
Coherent Path  July 2014 - Present
SoftArc Ltd.   December 2013 - July 2014
Rentenna   March 2013 - June 2013
Galois, Inc.   September 2012 - February 2013
iQueueTV   December 2011 - September 2012
Geoloqi.com   April 2011 - August 2011
Cornell University  2006 - 2011
Clearwell Systems  June 2010 - August 2010
Brian Ledger   January 2009 - July 2009
Cornell University Program of Computer Graphics   May 2008 - December 2008

Skills
Python, OCaml, C, Optimization, JavaScript, Eclipse, Linux, Android, Matlab, jQuery, AJAX, Java, Interpersonal...

Education
Cornell University   2006 — 2011
BA, Computer Science

Portland State University

James Dirksen James Dirksen Portland, Oregon Area Details
James Dirksen's Galois, Inc. Experience April 2015 - Present
Job Product and Business Development Executive
Industry Computer & Network Security
Experience
Galois, Inc.   April 2015 - Present
Procera Networks  January 2014 - December 2014
Symantec  October 2013 - January 2014
Symantec  October 2010 - September 2013
RuleSpace  March 2005 - October 2010
RuleSpace  June 1999 - March 2005

Skills
Strategic Partnerships, Product Management, Start-ups, Product Marketing, Mobile Applications, Business Development, SaaS, Mobile Devices, Go-to-market Strategy, Business Alliances, Product Development, Enterprise Software, Marketing Strategy, Cloud Computing, Mobile Technology, Solution Selling, Management, Channel Partners, Partner Management, Cross-functional Team..., Professional Services, Sales Enablement, Competitive Analysis, Lead Generation, Demand Generation

Education
Point Loma Nazarene University   1989 — 1992
Bachelor's degree, Biology and Chemistry

California State University-Fullerton   1988 — 1989
Honors Chemistry Program

Michelle Rajotte Michelle Rajotte Portland, Oregon Details
Michelle Rajotte's Galois, Inc. Experience January 2011 - Present
Job Photographer
Industry Design
Experience
Galois, Inc.   January 2011 - Present
Michelle Rajotte Photography   January 2000 - Present
La Picosa Jewelry   January 2003 - 2009
Presidio Hill School  September 1991 - March 1998

Skills
Portrait Photography, Interior Design, Art Buying- matching..., Event Photography, Web Design, Photoshop, Jewelry Design, Digital Photography, Portraits, Fine Art Photography, Image Editing, Wedding Photography, Photos, Fashion, Lightroom, Photography

Education
University of San Francisco   1989 — 1991
Elementary Education and Teaching

Otis Art Institute of Parsons School of Design   1984 — 1988
Bachelor of Fine Arts (BFA), Photography

Ryan Wright Ryan Wright Portland, Oregon Area Details
Ryan Wright's Galois, Inc. Experience October 2014 - Present
Job Technical Staff, Engineering Lead at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   October 2014 - Present
Urban Airship  March 2014 - October 2014
Janrain, Inc.   January 2013 - February 2014
Janrain, Inc.   February 2012 - January 2013
Artisan Technology   2005 - 2012
LiveTheHistory.com   2007 - 2010
Artisan Development   2005 - 2008
Design Manufacture Distribution   2006 - 2007
Cornerstone Properties  2004 - 2006
Covenant  2002 - 2004

Skills
Ruby, Ruby on Rails, Python, SaaS, Open Source, JavaScript, Software Engineering, Linux, Agile Methodologies, Product Development, Web Applications, Project Management, HTML, PHP, Distributed Systems, MySQL, Logic, Rhetoric, Machine Learning, Scala, CSS, Project Planning, Philosophy, Operations Management, JSON, Graph Theory, Algorithms, Bash, Network Security, Artificial Intelligence, Amazon Web Services..., Mac OS X, Agile Project Management, Epistemology, Objective-C, iOS development, Cocoa, Cocoa Touch, AppleScript, Financial Analysis, Financial Modeling, Network Administration, Network Design, Training, Formal Languages, Philosophy of Language, Matlab, NoSQL, Relational Databases, Graph Databases

Education
Covenant College
Bachelor's degree, Epistemology & Formal Logic

Saint Louis University
Master's degree, Rhetoric

Universidad Autónoma de Madrid
Master's degree, Linguistics

Carmel Montgomery Carmel Montgomery Greater Seattle Area Details
Carmel Montgomery's Galois, Inc. Experience January 2010 - April 2010
Job Vocational Consultant Intern at Sound Vocational Services
Industry Professional Training & Coaching
Experience
Sound Vocational Services, Inc.   October 2014 - Present
The Journey Itself   May 2013 - Present
Providence Health & Services  March 2011 - August 2013
Therapeutic Trainers Network   April 2010 - October 2010
Galois, Inc.   January 2010 - April 2010
Oregon Society of CPAs  April 2005 - January 2010
Bottini Bottini & Oswald PC   March 2004 - March 2005
Entercom  January 2001 - May 2001

Skills
Personal Training, Event Management, Microsoft Office, Promotions, Advertising, Marketing Communications, Adobe Creative Suite, Editing, Web 2.0, Web Content, Social Media, Public Relations, Facebook, Email Marketing, Graphic Design, Public Speaking, Marketing, Budgets, Event Planning, Management, Nonprofits, Social Media Marketing, Newsletters, Blogging, Copywriting, Grant Writing, Media Relations, Corporate Communications

Education
University of Portland   1998 — 2002
Business Administration, Marketing/Management, Spanish

Holy Names Academy   1994 — 1998

Leah Daniels Leah Daniels Portland, Oregon Area Details
Leah Daniels's Galois, Inc. Experience January 2011 - Present
Job
Industry Computer Software
Experience
Galois, Inc.   January 2011 - Present

Skills
Business Development, Social Media Marketing, Strategic Planning, Team Building, Marketing Strategy, Sales Management, Client Development, Strategic Partnerships, Market Research, Start-up Ventures, Marketing, Analysis, CRM, Leadership, Management, Strategy, Organizational..., New Business Development

Education
Willamette University - Atkinson Graduate School of Management   2005 — 2007
MBA

Portland State University   2003 — 2005
Certificate

Rhodes College   1993 — 1997
Bachelor's degree

Joseph Kiniry Joseph Kiniry Portland, Oregon Details
Joseph Kiniry's Galois, Inc. Experience January 2014 - Present
Job Principal Investigator at Galois, Inc.
Industry Research
Experience
Galois, Inc.   January 2014 - Present
KindSoftware   2000 - Present
Technical University of Denmark  September 2012 - December 2013
IT University of Copenhagen  September 2012 - October 2013
IT University of Copenhagen  February 2010 - August 2012
Lero - The Irish Software Engineering Research Centre   2006 - January 2010
University College Dublin  October 2004 - January 2010
University College Dublin, Ireland   October 2004 - January 2010
Lero   2005 - 2008
Kansas State University  2005 - 2006

Skills
Software Engineering, Distributed Systems, Knowledge Representation, Systems Modeling, Computer Science, Machine Learning, Algorithms, Artificial Intelligence, Python, LaTeX, Java, Programming, C++, C, Theory, Semantics, Lecturing, Software Development, Science, Artificial Life, Software Project..., Human Computer..., University Teaching

Education
Caltech   1998 — 2002
PhD, Computer Science

Caltech   1996 — 1998
MSc, Computer Science

University of Massachusetts, Amherst   1992 — 1994
MSc, Computer Science

Florida State University   1988 — 1992
BSc, Computer Science

Florida State University   1988 — 1992
BSc, Mathematics

Sharley LaMora Sharley LaMora Portland, Oregon Area Details
Sharley LaMora's Galois, Inc. Experience March 2013 - Present
Job Office Coordinator at Galois, Inc.
Industry Information Technology and Services
Experience
Galois, Inc.   March 2013 - Present
EasyStreet Online Services  March 2011 - March 2013
Boly:Welch  August 2010 - March 2011
OfficeTeam  November 2010 - December 2010
Oregon Zoo  November 2007 - May 2010
The Oregon Zoo Foundation  September 1999 - November 2007
St. Lawrence University  August 1998 - November 1999
Embassy Suites Hotel  January 1989 - September 1997

Education
Portland Community College
EET / Bus Admin / Various

David Lamkins David Lamkins Portland, Oregon Area Details
David Lamkins's Galois, Inc. Experience December 2013 - Present
Job Member of Technical Staff at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   December 2013 - Present
Symantec  February 2011 - November 2013
Chockstone  October 2007 - February 2011
SwiftView, Inc.   2003 - 2007
RuleSpace  1999 - 2003
Dynamics Research  1998 - 1999
Network General  1994 - 1998
Motorola ISG  1984 - 1994
Activision  1982 - 1984
Parker Brothers  1982 - 1982

Skills
data-driven applications, domain-specific..., rule-based systems, fault-tolerant systems, high-availability..., Distributed Systems, Domain Specific..., Fault Tolerant Systems, Java, PHP, REST, OOP, Software Engineering, Python, XML, JavaScript, Software Design, Web Applications, Algorithms, Networking, Artificial Intelligence, Linux, Databases, Software Development, Troubleshooting, Debugging, Leadership, C++, High Availability, HTML, Management, Machine Learning, C, Ruby, Rule-based Systems, SOA, Visual Studio, SaaS, Apache, System Architecture, Perl, Technical Writing, Start-ups, Operating Systems, AJAX, XSLT, Data-driven, Device Drivers, Bash, SQL

Education
University of Massachusetts, Amherst   1972 — 1979
BS, Computer Science

Darin Morrison Darin Morrison San Francisco Bay Area Details
Darin Morrison's Galois, Inc. Experience 2007 - 2008
Job DevOps / FullStack Engineer
Industry Computer Software
Experience
AlephCloud Systems, Inc.   January 2014 - June 2014
McGill University  2008 - 2009
Galois, Inc.   2007 - 2008
Center for Intelligent Systems Research   2006 - 2007

Skills
Computer Science, Functional Programming, Haskell, Scala, Chef, Amazon Web Services..., OpenStack, Docker, Hadoop, Spark, ElasticSearch, MapReduce, Cloud Computing, Software Engineering, Programming Languages, Algorithms, Type Theory, Category Theory, Ruby, Java, OCaml, Semantics, Python

Education
University of Nottingham   2009 — 2012
Doctor of Philosophy (PhD) (ABD), Computer Science

McGill University   2008 — 2009
Doctor of Philosophy (PhD) (transferred), Computer Science

Portland State University   2007 — 2008
Bachelor of Science (BS), Computer Science

Portland State University   2007 — 2008
Bachelor of Science (BS), Philosophy

University of Idaho   2003 — 2007
Bachelor of Science (BS) (transferred), Philosophy

Patrick Colp Patrick Colp Vancouver, Canada Area Details
Patrick Colp's Galois, Inc. Experience July 2013 - November 2013
Job Ph.D. Student at The University of British Columbia
Industry Computer & Network Security
Experience
The University of British Columbia  January 2010 - Present
Galois, Inc.   July 2013 - November 2013
Microsoft  June 2011 - August 2011
Citrix Systems  December 2009 - May 2011
Citrix Systems  April 2009 - August 2009

Skills
Virtualization, Computer Security, Operating Systems, Computer Science, Software Engineering, C, Linux, C++, Java, Software Development, Git, Bash, Cloud Computing, Object Oriented Design, Software Design, Security, Programming

Education
The University of British Columbia   2010 — 2016
Ph.D., Computer Science

The University of British Columbia   2007 — 2010
M.Sc., Computer Science

The University of British Columbia   2005 — 2007
B.Sc., Computer Science

University of Manitoba   2002 — 2004
Computer Science

University of Waterloo   2000 — 2001
Computer Engineering

Brett Letner Brett Letner Lawrence, Kansas Area Details
Brett Letner's Galois, Inc. Experience June 2007 - January 2010
Job at Garmin, Intl.
Industry Computer Software
Experience
Garmin International  May 2010 - Present
Legendary Games, Inc.   March 2010 - July 2010
Galois, Inc.   June 2007 - January 2010
Galois, Inc.   April 2001 - June 2007
RBC, Inc.   September 2000 - April 2001
Union Pacific Railroad  July 1996 - 2000
Hughes Aircraft Company  June 1995 - June 1996

Skills
Haskell, Functional Support, Linux, RAD, Test Automation, Programming Languages, Compiler Construction, Software Engineering, Computer Science, Algorithms, C, Software Design, Perl, Data Structures, System Architecture, Compilers, SML

Education
Kansas State University   1993 — 1995
M.S., Computer Science

Baker University   1989 — 1993
B.S., Computer Science, Physics

University of Missouri-Rolla   1992 — 1992
Internship, Computer Science

John Launchbury John Launchbury Washington D.C. Metro Area Details
John Launchbury's Galois, Inc. Experience June 2009 - March 2014
Job Director, Information Innovation Office, DARPA
Industry Computer Software
Experience
DARPA  July 2014 - Present
Galois, Inc.   June 2009 - March 2014
Galois, Inc.   October 1999 - June 2009
Oregon Graduate Institute at OHSU   July 1994 - April 2003

Skills
Haskell, Functional Support, Security, Computer Science, Algorithms, Software Engineering, Programming, Information Assurance, Open Source, Parallel Programming, Cryptography, Software Development, Software Design, Formal Verification, Programming Languages, Compilers, Functional Programming

Education
The University of Glasgow   1986 — 1989
PhD, Computing Science

University of Oxford   1985 — 1986
Master’s Degree, Computation

University of Oxford   1982 — 1985
BA, Mathematics, First Class Honours

Christopher Gerlt, CPA Christopher Gerlt, CPA Portland, Oregon Details
Christopher Gerlt, CPA's Galois, Inc. Experience December 2014 - Present
Job Senior Accountant at Galois, Inc.
Industry Accounting
Experience
Galois, Inc.   December 2014 - Present
Urban Robotics, Inc.   April 2012 - December 2014
Defense Contract Audit Agency  August 2010 - April 2012
Self Employed  September 2009 - January 2012
M2P2  February 2010 - August 2010
University of Iowa Book Stores and Hawk Shops   November 2008 - September 2009
University of Iowa Book Stores and Hawk Shops   January 2008 - November 2008
University of Iowa Book Stores and Hawk Shops   August 2007 - January 2008

Skills
Certified Public..., Government Accounting, CPA, Accounts Payable, Auditing, GAAP, QuickBooks, Accounting, Accounts Receivable, Financial Statements, Invoicing, Financial Accounting, Financial Reporting, Internal Controls, Payroll, Tax, Internal Audit

Education
University of Iowa   2008 — 2009
MAc, Accounting

University of Iowa - Henry B. Tippie College of Business   2005 — 2008
BBA, Accounting

Stephen Magill Stephen Magill Alexandria, Virginia Details
Stephen Magill's Galois, Inc. Experience July 2014 - Present
Job Research Lead at Galois, Inc.
Industry Research
Experience
Galois, Inc.   July 2014 - Present
CCS  August 2011 - July 2014
University of Maryland  January 2010 - August 2011

Skills
Research, Computer Science, Programming Languages, Software Analysis, Computer Security

Education
Carnegie Mellon University   2002 — 2010
Doctor of Philosophy (Ph.D.), Computer Science

University of Tulsa   1998 — 2002
Bachelor's Degree, Mathematics and Computer Science

Adam Wick Adam Wick Portland, Oregon Details
Adam Wick's Galois, Inc. Experience July 2006 - Present
Job Program Manager Secure Communications & Network Defense at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   July 2006 - Present
University of Utah  May 2000 - July 2006

Skills
Project Management, Network Security, Network Architecture, Programming, Grant Writing, Operating Systems, Runtime Systems, Technical Sales, Software Project..., Software Development, Programming Languages, Technical Presentations, Technical Writing, Haskell, C, Mobile Technology, Computer Science, Software Design, Distributed Systems, Python, Software Engineering

Education
University of Utah   2000 — 2006
Doctor of Philosophy (Ph.D.), Computer Science

Indiana University Bloomington   1996 — 2000
Bachelor of Science (BS), Computer Science

Jonathan Daugherty Jonathan Daugherty Portland, Oregon Area Details
Jonathan Daugherty's Galois, Inc. Experience December 2009 - Present
Job Software Engineer at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   December 2009 - Present
Janrain, Inc.   December 2005 - November 2009
CommandPrompt, Inc.   August 2004 - December 2005
University of Georgia  April 2003 - June 2004
University of Georgia  May 2001 - April 2003

Skills
Perl, Software Engineering, Haskell, Computer Science, Software Development, Ruby, PostgreSQL, Software Design, C, Programming, Web Applications, Agile Methodologies, Open Source, Git, Python, MySQL, PHP, Databases, Algorithms, Testing, Security, Xen, FreeRTOS, Release Management, Communication, ARM, ARM Assembly

Education
The University of Georgia   1999 — 2003
BS, Computer Science

Joe Hendrix Joe Hendrix Portland, Oregon Area Details
Joe Hendrix's Galois, Inc. Experience October 2009 - Present
Job Member of Technical Staff at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   October 2009 - Present
Microsoft  October 2008 - October 2009
Microsoft  June 2007 - August 2007
National Institute of Advanced Industrial Science And Technology  May 2005 - August 2005
NASA Ames Research Center  June 2004 - August 2004
ADconmark   August 2001 - June 2002
Trilogy  January 2001 - April 2001
Ensoft   June 1995 - January 2001

Skills
Software Engineering

Education
University of Illinois at Urbana-Champaign   2002 — 2008
Ph.D.

The University of Texas at Austin   1996 — 2000
Bachelors of Science

The University of Texas at Austin   1996 — 2000
Bachelors of Arts

Martin Wehner Martin Wehner Greater Seattle Area Details
Martin Wehner's Galois, Inc. Experience September 2008 - March 2010
Job Helping to make the world a better place
Industry Information Technology and Services
Experience
U.S. Department of State   January 2015 - Present
Safetec Compliance Systems  July 2010 - January 2015
Galois, Inc.   September 2008 - March 2010
Jive Software  April 2007 - August 2008
Cyclotomic   October 2000 - February 2007
Vedas   May 1998 - May 2000

Skills
SaaS, Enterprise Software, Project Management, Product Management, Start-ups, Strategic Planning, Business Development, Software Development, Business Strategy, Team Leadership, Cloud Computing, Cross-functional Team..., Team Building, Strategic Partnerships, Program Management

Education
Washington State University   2009 — 2012
Masters, Business Administration

Suffolk University   1997 — 2001
BS, Electrical Engineering

University of California, San Diego

Jamey Sharp Jamey Sharp Portland, Oregon Area Details
Jamey Sharp's Galois, Inc. Experience July 2014 - Present
Job Senior Rocket Scientist at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   July 2014 - Present
Comic Rocket   December 2011 - Present
The TOVA Company   November 2005 - Present
Portland State Aerospace Society   August 1999 - Present
Apters   December 2010 - December 2011
VeriWave, Inc.   December 2003 - March 2004
Portland State University  August 2001 - December 2003
InformationWorks   August 1999 - August 2000

Skills
Software Development, Git, Python, C, Linux, Linux Kernel, Open Source, Embedded Systems, Haskell, Theoretical Computer..., X11, Rockets, Java, Algorithms, Computer Science, Architecture, Firmware, Software Engineering, Embedded Software, Programming, Distributed Systems, Software Design

Education
Portland State University   2000 — 2006
Bachelor of Science (B.Sc.), Computer Science, 3.67, Cum Laude

Portland Community College   1998 — 2000

Elise Lebeau, M.Sc. Elise Lebeau, M.Sc. Portland, Oregon Area Details
Elise Lebeau, M.Sc.'s Galois, Inc. Experience January 2006 - June 2006
Job Software Engineer On sabbatical
Industry Computer Software
Experience
On sabbatical  July 2015 - Present
eBay  June 2012 - August 2015
Chrome Data Solutions  May 2009 - June 2012
Intel  January 2008 - February 2009
Galois, Inc.   January 2006 - June 2006
Chrome Systems  February 2004 - June 2005
Private Clients  June 2002 - January 2004
Timberline Software  January 2002 - June 2002
Teseda, Gemstone Systems   June 2001 - December 2001
GemStone Systems  January 2000 - June 2001

Skills
Android, iOS, TestNG, Selenium, Selendroid, Jenkins, Calabash, JUnit, Web Services, SOAP, Quality Assurance, Java, REST, Code Coverage, JMeter, SoapUI, Eclipse, Xcode, PHP, SQL, JIRA, CVS, Subversion, Scrum, Hudson, Fitnesse, QA Automation, Test Director, White Box, Quality Center, Test Cases, Automation

Education
Oregon Graduate Institute of Science and Technology   1999 — 2001
Master's degree (M.Sc.), Software Engineering, 3.72 / 4.00

Université du Québec à Montréal   1992 — 1995
B.Sc., Psychology

Larry Moyer Larry Moyer Portland, Oregon Details
Larry Moyer's Galois, Inc. Experience November 2014 - Present
Job Business Development Manager at Galois
Industry Information Technology and Services
Experience
Galois, Inc.   November 2014 - Present
Tozny, A Galois Company   November 2014 - Present
Meru Networks  April 2013 - December 2013
Lenovo  April 2008 - January 2013
Bradson Consulting  June 2007 - April 2008
Via Training  March 2004 - June 2007
Endurics   2003 - 2003
Encounter Collaborative   2002 - 2002
Intel  1994 - 2001

Skills
Solution Selling, Channel Partners, Enterprise Software, CRM, Business Development, Account Management, Direct Sales, Sales Operations, Customer Service, New Business Development, Strategy, Salesforce.com, Networking, Sales Process, Go-to-market Strategy, Key Account Management, Team Management, Professional Services, Team Leadership, Cloud Computing, Channel, Program Management, Contract Negotiation, Sales Enablement, Customer Acquisition, Forecasting, Sales Management, Channel Sales, Wireless, Strategic Partnerships, Cross-functional Team..., Channel Management, Customer Relations, Vendor Relations, Client Acquisition, Network Interface Cards, Consulting, Cold Calling, Demand Generation, Wireless Networking, Training, WLAN, Business Alliances, Selling, Sales, SaaS, Security

Education
Portland State University - School of Business   1997 — 1999
Masters

University of Oregon - Charles H. Lundquist College of Business   1987 — 1991
BS

Levent Erkok Levent Erkok Portland, Oregon Area Details
Levent Erkok's Galois, Inc. Experience December 2006 - July 2011
Job Formal verification engineer at Intel
Industry Computer Software
Experience
Intel Corporation  August 2011 - Present
Galois, Inc.   December 2006 - July 2011
Intel  April 2006 - November 2006
Intel  October 2002 - April 2006

Education
OGI School of Science and Engineering at OHSU   1998 — 2002
PhD, Computer Science

The University of Texas at Austin   1996 — 1998
M.Sc., Computer Science

Orta Doğu Teknik Üniversitesi / Middle East Technical University   1994 — 1996
MS, Computer Engineering/Science

Orta Doğu Teknik Üniversitesi / Middle East Technical University   1989 — 1994
BS, Computer Engineering/Science

Philip Weaver Philip Weaver Portland, Oregon Area Details
Philip Weaver's Galois, Inc. Experience September 2007 - October 2008
Job
Industry Computer Hardware
Experience
Rentrak  October 2013 - Present
Janrain, Inc.   November 2010 - September 2013
Signali Corp.   October 2008 - November 2010
Galois, Inc.   September 2007 - October 2008
University of Kansas  August 2005 - August 2007

Skills
Software Engineering, Linux, Compilers, FPGA, C, Programming, Haskell, PostgreSQL, Hardware, Algorithms, jQuery, Java, Ruby on Rails, SaaS, XML, Python, Agile Methodologies, REST, Shell Scripting, Software Development, Ruby, Distributed Systems, C++, Operating Systems, Open Source, Git, SQL, System Architecture, Web Applications, Scalability, HTML, Cloud Computing, Subversion, Bash, Unix, Computer Science, Software Design, JavaScript, PHP

Education
The University of Kansas   2001 — 2007
Masters

Jason Dagit Jason Dagit Portland, Oregon Area Details
Jason Dagit's Galois, Inc. Experience October 2009 - Present
Job Member of Technical Staff at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   October 2009 - Present
Galois, Inc.   2009 - 2010
Extensis  July 2009 - September 2009
PTV America  April 2005 - July 2009

Education
Oregon State University   2005 — 2009
MS, Computer Science

Oregon State University   1998 — 2004
BS, Computer Science, Math

Rogan Creswick Rogan Creswick Portland, Oregon Details
Rogan Creswick's Galois, Inc. Experience January 2010 - Present
Job Research and Development in NLP and general Computer Science
Industry Computer Software
Experience
Galois, Inc.   January 2010 - Present
Stottler Henke Associates, Inc   March 2006 - December 2009
10kinfo   November 2005 - March 2006
IBM Research at TJ Watson   2004 - 2005

Skills
Computer Science, Software Engineering, Haskell, Algorithms, Artificial Intelligence, C, Programming, Machine Learning, Java, Perl, Git, Software Design, Natural Language..., Linux, Technical Project..., Software Development, Yak Grooming, Eclipse, Subversion, C#, Unix, Proposal Writing, Technical Writing

Education
Oregon State University   2002 — 2004
MS, Computer Science

Oregon State University   1998 — 2002
BS, Computer Science

Laura McKinney Laura McKinney Portland, Oregon Area Details
Laura McKinney's Galois, Inc. Experience November 2001 - August 2012
Job Entrepreneurial Business Executive | Professional Educator | Computer Scientist
Industry Computer Software
Experience
Oregon Institute of Technology  August 2015 - Present
Oregon University System  April 2013 - June 2015
Galois, Inc.   November 2001 - August 2012
Galois, Inc.   June 2009 - July 2012
Galois, Inc.   December 2006 - July 2012
Galois, Inc.   December 2005 - December 2006
Galois, Inc.   November 2001 - December 2005
Portland Community College  April 1998 - July 2001
Oregon Graduate Institute: Pacific Software Research Center   December 1993 - December 1996
NBI  January 1983 - September 1984

Skills
Information Assurance, Organizational Design..., Cybersecurity, Computer Science, Higher Education, Open Innovation, Computer Security, Software Development, Program Management, Organizational Structure, Software Engineering, Programming, Testing, Security, Project Management, Organizational Design, Strategy, Strategic Partnerships, Systems Engineering, C, C++, Linux, Operating Systems, Strategic Planning, Integration, Software Design, Leadership, Enterprise Software, Proposal Writing, Start-ups, System Architecture, Educational Leadership

Education
Oregon Graduate Institute (now OHSU)   1987 — 1992
MS, Computer Science

University of Colorado at Boulder   1978 — 1982
BA, With Distinction, Distributed Studies: Math and Computer Science

Aaron Tomb Aaron Tomb Portland, Oregon Area Details
Aaron Tomb's Galois, Inc. Experience August 2007 - Present
Job Software Engineer at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   August 2007 - Present
University of California, Santa Cruz  June 2004 - August 2007
MCT/NASA Ames   2006 - 2006

Skills
Haskell, Compilers, Formal Verification, Software Engineering, C, Java, LaTeX, Program Analysis

Education
University of California, Santa Cruz   2006 — 2011
Ph.D., Computer Science

University of California, Santa Cruz   2003 — 2006
M.S., Computer Science

University of California, Santa Cruz   1999 — 2003
B.S., Computer Science

Portland State University

Jem Berkes Jem Berkes Portland, Oregon Details
Jem Berkes's Galois, Inc. Experience February 2014 - Present
Job Research Engineer at Galois, Inc.
Industry Computer & Network Security
Experience
Galois, Inc.   February 2014 - Present
Private consulting  March 2013 - December 2013
Altera  January 2010 - May 2012
Sole proprietorship consulting   January 1997 - January 2010
University of Waterloo  September 2005 - February 2008

Skills
Network Security, Computer Security, Test Automation, C, FPGA, Financial Markets, Financial Risk, Data Analysis, Linux, Electronics, Automation, Debugging, Distributed Systems, Embedded Systems, Technical Writing, Hardware Interfacing, x86 Assembly, Bonds, ETFs, Perl, Interfaces, Python, Algorithms, C++, Programming

Education
University of Waterloo   2005 — 2008
MASc, Electrical and Computer Engineering

University of Manitoba   2000 — 2005
BASc, Computer Engineering

St. John's-Ravenscourt   1992 — 2000

Lee Pike Lee Pike Portland, Oregon Area Details
Lee Pike's Galois, Inc. Experience 2005 - Present
Job R&D at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   2005 - Present
NASA Langley Research Center  September 2003 - August 2005
National Institute of Aerospace (NIA)   May 2003 - August 2003

Skills
Computer Science, Algorithms, Haskell

Education
Indiana University Bloomington   2000 — 2006
Ph.D, Computer Science

University of Idaho   1997 — 2000
B.A., Philosophy

Moscow High School

Whitman College

Anusha Iyer Anusha Iyer Washington D.C. Metro Area Details
Anusha Iyer's Galois, Inc. Experience August 2015 - Present
Job Galois
Industry Information Technology and Services
Experience
Galois, Inc.   August 2015 - Present
Undisclosed  2011 - Present
Naval Research Laboratory  2007 - July 2011
Intelligent Search Technology  2004 - 2005

Skills
Software Engineering, Perl, Distributed Systems, Algorithms, Linux, C++, C, Object Oriented Design, Agile Methodologies, SQL, Unix, Software Development

Education
University at Buffalo   2002 — 2004
M.S., Computer Science

Carnegie Mellon University   1998 — 2002
B.S., Computer Science

Daniel Zimmerman Daniel Zimmerman Portland, Oregon Details
Daniel Zimmerman's Galois, Inc. Experience August 2014 - Present
Job Researcher/Engineer at Galois, Inc.
Industry Research
Experience
Galois, Inc.   August 2014 - Present
Harvey Mudd College  July 2013 - July 2014
University of Washington Tacoma  September 2012 - June 2013
University of Washington Tacoma  September 2006 - September 2012
California Institute of Technology  October 2003 - August 2006
California Institute of Technology  October 2001 - September 2003

Skills
Software Engineering, Algorithms, Computer Science, LaTeX, Programming, Java, Parallel Computing, Mathematical Modeling, Theory, Distributed Systems, C, Linux, Software Design, Software Development, Eclipse, Programming Languages, Formal Verification, JUnit

Education
Caltech   1998 — 2002
Ph.D., Computer Science

Caltech   1996 — 1998
M.S., Computer Science

Caltech   1992 — 1996
B.S., Engineering & Applied Scence

Newark Academy   1987 — 1992
High School

Ledah Casburn Ledah Casburn Portland, Oregon Area Details
Ledah Casburn's Galois, Inc. Experience January 2010 - Present
Job Software Engineer at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   January 2010 - Present
PTV America, Inc  January 2007 - December 2009
Sandia National Laboratory  June 2006 - September 2006
Oregon State University  September 2003 - June 2006
Mills College  2002 - 2003
Computing Research Association's Distributed Mentor Project (DMP)   June 2002 - September 2002

Education
Oregon State University
M.S

Mills College
B.A

Mark Tullsen Mark Tullsen Portland, Oregon Area Details
Mark Tullsen's Galois, Inc. Experience 2003 - Present
Job Sr Technical Staff at Galois
Industry Computer Software
Experience
Galois, Inc.   2003 - Present

Skills
Haskell, SML, Software Engineering, Semantics, Algorithms, Computer Science, Programming, Programming Language..., Software Development, C++, C, Unix, Compilers, Software Design, System Architecture, OCaml, Perl, Git, Operating Systems, Embedded Systems, Distributed Systems, LaTeX, Linux, Programming Languages, Data Structures, Java, Parallel Programming, GNU Make, Concurrent Programming, Debugging, Subversion, High Performance..., Object Oriented Design, Erlang, Open Source

Education
Yale University   1994 — 2001
PhD, Computer Science

University of California, Berkeley
BS, Electrical Engineering and Computer Science

Rebekah Leslie-Hurd Rebekah Leslie-Hurd Portland, Oregon Area Details
Rebekah Leslie-Hurd's Galois, Inc. Experience June 2007 - September 2007
Job Research Scientist at Intel Corporation
Industry Computer Hardware
Experience
Intel Corporation  July 2011 - Present
Portland State University  September 2004 - May 2011
Galois, Inc.   June 2007 - September 2007
Intel  June 2006 - September 2006

Skills
Haskell, Operating Systems, Computer Architecture, Formal Verification, Memory Management, Programming Languages, Computer Science, Software Development, Algorithms, C, Model Checking, Python, Software Engineering, Parallel Programming, Java, C++, Linux Kernel, LaTeX, Programming, Linux, Bash, Subversion, UML, Git, Open Source, Machine Learning, Compilers, Perl, Parallel Computing, Distributed Systems, PostgreSQL, Simulations, Shell Scripting, Ruby, JavaScript, C#, Android, Embedded Systems, Compiler Construction, Artificial Intelligence, Software Design, High Performance..., Prolog, Scheme, Eclipse, Emacs

Education
Portland State University   2004 — 2009
Phd, Computer Science

Oregon Health and Science University   2003 — 2004
Computer Science

University of Oklahoma   1999 — 2003
BS, Computer Engineering

Jim Teisher Jim Teisher Portland, Oregon Area Details
Jim Teisher's Galois, Inc. Experience May 2005 - June 2008
Job Adjunct Professor at Clark College
Industry Computer Software
Experience
Clark College  June 2014 - Present
self employed  April 2014 - Present
Intel  May 2012 - April 2014
Lightspeed Technologies, Inc.   September 2008 - January 2012
Galois, Inc.   May 2005 - June 2008
Alzatek   November 2004 - May 2005
LSI Logic  August 2002 - April 2004
Galois, Inc.   February 2001 - August 2002
Port Orford   February 2001 - October 2001
Credence  January 1991 - February 2001

Skills
Software Engineering, Testing, Automation, TCP/IP, C, Python, C++, Embedded Systems, Perl, Debugging, Linux, Software Development, Semiconductors, Haskell, Agile Methodologies, Software Design, Unix, Subversion, Programming, Object Oriented Design, Firmware, Quality Assurance, System Architecture, Product Development, Embedded Software, Shell Scripting, Algorithms, Scrum, Systems Engineering

Education
Oregon Health and Science University
MS, Computer Science

The University of New Mexico
BS, Computer Engineering

Joe Leslie-Hurd Joe Leslie-Hurd Portland, Oregon Details
Joe Leslie-Hurd's Galois, Inc. Experience October 2007 - July 2012
Job Component Design Engineer at Intel Corporation
Industry Computer Software
Experience
Intel Corporation  July 2012 - Present
Galois, Inc.   October 2007 - July 2012
University of Oxford  October 2003 - September 2007
University of Cambridge  October 2001 - September 2003

Skills
Formal Verification, Haskell, Algorithms, Computer Science, ML, PHP, MySQL, Web Applications, C, C++, Perl, Data Structures, Computer Security, Cryptography, Mathematics, Language Design, Programming Languages, System Architecture, Bash, Operating Systems, Databases, Programming, Software Development, LaTeX, Software Engineering, Compiler Construction, Software Design, Verilog, Embedded Systems, Subversion, OCaml, Ruby on Rails, Git, Functional Support, Machine Learning, Linux, Parallel Programming, Shell Scripting, Distributed Systems, Ruby, High Performance..., Computer Architecture, Object Oriented Design

Education
University of Cambridge   1997 — 2002
PhD, Computer Science

University of Cambridge   1993 — 1997
B.A. (Hons), Mathematics

Jodee LeRoux Jodee LeRoux Portland, Oregon Area Details
Jodee LeRoux's Galois, Inc. Experience 2005 - Present
Job Attorney At Law at Galois, Inc.
Industry Computer Software
Experience
Galois, Inc.   2005 - Present

Education
Lewis & Clark Law School   2001 — 2005
J.D., Law

Tulane University   1997 — 2001
B.A., History

Edward Yang Edward Yang Stanford, California Details
Edward Yang's Galois, Inc. Experience June 2010 - August 2010
Job PhD student at Stanford University
Industry Computer Software
Experience
Stanford University  October 2012 - Present
Streambase   June 2012 - August 2012
Jane Street  July 2011 - August 2011
Galois, Inc.   June 2010 - August 2010
Ksplice, Inc.   January 2010 - January 2010
ITA Software  June 2009 - August 2009
OmniTI  June 2008 - August 2008

Skills
Haskell, Computer Science, Python, Algorithms, Functional Support, Scheme, C, Compiler Construction, Java, C++, Software Engineering, SML, OCaml, Lisp, Git, Programming Languages

Education
Massachusetts Institute of Technology   2008 — 2012
Bachelor of Science (BS), Computer Science

University of Cambridge   2010 — 2011
Computer Science

Similar Companies

Deloitte
PwC
Ernst & Young
Walgreens
Procter & Gamble
KPMG
PricewaterhouseCoopers
EY