|
Michael G. Hinchey
Michael Gerard Hinchey (born 1969) is an Irish computer scientist and former Director of the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.Lero appoint NASA expert Prof Mike Hinchey as co-director . He now serves as Head of Department of the Department of Computer Science & Information Systems at University of Limerick. Mike Hinchey studied at the University of Limerick as an undergraduate (was the leading student in his graduating year), |
Limerick
Limerick ( ; ga, Luimneach ) is a western city in Ireland situated within County Limerick. It is in the province of Munster and is located in the Mid-West which comprises part of the Southern Region. With a population of 94,192 at the 2016 census, Limerick is the third-most populous urban area in the state, and the fourth-most populous city on the island of Ireland at the 2011 census. The city lies on the River Shannon, with the historic core of the city located on King's Island, which is bounded by the Shannon and Abbey Rivers. Limerick is also located at the head of the Shannon Estuary, where the river widens before it flows into the Atlantic Ocean. Limerick City and County Council is the local authority for the city. Geography and political subdivisions At the 2016 census, the Metropolitan District of Limerick had a population of 104,952. On 1 June 2014 following the merger of Limerick City and County Council, a new Metropolitan District of Limerick was formed withi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irish Software Engineering Research Centre
Lero, ''the Science Foundation Ireland Research Centre for Software'', Ireland, is a world-leading Science Foundation Ireland (SFI) research centre. It was established in 2005 as an SFI Centre for Science Engineering and Technology (CSET), being one of nine (originally ten) such centres established by the Irish Government in various areas of science and engineering. Overview Hosted at University of Limerick, Lero, the Science Foundation Ireland Research Centre for Software, is home to around 250 active researchers across eight Irish universities and three Institutes of Technology. Its research spans a wide range of application domains from driverless cars to artificial intelligence, cybersecurity, fintech, govtech, smart communities, agtech and healthtech. Lero brings together researchers from University of Limerick, Dublin City University, Trinity College Dublin, University College Dublin, Maynooth University, National University of Ireland Galway, University College Cork, Mun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institution Of Engineering And Technology
The Institution of Engineering and Technology (IET) is a multidisciplinary professional engineering institution. The IET was formed in 2006 from two separate institutions: the Institution of Electrical Engineers (IEE), dating back to 1871, and the Institution of Incorporated Engineers (IIE) dating back to 1884. Its worldwide membership is currently in excess of 158,000 in 153 countries. The IET's main offices are in Savoy Place in London, England, and at Michael Faraday House in Stevenage, England. In the United Kingdom, the IET has the authority to establish professional registration for the titles of Chartered Engineer, Incorporated Engineer, Engineering Technician, and ICT Technician, as a licensed member institution of the Engineering Council. The IET is registered as a charity in England and Wales, and in Scotland. Formation Discussions started in 2004 between the IEE and the IIE about merging to form a new institution. In September 2005, both institutions held votes o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of European interests in national research agencies. History The concept of a 'European Academy of Sciences' was raised at a meeting in Paris of the European Ministers of Science in 1985. The initiative was taken by the Royal Society (United Kingdom) which resulted in a meeting in London in June 1986 of Arnold Burgen (United Kingdom), Hubert Curien (France), Umberto Colombo (Italy), David Magnusson (Sweden), Eugen Seibold (Germany) and Ruurd van Lieshout (the Netherlands) – who agreed to the need for a new body. The two key purposes of Academia Europaea are: * express ideas and opinions of individual scientists from Europe * act as co-ordinator of European interests in national research agencies It does not aim to replace existing national ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Loyola University Maryland
Loyola University Maryland is a private Jesuit university in Baltimore, Maryland. Established as Loyola College in Maryland by John Early and eight other members of the Society of Jesus in 1852, it is the ninth-oldest Jesuit college in the United States and the first college in the United States to bear the name of St. Ignatius of Loyola, the founder of the Society of Jesus. Loyola's main campus is in Baltimore and features Collegiate Gothic architecture and a pedestrian bridge across Charles Street. The university is academically divided into three schools: the Loyola College of Arts and Sciences, the Loyola School of Education, and the Sellinger School of Business and Management. It operates a Clinical Center at Belvedere Square in Baltimore and has graduate centers in Timonium and Columbia, Maryland. The student body comprises approximately 4,000 undergraduate and 1,900 graduate students, representing 39 states and 44 countries, and 84% of undergraduates reside on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hiroshima University
is a Japanese national university located in Higashihiroshima and Hiroshima, Japan. Established in 1929, it was chartered as a university in 1949 following the merge of a number of national educational institutions. History Under the National School Establishment Law, Hiroshima University was established on May 31, 1949. After World War II, the school system in Japan was entirely reformed and each of the institutions of higher education under the pre-war system was reorganized. As a general rule, one national university was established in each prefecture, and Hiroshima University became a national university under the new system by combining the pre-war higher educational institutions in Hiroshima Prefecture. The following eight schools were integrated or merged into Hiroshima University under the new system of education. * * - also translated "Hiroshima School of Secondary Education" * - also translated "Hiroshima Women's School of Secondary Education" * * - also trans ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Innovations In Systems And Software Engineering
''Innovations in Systems and Software Engineering: A NASA Journal'' is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA. The editors-in-chief are Michael Hinchey (University of Limerick The University of Limerick (UL) ( ga, Ollscoil Luimnigh) is a public research university institution in Limerick, Ireland. Founded in 1972 as the National Institute for Higher Education, Limerick, it became a university in 1989 in accordance w ...) and Shawn Bohner ( Rose-Hulman Institute of Technology). Abstracting and indexing The journal is abstracted and indexed in: References External links * Academic journals established in 2005 Computer science journals Systems engineering Software engineering publications Springer Science+Business Media academic journals Formal methods publications Quarterly journals NASA mass media Hybrid open a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
NASA
The National Aeronautics and Space Administration (NASA ) is an independent agencies of the United States government, independent agency of the US federal government responsible for the civil List of government space agencies, space program, aeronautics research, and outer space, space research. NASA was National Aeronautics and Space Act, established in 1958, succeeding the National Advisory Committee for Aeronautics (NACA), to give the U.S. space development effort a distinctly civilian orientation, emphasizing peaceful applications in space science. NASA has since led most American space exploration, including Project Mercury, Project Gemini, the 1968-1972 Apollo program, Apollo Moon landing missions, the Skylab space station, and the Space Shuttle. NASA supports the International Space Station and oversees the development of the Orion (spacecraft), Orion spacecraft and the Space Launch System for the crewed lunar Artemis program, Commercial Crew Program, Commercial Crew ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Z Notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abrial published "Data Semantics". He used a notation that would later be taught in the University of Grenoble until the end of the 1980s. While at EDF ( Électricité de France), working with Bertrand Meyer, Abrial also worked on developing Z. The Z notation is used in the 1980 book ''Méthodes de programmation''. Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer. It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979. Abrial has said that Z is so named "Because it is the ultimate language!" although the name " Zermelo" is also associated with the Z notation through its use of Zermelo–F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Communicating Sequential Processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language and also influenced the design of programming languages such as Limbo, RaftLib, Erlang, Go, Crystal, and Clojure's core.async. CSP was first described in a 1978 article by Tony Hoare, but has since evolved substantially. CSP has been practically applied in industry as a tool for specifying and verifying the concurrent aspects of a variety of different systems, such as the T9000 Transputer, as well as a secure ecommerce system. The theory of CSP itself is also still the subject of active research, including work to increase its range of practical applicability (e.g., increasing the scale of the systems tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specificati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University
The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209 and granted a royal charter by Henry III of England, Henry III in 1231, Cambridge is the world's List of oldest universities in continuous operation, third oldest surviving university and one of its most prestigious, currently ranked second-best in the world and the best in Europe by ''QS World University Rankings''. Among the university's List of University of Cambridge people, most notable alumni are 11 Fields Medalists, seven Turing Award, Turing Award winners, 47 Head of state, heads of state, 14 List of prime ministers of the United Kingdom by education, British prime ministers, 194 Olympic medal-winning athletes,All Known Cambridge Olympia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
