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:

Albert Mol

Albert Mol pada tahun 1962Albert Mol (1 Januari 1917 – 9 Maret 2004) adalah penulis, aktor, dan tokoh televisi ternama asal Belanda. Ia sempat muncul di beberapa film dan acara TV. Kariernya merentang selama 60 tahun. Mol lahir di Amsterdam dan merupakan salah satu aktor Belanda yang mengaku gay secara terbuka. Ia menikahi Lucy Bor pada tahun 1948 dan bercerai tahun 1955. Mereka dikarunai seorang anak pada tahun 1949, aktris Kika Mol. Tanggal 16 Maret 1998, Albert Mol meresmikan hubungannya...

 

Jersey City, New Jersey

City in Hudson County, New Jersey, US Jersey City redirects here. For towns or cities named Jersey, see Jersey (disambiguation). City in New Jersey, United StatesJersey City, New JerseyCityCity of Jersey CityDowntown Jersey City skylineEmpty Sky memorialColgate ClockThe Pulaski SkywayJournal SquareThe Central Railroad of New Jersey TerminalLiberty Science CenterThe Holland Tunnel FlagSealWordmarkNickname(s): J.C., Chilltown,[1] Sixth Borough,[2] America's Golden Door,[...

 

The Killing Fields (film)

Artikel ini bukan mengenai Sri Lanka's Killing Fields. The Killing FieldsPoster rilis teatrikalSutradaraRoland JofféProduserDavid PuttnamIain SmithSkenarioBruce RobinsonBerdasarkanThe Death and Life of Dith Pranoleh Sydney SchanbergPemeran Sam Waterston Haing S. Ngor Craig T. Nelson John Malkovich Athol Fugard Penata musikMike OldfieldSinematograferChris MengesPenyuntingJim ClarkPerusahaanproduksi Goldcrest Films International Film Investors Enigma Productions Distributor Warner Bros. ...

Yedi Rahmat

Yedi Rahmat Yedi Rahmat (lahir 6 April 1967) adalah seorang birokrat Indonesia kelahiran Lebak.[1] Ia sempat menjabat sebagai Asisten Deputi Bidang Pengelolaan Infrastruktur Ekonomi dan Kesejahteraan Rakyat serta Sekretaris KORPRI Kemendagri. Pada 5 Desember 2023, ia diangkat menjadi pelaksana jabatan Wali Kota Serang.[2] Referensi ^ Profil Pj Walikota Serang. Serang Kota.  ^ Profil Yedi Rahmat, Pejabat Kemendagri Dilantik jadi Pj Wali Kota Serang. Tribunnews.com.  A...

 

Local government in New South Wales

This article is about local government in New South Wales. For a list of local government areas, see Local government areas of New South Wales. Politics of New South Wales Government Governor Premier Deputy Premier Treasurer Attorney General Leader of the Opposition Executive Council Current cabinet Parliament Council members Assembly members districts Judiciary Supreme Court District Court Local Court Political parties Animal Justice Greens Labor Liberals Nationals One Nation Shooters, Fishe...

 

Thisted Municipality

Municipality in North Jutland, DenmarkThisted Municipality Thisted Kommune (Danish)MunicipalityView of beach with small trawlers berthing in Vorupør Coat of armsLocation in DenmarkCoordinates: 56°57′10″N 8°36′10″E / 56.9528°N 8.6028°E / 56.9528; 8.6028CountryDenmarkRegionNorth JutlandEstablished1 January 2007Government • MayorNiels Jørgen PedersenArea • Total1,101 km2 (425 sq mi)Population (1. January 2023)...

Синелобый амазон

Синелобый амазон Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:ЗавропсидыКласс:Пт�...

 

Società calcistiche italiane vincitrici di competizioni nazionali e internazionali

