BCS MEMBERSHIP

navigation-membership-member.png

Join the global and diverse home for digital, technical and IT professionals.

CHARTERED IT PROFESSIONAL

navigation-membership-citp.png

CITP validates technical expertise and professional behaviours in the tech industry

STARTING YOUR IT CAREER

Young Careers

Kick-start a career in IT, whether you're starting out or looking for a career change.

SOFTWARE TESTING CERTIFICATION

navigation-qualifications-swt.png

Over 100,000 professionals worldwide are certified with BCS.

ESSENTIAL DIGITAL SKILLS

navigation-qualifications-skills.png

Improve your digital skills so you can get on in today's workplace.

EVENTS CALENDAR

navigation-events-calendar.png

View all of our upcoming events.

ARTICLES, OPINION AND RESEARCH

navigation-articles-people.png

The latest insights, ideas and perspectives.

IN FOCUS

BCS MEMBERSHIP

CHARTERED IT PROFESSIONAL

STARTING YOUR IT CAREER

SOFTWARE TESTING CERTIFICATION

ESSENTIAL DIGITAL SKILLS

EVENTS CALENDAR

ARTICLES, OPINION AND RESEARCH

IN FOCUS

FACS: Committee and contact details

Here are the members of the Formal Aspects of Computing Science group committee.

Chairman / BCS Liaison

Jonathan Bowen
London South Bank University Museophile Limited

Treasurer and Publications

John Cooke
Loughborough University

Secretary and Vice Treasurer

Roger Carsley
University of Westminster

Newsletter editors

Tim Denvir
Translimina

and

Brian Monahan
Independent

LMS Liaison

Andrei Popescu
University of Sheffield

FME Liaison

Ana Cavalcanti
University of York

Inclusion officer

Margaret West
University of Huddersfield

Seminar Organiser and Vice Secretary

Alvaro Miyazawa
University of York

Vice Chair

Keith Lines
National Physical Laboratory

To contact the group, please email groups@bcs.uk.

FACS (Formal Aspects of Computing Science) group