John Fitzgerald (computer scientist)

John S. Fitzgerald FBCS (born 1965) is a British computer scientist. He is a professor at Newcastle University. 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.[1] His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM.[2] He is a former Chair of Formal Methods Europe and committee member of BCS-FACS.

Education

Fitzgerald was born in Belfast, Northern Ireland,[citation needed] and was educated at Bangor Grammar School and the Victoria University of Manchester. He holds the BSc in Computing and Information Systems and the PhD 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 Formal Approaches to Computing and Information Technology (FACIT), 1994. ISBN 3-540-19813-X.
  • Fitzgerald, J.S. and Larsen, P.G., Modelling Systems: Practical Tools and Techniques in Software Engineering. Cambridge University Press, 1998. ISBN 0-521-62348-0. (Japanese Edition pub. Iwanami Shoten, 2003. ISBN 4-00-005609-3.)
  • Fitzgerald, J.S., Larsen, P.G., Mukherjee, P. et al., Validated Designs for Object-oriented Systems. Springer-Verlag, 2005. ISBN 1-85233-881-4.

See also

Colleagues at Newcastle University:

References

  1. ^ "Professor John Fitzgerald". UK: Newcastle University. Archived from the original on 15 March 2018. Retrieved 18 August 2018.
  2. ^ VDM portal.

Read other articles:

Wisconsin

Disambiguazione – Se stai cercando altri significati, vedi Wisconsin (disambigua). Wisconsinstato federatoState of Wisconsin (dettagli) (dettagli) LocalizzazioneStato Stati Uniti AmministrazioneCapoluogoMadison GovernatoreTony Evers (D) dal 2019 Data di istituzione29 maggio 1848 TerritorioCoordinatedel capoluogo43°04′N 89°24′W / 43.066667°N 89.4°W43.066667; -89.4 (Wisconsin)Coordinate: 43°04′N 89°24′W / 43.066667°N 89.4°W4...

 

The Crusher (wrestler)

American professional wrestler The CrusherThe Crusher in repose (1971)Birth nameReginald LisowskiBorn(1926-07-11)July 11, 1926South Milwaukee, Wisconsin, U.S.DiedOctober 22, 2005(2005-10-22) (aged 79)South Milwaukee, Wisconsin, U.S.Cause of deathBrain tumorSpouse(s) Faye ​ ​(m. 1929; died 2003)​Children4Professional wrestling careerRing name(s)The CrusherCrusher LisowskiDa CrusherDick CrusherReggie LisowskiBilled height5 ft 11 in ...

 

قائمة ملاعب نهائيات كأس العالم

كانت هناك 21 نسخة من كأس العالم وهي بطولة دولية لكرة القدم تأسست في سنة 1930.وتنافست عليها الفرق الوطنية للرجال الأعضاء في الاتحاد الدولي لكرة القدم، الهيئة الحاكمة العالمية للرياضة. تقام البطولة كل أربع سنوات منذ افتتاحها، باستثناء عامي 1942 و 1946 بسبب الحرب العالمية الثانية. �...

Gametofit

Protalium, fase gametofit paku. Gametofit (gametophyte, dari gamos, kawin, dan phyton, tumbuhan) adalah bentuk kehidupan yang berfungsi melakukan reproduksi seksual/generatif pada organisme yang mengalami pergiliran keturunan. Pada tumbuhan daratan (Viridiplantae), pergiliran keturunan diwakili oleh dua fase kehidupan yang berulang-ulang: gametofit dan sporofit. Tumbuhan lumut Gametofit tumbuhan lumut (lumut hati, lumut tanduk, dan lumut daun/sejati) adalah bentuk yang biasa dikenal oleh oran...

 

العلاقات السعودية الفلبينية

العلاقات السعودية الفلبينية   الفلبين   السعودية تعديل مصدري - تعديل   العلاقات السعودية الفلبينية تشير إلى العلاقات الثنائية بين الفلبين و المملكة العربية السعودية. أقيمت علاقات دبلوماسية رسمية بين البلدين في 24 أكتوبر 1969.[1] مقارنة بين البلدين مقارنة عام�...

 

