U.S. federal trademark · Serial No. 85031489
development of new technology for others in the fields of automated reasoning and cyber security; and systems engineering in the fields of computers, network systems, and physical systems
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.