__NOTOC__ John S. Fitzgerald

FBCS Sir Maurice Wilkes served as the first President of BCS in 1957 BCS, The Chartered Institute for IT, known as the British Computer Society until 2009, is a professional body and a learned society that represents those working in infor ...

(born 1965) is a British

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

. He is a professor at

Newcastle University Newcastle University (legally the University of Newcastle upon Tyne) is a UK public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is a red brick unive ...

. He was the head of the School of Computing before taking on the role of Dean of Strategic Projects in the university’s Faculty of Science, Agriculture and Engineering. His research interests are in the area of dependable

computer system A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These prog ...

s and

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

, with a background in the VDM.VDM portal
He is a former Chair of

Formal Methods Europe Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and i ...

and committee member of

BCS-FACS BCS-FACS is the BCS ''Formal Aspects of Computing Science'' Specialist Group. Overview The FACS group, inaugurated on 16 March 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is a ...

Education

Fitzgerald was born in

Belfast Belfast ( , ; from ga, Béal Feirste , meaning 'mouth of the sand-bank ford') is the capital and largest city of Northern Ireland, standing on the banks of the River Lagan on the east coast. It is the 12th-largest city in the United Kingd ...

Northern Ireland Northern Ireland ( ga, Tuaisceart Éireann ; sco, label=Ulster-Scots, Norlin Airlann) is a part of the United Kingdom, situated in the north-east of the island of Ireland, that is variously described as a country, province or region. North ...

, and was educated at

Bangor Grammar School (Maintain justice) , established = 1856 , type = Voluntary grammar school , religious_affiliation = Interdenominational , head_label = Principal , head = E P Huddleson , r_head_label = Chaplains , r_head = Nig ...

and the

Victoria University of Manchester The Victoria University of Manchester, usually referred to as simply the University of Manchester, was a university in Manchester, England. It was founded in 1851 as Owens College. In 1880, the college joined the federal Victoria University. Afte ...

. He holds the

BSc A Bachelor of Science (BS, BSc, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Science was the University of ...

in Computing and Information Systems and the

PhD PHD or PhD may refer to: * Doctor of Philosophy (PhD), an academic qualification Entertainment * '' PhD: Phantasy Degree'', a Korean comic series * ''Piled Higher and Deeper ''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...

degrees from the Department of Computer Science at Manchester.

Selected books

* Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. et al., ''Proof in VDM: a Practitioner's Guide''.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

Formal Approaches to Computing and Information Technology (FACIT), 1994. . * Fitzgerald, J.S. and Larsen, P.G., ''Modelling Systems: Practical Tools and Techniques in Software Engineering''.

Cambridge University Press Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambr ...

, 1998. . (Japanese Edition pub.

Iwanami Shoten is a Japanese publishing company based in Tokyo.Louis Frédéric, ''Japan Encyclopedia'', Harvard University Press, 2005, p. 409. Iwanami Shoten was founded in 1913 by Iwanami Shigeo. Its first major publication was Natsume Sōseki's novel '' ...

, 2003. .) * Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., ''Validated Designs for Object-oriented Systems''.

, 2005. .

References

External links

Home page
{{DEFAULTSORT:Fitzgerald, John 1965 births Living people Scientists from Belfast Alumni of the Victoria University of Manchester British computer scientists Formal methods people Academics of Newcastle University Computer science writers Fellows of the British Computer Society People educated at Bangor Grammar School

Education

Selected books

See also

References

External links