Pushkin, Saint Petersburg

Not to be confused with Pushkino, Russia. Municipal town in Saint Petersburg, RussiaPushkin ПушкинMunicipal town[1]Catherine Palace FlagCoat of armsLocation of Pushkin PushkinLocation of PushkinShow map of RussiaPushkinPushkin (Saint Petersburg)Show map of Saint PetersburgCoordinates: 59°44′N 30°23′E / 59.733°N 30.383°E / 59.733; 30.383CountryRussiaFederal subjectSaint PetersburgFounded1710 (1808)Government • BodyMunicipal Urban Counci...

Comment (computer programming)

Explanatory note in the source code of a computer program For comments in Wikipedia markup, see Help:Wiki markup § Character formatting, and WP:COMMENT. /* and */ redirect here. For their use in Wikipedia edit summaries, see Help:Edit summary § Section editing. An illustration of Java source code with prologue comments indicated in red and inline comments in green. Program code is in blue. In computer programming, a comment is a programmer-readable explanation or annotation in the...

 

Giovanni Calegari

Giovanni Calegari Calegari (in piedi, secondo da destra) nel Venezia della stagione 1955-1956. Nazionalità  Italia Calcio Ruolo Allenatore (ex attaccante) Termine carriera 1967 - giocatore Carriera Squadre di club1 1951-1952 Pro Sesto2 (0)1953-1955 Monza17 (5)1955-1960 Venezia146 (51)1960-1961 Parma25 (5)1961-1962 Savona23 (6)[1]1962-1963 Mestrina24 (10)[2]1963-1964 Rizzoli32 (7)1964-1967 Lilion Snia Varedo93 (?) Carriera da allen...

 

Hohokam

Prehistoric culture in the North American Southwest This article is about the prehistoric culture. For the freeway in Phoenix, Arizona, see Arizona State Route 143. For the Oakland Athletics' spring training facility, see Hohokam Stadium. The Great House at the Casa Grande Ruins National Monument Hohokam (/hoʊhoʊˈkɑːm/) was a culture in the North American Southwest in what is now part of south-central Arizona, United States, and Sonora, Mexico. It existed between 300 and 1500 CE, with cu...

Pre-existence of Christ

Existence of Christ before his incarnation as Jesus God resting after creation – Christ depicted as the creator of the world, Byzantine mosaic in Monreale, Sicily. Depictions of God the Father became prevalent only by the 15th century, and Jesus was often shown as a substitute before then.[1] Part of a series onChristology Concepts Christ (Messiah)Kyrios Son of GodGod the Son LogosIncarnationPre-existence Active obedience Communicatio idiomatum Consubstantiality ExaltationHumiliatio...

 

Punjabis

