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

FORMAL SYSTEMS (EUROPE) LIMITED

Previous name
CORECHECK LIMITED - 1989-09-19
Standard Industrial Classification
62012 - Business And Domestic Software Development
62020 - Information Technology Consultancy Activities
72190 - Other Research And Experimental Development On Natural Sciences And Engineering
Brief company account
Current Assets
244,470 GBP2023-12-31
427,824 GBP2022-12-31
Creditors
Current, Amounts falling due within one year
-41,034 GBP2023-12-31
-35,296 GBP2022-12-31
Equity
205,665 GBP2023-12-31
392,528 GBP2022-12-31
Average Number of Employees
22023-01-01 ~ 2023-12-31
22022-01-01 ~ 2022-12-31

  • FORMAL SYSTEMS (EUROPE) LIMITED
    Info
    CORECHECK LIMITED - 1989-09-19
    Registered number 02389596
    264 Banbury Road, Oxford OX2 7DY
    Private Limited Company incorporated on 1989-05-26 (36 years 1 month). 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.
© 2022-2025 Polylogarithmic Technology Ltd. All rights reserved.
Contains public sector information retrieved at 24 April 2025 and licensed under the Open Government Licence v3.0.