La lista riporta tutte le società calcistiche italiane vincitrici di competizioni nazionali e internazionali, indicando i campionati e le coppe presi in considerazione nei palmarès e nelle classifiche pubblicati nei siti internet della Lega Serie A,[1] FIGC[2] e UEFA.[3] La Juventus è il club italiano più titolato[4][5][6][7] con 70 trofei conquistati,[8][9][10] seguita dal Milan con 49 titoli[11][...

 

Шалфей обыкновенный

Шалфей обыкновенный Научная классификация Домен:ЭукариотыЦарство:РастенияКлада:Цветковые растенияКлада:ЭвдикотыКлада:СуперастеридыКлада:АстеридыКлада:ЛамиидыПорядок:ЯсноткоцветныеСемейство:ЯснотковыеРод:ШалфейВид:Шалфей обыкновенный Международное научное наз...

2024 Oregon Senate election

2024 Oregon Senate election ← 2022 November 5, 2024 2026 → 15 of 30 seats in the Oregon State Senate16 seats needed for a majority   Leader Rob Wagner Tim Knopp(barred from re-election) Brian Boquist(barred from re-election) Party Democratic Republican Independent Party Leader since January 9, 2023 October 22, 2021 January 15, 2021 Leader's seat 19–Lake Oswego 27–Bend 12–McMinville Last election 17 seats 11 seats 0 seats Current seats 17 1...

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

 

Plastron

Plastron gotik dari abad ke-15. Plastron atau lemena adalah pakaian yang dikenakan pada dada untuk melindungi bagian tubuh tersebut, atau sebagai penanda status seseorang. Pada peperangan Abad Pertengahan, plastron adalah bagian dari zirah yang menutupi bagian dada. Pakaian ini sudah dikenal sejak Era Klasik, biasanya dibuat dari kulit, perunggu, atau besi. Di Eropa sekitar abad ke-11, penggunaannya mulai jarang sejak para kesatria lebih memilih untuk menggunakan zirah rantai dalam bentuk baj...

内华达州

内華達州 美國联邦州State of Nevada 州旗州徽綽號：產銀之州、起戰之州地图中高亮部分为内華達州坐标：35°N－42°N, 114°W－120°W国家 美國建州前內華達领地加入聯邦1864年10月31日（第36个加入联邦）首府卡森城最大城市拉斯维加斯政府 • 州长（英语：List of Governors of {{{Name}}}]]） • 副州长（英语：List of lieutenant governors of {{{Name}}}]]）喬·隆巴爾多（R斯塔...

 

西維吉尼亞州

西維珍尼亞 美國联邦州State of West Virginia 州旗州徽綽號：豪华之州地图中高亮部分为西維珍尼亞坐标：37°10'N－40°40'N, 77°40'W－82°40'W国家 美國加入聯邦1863年6月20日（第35个加入联邦）首府（最大城市）查爾斯頓政府 • 州长（英语：List of Governors of {{{Name}}}]]） • 副州长（英语：List of lieutenant governors of {{{Name}}}]]）吉姆·賈斯蒂斯（R）米奇·卡邁克爾（...

 

Mick Mulvaney

American politician (born 1967) Mick MulvaneyOfficial portrait, 2017United States Special Envoy for Northern IrelandIn officeMay 1, 2020 – January 6, 2021PresidentDonald TrumpPreceded byGary Hart (2017)Succeeded byJoe Kennedy III (2022)White House Chief of StaffActingIn officeJanuary 2, 2019 – March 31, 2020PresidentDonald TrumpPreceded byJohn F. KellySucceeded byMark Meadows41st Director of the Office of Management and BudgetIn officeFebruary 16, 2017 – March...

Neobatrachia

Neobatrachia Обыкновенная квакша Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКласс:ЗемноводныеПодкласс:Б�...

 

Asian dowitcher

Species of bird Asian dowitcher in winter plumage Conservation status Near Threatened  (IUCN 3.1)[1] Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Charadriiformes Family: Scolopacidae Genus: Limnodromus Species: L. semipalmatus Binomial name Limnodromus semipalmatus(Blyth, 1848) Synonyms Macrorhamphus semipalmatus Blyth, 1848 The Asian dowitcher (Limnodromus semipalmatus) is a rare medium-large wader. Description Adults hav...

 

Gary Coleman

American actor and comedian (1968–2010) For other people named Gary Coleman, see Gary Coleman (disambiguation). Not to be confused with Gary Oldman, Gary Cole, or Gary Goldman. Gary ColemanColeman in 2005BornGary Wayne Coleman(1968-02-08)February 8, 1968Zion, Illinois, U.S.DiedMay 28, 2010(2010-05-28) (aged 42)Provo, Utah, U.S.OccupationsActorcomedianYears active1974–2010WorksFull listSpouse Shannon Price ​ ​(m. 2007; div. 2008)​Pa...

Princess Power

Children's animated television series This article reads like a press release or a news article and may be largely based on routine coverage. Please help improve this article and add independent sources. (March 2023) Princess PowerGenre Adventure Created byElise AllenBased onPrincesses Wear Pantsby Savannah Guthrie and Allison OppenheimVoices of Trinity Jo-Li Bliss Dana Heath Luna Bella Madison Calderon Alanna Ubach Theme music composer Alana Da Fonseca Kat Raio Rende JP Rende Opening themeP...

 

2010 South American Cross Country Championships

Running race International athletics championship event2010 South American Cross Country ChampionshipsOrganisersCONSUDATLEEdition25thDateFebruary 27Host cityGuayaquil, Ecuador VenueCampus La SalleEvents6Distances12 km – Senior men 8 km – Junior men (U20) 4 km – Youth men (U18) 8 km – Senior women 6 km – Junior women (U20) 3 km – Youth women (U18)Participation82 athletes from 7 nations← 2009 Concepción 2011 Asunción → The 2010 South American Cross Country Championship...