Ethnolinguistic group native to the Punjab This article is about an ethnic group. For their language, see Punjabi language. For the geographical Punjabi region, see Punjab. For other uses, see Punjabi (disambiguation). PunjabisਪੰਜਾਬੀپنجابیTotal populationc. 150 million[1][2][3][4]Regions with significant populations Pakistan108,586,959 (2022)[a][6][7][8] India37,520,211 (2022)[b][3 ...

 

Archibald MacLeish

American poet and 9th Librarian of Congress Archibald MacLeish1st Assistant Secretary of State for Public AffairsIn officeDecember 20, 1944 – August 17, 1945PresidentFranklin D. Roosevelt Harry S. TrumanPreceded byPosition establishedSucceeded byWilliam Benton9th Librarian of CongressIn officeJuly 10, 1939 – December 19, 1944PresidentFranklin D. RooseveltPreceded byHerbert PutnamSucceeded byLuther H. Evans Personal detailsBorn(1892-05-07)May 7, 1892Glencoe, Illin...

Rocky Mountain Floristic Region

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Rocky Mountain Floristic Region – news · newspapers · books · scholar · JSTOR (October 2015) (Learn how and when to remove this message) Sidalcea oregana var. calvaForest of Pseudotsuga menziesii subsp. menziesii in WashingtonDarlingtonia californica The Rocky ...

 

All-Ukrainian Congress of Soviets

Governing body of the Ukrainian SSR from 1917–38 See also: Congress of Soviets of the Soviet Union and Communist Party of Ukraine (Soviet Union) All-Ukrainian Congress of Soviets Всеукраїнський з'їзд РадVseukrayinsky zyizd Rad Ukrainian SSRTypeTypeCongress of Soviets HistoryEstablished17 December [O.S. 4 December] 1917Disbanded21 February 1938[1][2]Preceded byCentral Council of UkraineSucceeded bySupreme Soviet of the Ukr...

 

Ethel, West Virginia

Unincorporated community in West Virginia, United StatesEthel, West VirginiaUnincorporated communityEthel Coal Company Supply Building, 2020EthelShow map of West VirginiaEthelShow map of the United StatesCoordinates: 37°51′59″N 81°54′44″W / 37.86639°N 81.91222°W / 37.86639; -81.91222CountryUnited StatesStateWest VirginiaCountyLoganElevation823 ft (251 m)Time zoneUTC-5 (Eastern (EST)) • Summer (DST)UTC-4 (EDT)ZIP code25076Area code(s)3...

غازات الدم الشرياني

غازات الدم الشرياني من أنواع تحليل الدم،  وتحليل غازات الدم  لوينك 24336-0  مدلاين بلس 003855  تعديل مصدري - تعديل   غازات الدم الشرياني (اختصارًا ABG) هو تحليل الدم ويُستخدم في الفحص دم من الشريان. ويتم ثقب الشريان بواسطة إبرة رقيقة ومحقنة للحصول على كمية صغيرة من الدم. ...

 

Law of Washington (state)

Overview of the law of the U.S. state of Washington The law of Washington consists of several levels, including constitutional, statutory, regulatory and case law, as well as local ordinances. The Revised Code of Washington forms the general statutory law. Sources See also: Government of Washington (state) The Constitution of Washington is the foremost source of state law. Legislation is enacted by the Washington State Legislature, published in the Laws of Washington, and codified in the Revi...

 

Koine Greek

Dialect of Greek in the ancient world Not to be confused with Koiné language. Koine redirects here. For other uses, see Koine (disambiguation). Koine Greekἡ κοινὴ διάλεκτοςPronunciation(h)e̝ kyˈne̝ diˈalektos ~i cyˈni ðiˈalektosRegionHellenistic Kingdoms and Roman Empire.By the Early Middle Ages, used in the Southern Balkans, Aegean Islands and Ionian Islands Asia Minor, parts of Southern Italy and Sicily, Byzantine Crimea, the Levant, Egypt and NubiaEthnicityGreeksEr...

Demographics of Liverpool

Demographics of LiverpoolPopulation pyramid of LiverpoolPopulation466,400 (2011)NationalityMajor ethnicWhite: 88.9% The demography of Liverpool is officially analysed by the Office for National Statistics. The Liverpool City Region is made up of Liverpool alongside the Metropolitan Boroughs of Halton, Knowsley, Sefton, St Helens, and the Wirral. With a population of around 496,784, Liverpool is the largest settlement in the region and the sixth largest in the United Kingdom. Population chang...

 

Arreton

Human settlement in EnglandArretonArreton Old VillageArretonLocation within the Isle of WightArea7.465 sq mi (19.33 km2) [1]Population988 (2011 Census including Blackwater , Downend , Horringford and Mereton)[2]• Density132/sq mi (51/km2)OS grid referenceSZ545865Civil parishArretonUnitary authorityIsle of WightCeremonial countyIsle of WightRegionSouth EastCountryEnglandSovereign stateUnited KingdomPost townNEWPORTP...