CODELOGICIAN Trademark

Serial Number: 99430967

CODELOGICIAN is a trademark filed by Aesthetic Integration Limited on October 7, 2025. The trademark is classified under Class 9 (Computers & Electronics), Class 42 (Computer & Scientific). The application is currently pending registration.

Trademark Classes

Class 9 - Computers & Electronics

Scientific, nautical, surveying, photographic, cinematographic, optical apparatus and instruments

Class 42 - Computer & Scientific

Scientific and technological services; industrial analysis and research services

Owner Contact Info

Aesthetic Integration Limited (10 trademarks)

London EC2M3TY , GB

Entity Type: 99

Legal Representation

Attorney of Record

Mark G. Knedeisen

145 trademarks filed View all →

Correspondence Address

Mark G. Knedeisen K&L Gates LLP

K&L Gates Center

210 Sixth Avenue

Pittsburgh, PA 15222-2613

United States

Trademark Details

Filing Date

October 7, 2025

Registration Date

Not Registered

First Use Anywhere

March 26, 2025

First Use in Commerce

March 26, 2025

Goods & Services

Downloadable computer software for program analysis, code governance, reasoning about specifications in the field of software development and source code analysis, and artificial intelligence; downloadable computer software using artificial intelligence (AI) for translating source code into formal mathematical models, verifying code correctness, performing state-space analysis, and generating test cases; downloadable software libraries and extensions for use in developing, testing, and deploying artificial intelligence models and reasoning agents.

Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications in the field of software development and source code analysis, and artificial intelligence; software as a service (SaaS) services featuring artificial intelligence (AI) software for translating source code into formal mathematical models, verifying code correctness, performing state-space analysis, and generating test cases; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents.