Predicate Logic
Industry: Mathematical logic
DescriptionIn mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.
Predicate Logic List of Employees There's an exhaustive list of past and present employees! Get comprehensive information on the number of employees at Predicate Logic. You can filter them based on skills, years of employment, job, education, department, and prior employment.
Predicate Logic Salaries. You can even request information on how much does Predicate Logic pay if you want to. Learn about salaries, pros and cons of working for Predicate Logic 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!
30 Predicate Logic employees in database. Find out everything there's to know about Predicate Logic 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.
Predicate Logic Employees
URS Corporation November 2013 - Present
Vinylmint December 2011 - Present
Tele-Consultants, Inc. October 2006 - 2013
Predicate Logic January 2006 - October 2006
Skills
C#, Programming, OOP, WPF, Database Design, .NET, Graphic Design, GUI development, CSLA, HTML, CSS, JavaScript, jQuery, Visual Studio, ASP.NET, XML, SQL Server, Web Development, Java, Software Development, Web Design, Architecture, Silverlight, Microsoft SQL Server, Software Engineering, LINQ, Requirements Analysis, Databases, Integration, SharePoint, Oracle, Web Services, User Interface Design, WCF, HTML 5, ASP.NET MVC, AJAX, Object Oriented Design, MVC, IIS, Web Applications, Software Design, XSLT, Test Driven Development, TFS, Subversion, Ruby on Rails, Agile Methodologies
Education
Virginia Polytechnic Institute and State University 2009 — 2013
Master's Degree, Information Technology
James Madison University 2001 — 2005
BS, School of Media Arts & Design (SMAD), Integrated Science and Technology (ISAT)
VMware February 2015 - Present
Digital Insight September 2013 - January 2015
Intuit August 2010 - August 2013
Intuit August 2004 - July 2010
Intuit January 2003 - August 2004
Predicate Logic October 2001 - January 2003
Avolent (formerly Just In Time Solutions) August 1999 - May 2001
DIVA Systems May 1997 - December 1998
University of California, Santa Cruz May 1997 - October 1997
National Science Foundation June 1996 - September 1996
Skills
Financial Software..., Federation, Team Building, Identity Management, Agile Methodologies, SaaS, Scrum, SDLC, Java, Software Development, Software Engineering, Databases, Testing, Enterprise Software, Architecture, Web Services, Web Applications, Java Enterprise Edition, XML, Architectures, C#, REST, Mobile Devices, Oracle, Apache, JBoss Application Server, Engineering Management, Software Project..., Scalability, Engineering Change..., Ant
Education
University of California, Santa Cruz 1994 — 1998
Bachelor's Degree, BS Computer Science; BA Molecular Biology
Best of Life 2011 - Present
Comskil, Inc. 1997 - Present
Comskil, Inc. 1997 - Present
Comskil, Inc. 1997 - Present
Comskil, Inc. 1997 - Present
Predicate Logic October 1996 - August 1997
Abacus Technology January 1995 - October 1996
AlliedSignal Technical Services Corporation February 1988 - January 1995
Lockheed Corporation January 1985 - February 1988
General Electric December 1983 - July 1985
Skills
Coaching, CMMI, Process Development, Change Management, Process Improvement, Process Engineering, Program Management, Team Building, Management Consulting, Strategic Planning, Organizational Change, Organizational..., Business Process..., Team Management, Process Management, PMP, Quality Assurance, Quality Management, Business Analysis, Business Strategy, Mentoring, IT Service Management, PMO, Public Speaking, Metrics, Performance Management, Software Development, Configuration Management, Leadership Development, Team Leadership, Consultancy, Executive Coaching, Integration, Software Engineering, Enterprise Architecture, Continuous Improvement, Requirements Analysis, People Management, Systems Engineering, Planning, Customer Relations, Problem Solving, Analysis, Testing, Project Planning, Workshop Facilitation, Business Process, Customer Service, Management, Project Portfolio...
Education
NeuroLeadership Institute 2014 — 2014
Master's Degree, Applied Neuroscience
Middlesex University 2010 — 2011
Neuroscience of Leadership
Georgetown University 1996 — 2009
Leadership Coaching
Temple University 1978 — 1980
BA, Political Science
Carnegie Mellon University
University of Maryland College Park
Computer Science
Booz Allen Hamilton June 2010 - March 2013
Predicate Logic June 2007 - September 2008
L-3 Communications March 2003 - June 2007
U.S. Navy May 1994 - May 2003
Skills
Systems Engineering, DoDAF, Test Engineering, Defense Acquisition, Enterprise Architecture, Project Management, Strike Planning, Weaponeering and..., Net Ready Key..., Verification and..., Defence Sector, Military, Requirements Management, Security Clearance, DoD, Visio, Government Contracting, Engineering Management, Earned Value Management, Lean Six Sigma, Engineering Change...
Education
University of Southern California 1989 — 1994
BS, Industrial and Systems Engineering
Trey Software April 2010 - Present
TechFlow, Inc. December 2009 - April 2010
Trey Software January 2009 - November 2009
Intuit Inc June 2008 - January 2009
Predicate Logic January 2005 - June 2008
East County Economic Development Council December 2006 - April 2007
Sonalysts January 2004 - December 2004
Sonalysts January 2003 - December 2003
Sonalysts Inc January 2000 - January 2003
US Navy August 1989 - December 1999
Skills
Agile Methodologies, Spring, Hibernate, XML, Web Services, Java Enterprise Edition, Eclipse, Scrum, Ant, Subversion, REST, JSP, JUnit, UML, Maven, SOAP, JBoss Application Server, Java, SOA, Struts
Education
UCSD Extension 2000 — 2002
Java, SQL, Oracle, UML
Chapman University 1995 — 1998
BS, Computer Information Systems
SRA International December 2008 - Present
Predicate Logic October 2001 - December 2009
Per-Se Technologies 1995 - 2001
Medaphis Corporation 1995 - 2001
General Dynamics - Convair 1986 - 1995
Skills
Systems Engineering, Integration, Requirements Analysis, Earned Value Management, Security Clearance, DoD, Program Management, Proposal Writing, PMP, Configuration Management, Information Assurance, Defense, Requirements Management, Military, Government Contracting, Engineering Management, Project Estimation
Education
University of Missouri-Rolla 1981 — 1986
BS, Engineering Management
Parts Unknown November 2013 - Present
General Dynamics Information Technology January 2013 - November 2013
Accenture December 2008 - January 2013
Maxim Systems March 2002 - December 2008
Ranger Online August 1999 - February 2002
Predicate Logic January 1998 - August 1999
Booz Allen Hamilton May 1993 - January 1999
Skills
Information Assurance, CISSP, Enterprise Architecture, Systems Engineering, IT Strategy, Integration, Governance, Program Management, Information Security..., Information Security, Security, DoD, IT Audit, Requirements Analysis, System Architecture, SDLC, Security Clearance, Computer Security, Vulnerability Assessment, Team Leadership
Education
Arizona State University 1982 — 1986
BS, Computer Science
Arizona State University
BS, Psychology
Currently Seeking New Employment KTC Director of OperationsKochur Trummer Corp.December 2013 - May 2015
Kochur Trummer Corp. March 2013 - November 2013
ARINC October 2011 - October 2012
SAIC 2008 - 2011
G2 Software Systems February 2006 - October 2007
Predicate Logic February 2005 - July 2005
SAIC June 2001 - January 2005
GRD November 1999 - June 2001
US Navy August 1993 - January 2000
Skills
Program Management..., Risk Management, Acquisition Management, Inventory Control, Negotiations, SW Development Life..., Database Modeling, Contracts Management, Resource Management, System Administration, Procurement Management, Finance Management, Certification and..., Wireless Communications, Management, Life Cycle Logistics, Life Cycle Engineering, Negotiation, Contract Management, Managerial Finance, Logistics, SDLC, Procurement, Leadership, Wireless, DoD, Project Planning, Security Clearance, Program Management, Government, Proposal Writing, Security, Integration, Project Management, Business Development, Strategy, Strategic Planning, Process Improvement, Team Leadership, Budgets, Cross-functional Team..., Systems Engineering, Requirements Analysis, Military, Operations Management, Government Contracting, C4ISR, Configuration Management, Business Process..., Defense
Education
National University 2002 — 2004
Masters of Science, Technology Management
National University 2001 — 2004
Bachelors of Science, Information Technology
Hank Rausch Designs August 2014 - Present
Intelsat General Corporation June 2010 - August 2014
Artel August 2007 - June 2010
CACI March 1999 - August 2007
Predicate Logic September 1996 - February 1999
MITRE December 1993 - September 1996
US Navy July 1983 - August 1993
Skills
Cisco, SQL, LabView, Linux, JavaScript, Visual Basic, Juniper, Satellite Communications, Team Leadership, Feature Writing, Seminar Speaker, ASP, Cloud Computing, Public Speaking, RF, Cisco Technologies, Leadership, Networking, Telecommunications, SATCOM, Program Management, Systems Engineering, Integration, Satellite, VoIP, IP, Network Design, Fiber Optics
Education
Stanford University 1979 — 1983
BS, Chemistry
University of California, Los Angeles 1989 — 1990
MS, Materials Science and Engineering
Nova Southeastern University 2003 — 2006
PhD, Information Systems
Predicate Logic June 2015 - Present
US Navy August 2014 - April 2015
US Navy September 2011 - August 2014
US Navy June 2011 - September 2011
US Navy March 2011 - June 2011
US Navy April 2008 - March 2011
US Navy October 2004 - March 2008
US Navy March 2004 - October 2004
US Navy January 2002 - March 2004
US Navy October 2000 - December 2001
Skills
Troubleshooting, Strategic Communications, Security Clearance, Personnel Supervision, Navy, Fiber Optics, Planned Preventative..., Quality Assurance, Radar, ESM, Electronic Warfare, SIGINT, RF troubleshooting, Corrective Maintenance, Top Secret, Equipment Repair, Satellite Communications, Electrical..., COMSEC, Military, Military Operations, DoD
Education
Wheeler High School 1996 — 2000
Diploma
Coastline Community College
Working towards an AA in Electronics
Scientific Research Corporation January 2014 - Present
Predicate Logic April 2009 - January 2014
US Navy April 2004 - April 2009
Flower City Printing, Inc. February 2000 - April 2004
Skills
Network Security, Network Engineering, Cisco Routers, Switches, Network Administration, Computer Network..., Troubleshooting, GNS3, VirtualBox, Computer Security, Windows 7, Windows XP Pro, Computer Repair, Submarines, Satellite Communications, Microsoft Office, Photoshop, Navy, DoD, Security Clearance, Defense, Information Assurance, Military, C4ISR, CompTIA Security+, Systems Engineering
Education
Thomas Edison State College 2009 — 2012
Bachelor's of Science, Applied Science and Technology
SPAWAR August 2007 - Present
United States Marine Corps 2007 - Present
Space and Naval Warfare 2006 - Present
Scientific Research Corporation February 2006 - August 2007
Life Cycle Engineering May 2005 - February 2006
Predicate Logic August 2002 - May 2005
US Army 1996 - 2000
Education
College of Charleston 2000 — 2003
Elementary Education
TechFlow, Inc. April 2011 - Present
Predicate Logic 2000 - 2006
Skills
Program Management, Training, Security Clearance, Employee Relations, Change Management, SDLC, Process Improvement, Software Documentation, Information Assurance, Technical Writing, Security, Team Building, System Administration, Java, Coaching, Requirements Analysis, Strategic Planning, Project Management, DoD, Government Contracting, Visio, Applicant Tracking..., Management, Government, Microsoft Office, Strategy, Integration, Proposal Writing, Military, Testing, Team Leadership, Leadership, Business Development, Benefits Negotiation, Analysis, Risk Management, Information Technology
Education
St. John Fisher College 1980 — 1983
Braemar LLC May 2015 - Present
Hospira May 2009 - April 2015
i365 July 2008 - May 2009
SenDx medical October 2006 - June 2008
i365 2008 - 2008
Mitchell1 2005 - 2006
Metracor Technologies 2004 - 2005
Capital One Auto Finance 2004 - 2005
eHelp 2003 - 2004
Predicate Logic 1996 - 2001
Skills
OSE, TogetherSoft, IBM DOORS, MatrixOne, FMECA, Agile Methodologies, C++, Visual C++, C#, Windows, Scrum, Multi-threaded..., Object Oriented Design, Object Oriented Modeling, Finite State Machines, Software Development, Software Documentation, Software Engineering, Embedded Software, Debugging, Configuration Management, Perforce, PVCS, RCS, Visio, Microsoft Word, Microsoft Project, Real Time, Medical Devices, Consumer Products, Microsoft SQL Server, SQL, Relational Databases, OOAD, Firebird, GNU Make, Batch Files, Shell Scripting, Unix, Visual Sourcesafe, Optimizations, JTAG, Microsoft Excel, PowerPoint, Wikis, SharePoint, MS Project, SDLC, Design Control, Programming
Education
Chapman University 1979 — 1981
Bachelor of Science (B.S.), Computer Science
Lockheed Martin December 2014 - Present
Advanced Technologies, Incorporated February 1996 - Present
Predicate Logic 1994 - 1996
Lockheed Martin 1992 - 1994
Kirk-Mayer 1989 - 1992
Advanced Technologies Incorporated 1986 - 1989
Honeywell 1981 - 1986
Skills
Software Development, Integration, Requirements Analysis, Embedded Systems, Software Engineering, VxWorks, Linux, Ada95, Team Leadership, Project Management, Program Management, Software Project..., PowerPC, Security Clearance, Unix, Defense, Operating Systems, CORBA, UML, ROSE, ClearCase, ClearQuest, LynxOS, Gcc, 68040, Software Thru Pictures, MIPS, ARM 9, SOM, Ada83, Ada05, IDL, SBC, JOVIAL, Assembly Language, Pascal, Realtime Programming, Missile Defense, Flight Control, Satellite Communications, Tracking Systems, Fly By Wire, Configuration Management, Defense Contracting, Solaris, VMS, Windows, Ada 83/95, SDLC, Testing
Education
Florida Institute of Technology 1976 — 1981
BS, Computer Science
Booz Allen Hamilton May 2004 - Present
SPAWAR 2001 - 2006
Predicate Logic August 2001 - January 2004
Polexis November 2000 - July 2001
BAE Systems September 1995 - November 2000
Unisys February 1986 - December 1994
Logicon June 1984 - February 1986
Skills
SOA, Java, Semantic Technologies, RDF, OWL, C#, Writing, Software Engineering, Semantic Web, CMMI, Requirements Analysis, UML, Databases, Software Development, Enterprise Architecture, SQL, Agile Methodologies, Systems Engineering, Testing, SDLC, Integration, Software Project..., .NET, Software Design, Web Services
Education
San Diego State University-California State University 1981 — 1983
MA (ABT), Geography
University of California, Riverside 1969 — 1973
Bachelor's Degree, History
Trabus Technologies Contracts/Accounting MgrAUSGAR Technologies, IncOctober 2005 - July 2011
Predicate Logic 2000 - 2005
Skills
Security Clearance, DoD, FAR, Government Contracting, DCAA, Cost Accounting..., Cost Benefit, Contract Management, Business Development, Strategic Planning, Government Proposals, Project Management, Cost Models
Education
San Diego State University-California State University 1988 — 1992
Bachelor's degree, Accounting
Predicate Logic November 2014 - Present
IT Consultant September 2013 - Present
US Army June 2010 - September 2013
Joint Communications Unit 2006 - 2010
Predicate Logic 2001 - 2006
US Navy 1986 - 2001
Skills
DoD, Navy, Security Clearance, Information Assurance, Military, Army, Security+, Command, Military Experience, Military Operations, National Security, Program Management, Top Secret, Security, Troubleshooting, Weapons, Operational Planning, Force Protection, Special Operations, Intelligence Analysis, Defense, COMSEC, CompTIA Security+
Education
Unitek College
Rady Venture Fund August 2014 - Present
von Liebig Entrepreneurism Center UCSD 2014 - Present
PTI Technologies January 2008 - Present
FLoW November 2014 - March 2015
First PREMIER Bank/PREMIER Bankcard 2014 - 2014
Tapestry Solutions March 2007 - January 2008
Predicate Logic September 2004 - March 2007
Cetys Universidad July 1994 - May 1998
Skills
.NET, SaaS, C#, Agile Methodologies, Web Services, Integration, REST, Software Development, Software Engineering, XML, JavaScript, Java, SQL, Microsoft SQL Server, MySQL, Visual Studio, Web Applications, WCF, Databases, C++, ASP.NET MVC
Education
UCSD Rady School of Management 2012 — 2015
Candidate Master of Business Administration (MBA), Business Administration and Management, General
CETYS University 2001 — 2002
Advance Software Development Associate Degree, Software
CETYS University 1994 — 1998
Computer Science Engineering, Computer Science
Capability Domain Management, Inc. February 2010 - Present
URS Corporation August 2008 - January 2011
Predicate Logic August 2005 - August 2008
U.S. Navy August 1985 - August 2005
Education
Naval Postgraduate School 2002 — 2004
MSEE, Electrical Engineering
California State University-Chico 1981 — 1985
BSEE, Electrical Engineering
Northrop Grumman Aerospace Systems September 2009 - Present
Northrop Grumman Information Systems June 2001 - August 2009
PeopleFirst.com January 2000 - May 2001
BAE Systems December 1998 - January 2000
InterNational Research Institute February 1997 - December 1998
Predicate Logic February 1994 - January 1997
GDE Systems, Inc June 1989 - January 1994
Education
San Diego State University-California State University 1984 — 1989
BS Computer Science, Computer Science
Anthem, Inc. February 2014 - Present
Tele-Consultants, Inc November 2009 - November 2013
MITRE 2007 - 2009
Predicate Logic 2005 - 2007
Skills
Process Improvement, Government Contracting, Military, Requirements Analysis, Systems Engineering, Command, Navy, Information Security, C4ISR, Program Management, Security, Information Assurance, DoD, Security Clearance, Earned Value Management, Windows Server, Electronic Warfare, Satellite Communications, Operational Planning, Computer Security, Security+, Defense, Government, Requirements Management, Military Operations, National Security, Intelligence, Top Secret, Engineering Management, Troubleshooting, PMP, CISSP, Proposal Writing, Intelligence Analysis, Configuration Management, Analysis, Integration, Risk Management, Network Engineering, Information Security..., Army, Air Force, System Architecture, DIACAP, System Administration, Military Experience, Aerospace, Vulnerability Assessment, SATCOM, Network Security
Education
The United States Naval Postgraduate School 1992 — 1994
MS, National Security Affairs
United States Naval Academy 1981 — 1985
BS, General Engineering
SPAWAR December 2012 - Present
Mala GeoScience September 2012 - December 2012
Predicate Logic June 2011 - September 2012
Naval Submarine Support Facility New London April 2007 - May 2011
United States Navy March 1989 - May 2011
United States navy March 2004 - March 2006
Skills
Troubleshooting, Electronics, Operation, Navy, Security Clearance, DoD, Military, Integration, Test Equipment, Technical Training, Computer Hardware, Quality Assurance, Security, Testing, Command, Problem Solving, Operating Systems, Radar, Team Leadership, Scheduling, Microsoft Office, Telecommunications, Customer Service, Defense, C4ISR, COMSEC, Nuclear, Information Assurance, Systems Engineering, Electronic Warfare, Military Experience, Military Operations, Training, Leadership, Military Training, Top Secret, Maintenance & Repair, Project Management, Management
Education
Thomas Edison State College 2009 — 2010
AS, Electrical studies
Grantham University 2007 — 2008
as, electrical engineering
University of New Orleans 1985 — 1987
bs, business
brother martin high school 1979 — 1985
High School Diploma
Operation Smile August 2014 - 2015
Sotera Defense Solutions June 2011 - August 2014
CACI International Inc January 2011 - June 2011
STS International Inc March 2010 - December 2010
Global Defense Technology & Systems, Inc. September 2008 - December 2009
Predicate Logic September 2002 - September 2008
NATO SATCOM (F3) April 1997 - June 2002
US Navy January 1993 - February 1997
Navy SBU-12 1988 - 1992
Skills
Security Clearance, Servers, Troubleshooting, Navy, Unix, Windows Server, DoD, Information Assurance, Military, Integration, Program Management, Requirements Analysis, Computer Security, Testing, System Administration, Security, Government, Network Security, Leadership
Education
Saint Leo University 1997 — 2001
Computer Information Systems, Advance Networks
ECPI University 2012 — 2013
Advance Networking, CCNA & CCNP Converged Enterprise Networks
Old Dominion University 2002 — 2003
Master of Computer Applications (MCA), Advance Computer Networks
American Funds January 2007 - Present
Predicate Logic September 2005 - January 2007
Education
Cabrini College
Behavioral Science
Vector Planning and Services, Inc. June 2015 - Present
Accenture October 2003 - June 2015
Predicate Logic 1999 - 2003
Nielsen Claritas 1998 - 1999
General Instruments 1993 - 1998
ICL/Fujitsu 1991 - 1993
Prodigy 1986 - 1991
IBM 1978 - 1983
U.S. Department of Labor 1977 - 1978
Skills
Requirements Management, Systems Engineering, Configuration Management, Product Management, Integration, Requirements Analysis, Management, Security Clearance
Education
Harvard Business School 1983 — 1985
MBA, General Management
University of Florida 1973 — 1977
B.S., Microbiology
NAVSEA (SWRMC) Southwest Regional Maintenance Center September 2013 - July 2015
SPAWAR June 2012 - September 2013
NAVSEA (NSWC) Naval Surface Warfare Center, Corona Division January 2012 - June 2012
NAVSEA (NSWC) Naval Surface Warfare Center, Port Hueneme Division June 2010 - January 2012
Predicate Logic June 2008 - March 2010
Defense Training Systems October 2007 - June 2008
San Diego Unified School District September 2006 - June 2007
Barstow Community College June 2005 - December 2006
United States Air Force Reserve April 1999 - October 2004
Skills
Federal Acquisition, Government Contract..., Government Contracts, Contract Management, Contract Negotiation, Employment Contracts, Interviews, Contract Recruitment, Consultancy, Technical Documentation, Strategic Sourcing, Event Management, Account Management, Federal Grant Management, Financial Reporting, Medical Insurance, Grant Writing, Project Management, FAR, Government Procurement, Program Management, Training, Earned Value Management, Leadership, Process Improvement, DoD, Budgets, RFP, Analysis, Government, Human Resources, Logistics, Military, Negotiation, Organizational..., Project Planning, Proposal Writing, Government Contracting, Operational Planning, Strategic Planning, Security Clearance, Policy, Security, Military Operations, Defense
Education
Webster University St. Louis 2006 — 2008
MBA, Banking, Corporate, Finance, and Securities Law
Southern Illinois University, Carbondale 2004 — 2005
Bachelor's Science, Human Resource Development
Barstow College 2003 — 2005
AS, Allied Health -Nursing
PGi January 2013 - Present
PGi June 2002 - January 2013
PGi May 2001 - June 2002
Predicate Logic August 1999 - May 2001
Pacific Environment January 1997 - May 1999
US Army December 1987 - December 1996
Skills
Telecommunications, VoIP, SIP, Sonus, Acme Packet, SaaS, Microsoft SQL Server, Troubleshooting, SIP Trunking, Unified Communications, Carrier Management
Education
Colorado Technical University 2000 — 2000
Information Technology
University of Maryland University College 1984 — 1996
Computer Science
Pikes Peak Community College 1993 — 1994
General Studies
Fortinet September 2015 - Present
Predicate Logic May 2014 - Present
Education
Virginia Polytechnic Institute and State University 2009 — 2011
Master’s Degree, Information Technology
Saint Leo University 1999 — 2003
Bachelor’s Degree, Psychology