logo
explain how to read the page

The above diagram shows the color scheme of the layout in the main result page. The parent entities and officers are those entities, including individual and legal persons, have significant controls over the company in focus. The offspring entities and appointments are those entities that the company in focus can influence on.

Clicking the links on parent entities or officers, and offspring entities or managed companies will put them in focus and show upstream or downstream connections. In general, ascendant entities can be found by moving toward upstream, and descendant entities are by toward downstream. In this way, progenitor entities such as grandparent companies (parents of parent), sibling companies (children of parent), partner companies (parents of child), and progeny entities such as grandchild companies (children of child) can be found easily.

Parent entities and officers
Active 3
  • 1
    Gibson-robinson, Thomas Derek, Dr
    Born in November 1987
    Individual (3 offsprings)
    Officer
    icon of calendar 2014-08-25 ~ now
    OF - Director → CIF 0
  • 2
    Roscoe, Andrew William, Prof
    Born in December 1956
    Individual (3 offsprings)
    Officer
    icon of calendar 2015-11-01 ~ now
    OF - Director → CIF 0
  • 3
    CROSBIL LIMITED
    icon of address2, Leman Street, London, England
    Active Corporate (2 parents, 1 offspring)
    Equity (Company account)
    1,869,763 GBP2024-12-31
    Person with significant control
    icon of calendar 2017-09-19 ~ now
    PE - Ownership of voting rights - 75% or moreCIF 0
    PE - Ownership of shares – 75% or moreCIF 0
Ceased 10
  • 1
    Reed, Joylyn Newberry
    University Researcher born in October 1946
    Individual
    Officer
    icon of calendar ~ 2014-08-25
    OF - Director → CIF 0
  • 2
    Neuberger, John William, Dr
    Professor born in August 1934
    Individual
    Officer
    icon of calendar ~ 2017-07-03
    OF - Director → CIF 0
  • 3
    Zenor, Phillip Lee, Dr
    Professor born in December 1940
    Individual
    Officer
    icon of calendar ~ 2014-08-25
    OF - Director → CIF 0
  • 4
    Jackson, David Mark, Dr
    Computer Scientist born in May 1965
    Individual
    Officer
    icon of calendar 1996-04-15 ~ 1996-10-29
    OF - Director → CIF 0
  • 5
    Woodcock, James Charles Paul, Dr
    Academic Mathematician born in June 1956
    Individual
    Officer
    icon of calendar ~ 2017-07-03
    OF - Director → CIF 0
  • 6
    Smith, Christopher Nicholas, Dr
    Publisher born in September 1957
    Individual (2 offsprings)
    Officer
    icon of calendar ~ 2017-07-03
    OF - Director → CIF 0
  • 7
    Reed, George Michael
    University Lecturer born in September 1945
    Individual
    Officer
    icon of calendar ~ 2005-01-31
    OF - Director → CIF 0
  • 8
    Mrs Jacoba Elisabeth Maria Roscoe
    Born in November 1942
    Individual (1 offspring)
    Person with significant control
    icon of calendar 2017-07-03 ~ 2017-09-19
    PE - Ownership of shares – More than 50% but less than 75%CIF 0
  • 9
    Roscoe, Andrew William, Prof
    University Lecturer born in December 1956
    Individual (3 offsprings)
    Officer
    icon of calendar ~ 1996-06-08
    OF - Director → CIF 0
    Prof Andrew William Roscoe
    Born in December 1956
    Individual (3 offsprings)
    Person with significant control
    icon of calendar 2017-03-30 ~ 2017-09-19
    PE - Ownership of shares – More than 25% but not more than 50%CIF 0
  • 10
    Goldsmith, Michael Hugh, Dr
    Computer Scientiest born in February 1959
    Individual
    Officer
    icon of calendar ~ 2017-09-12
    OF - Director → CIF 0
    Goldsmith, Michael Hugh, Dr
    Individual
    Officer
    icon of calendar ~ 2017-09-12
    OF - Secretary → CIF 0
parent relation
Company in focus

FORMAL SYSTEMS (EUROPE) LIMITED

Previous name
CORECHECK LIMITED - 1989-09-19
Standard Industrial Classification
72190 - Other Research And Experimental Development On Natural Sciences And Engineering
62020 - Information Technology Consultancy Activities
62012 - Business And Domestic Software Development
Brief company account
Current Assets
99,316 GBP2024-12-31
244,470 GBP2023-12-31
Creditors
Current
-8,829 GBP2024-12-31
-41,034 GBP2023-12-31
Net Current Assets/Liabilities
90,487 GBP2024-12-31
205,665 GBP2023-12-31
Total Assets Less Current Liabilities
90,487 GBP2024-12-31
205,665 GBP2023-12-31
Net Assets/Liabilities
90,487 GBP2024-12-31
205,665 GBP2023-12-31
Equity
90,487 GBP2024-12-31
205,665 GBP2023-12-31
Average Number of Employees
22024-01-01 ~ 2024-12-31
22023-01-01 ~ 2023-12-31

  • FORMAL SYSTEMS (EUROPE) LIMITED
    Info
    CORECHECK LIMITED - 1989-09-19
    Registered number 02389596
    icon of address264 Banbury Road, Oxford OX2 7DY
    PRIVATE LIMITED COMPANY incorporated on 1989-05-26 (36 years 8 months). The company status is Active.
    The last date of confirmation statement was made at 2025-02-03
    CIF 0
child relation
Offspring entities and appointments
Active 0
  • Not found in our database.

The content of this website is protected by AgonGuard.

© 2022- Polylogarithmic Technology Ltd (Registered in England and Wales No. 14256313). All rights reserved.

Contains public sector information retrieved at 12 November 2025 and licensed under the Open Government Licence v3.0.