Gethin Norman is affiliated with the University of Glasgow in the United Kingdom and works primarily in the field of Computer Science. Their research covers a range of topics with a strong focus on formal methods and artificial intelligence, especially in verification and decision-making in computational systems.
Their work spans several subfields including:
Norman has contributed notably to multiple main topics, such as:
Their publication record includes contributions to various journals and conferences, with frequent venues being:
Selected recent papers by Gethin Norman include:
Collaborations have been an important aspect of their research output. Frequent coauthors include Marta Kwiatkowska, David Parker, and Gabriel Santos, demonstrating continued partnerships in areas connected to formal verification and stochastic models.
Marta Kwiatkowska;Gethin Norman;David Parker
Andrew Hinton;Marta Kwiatkowska;Gethin Norman;David Parker
Marta Z. Kwiatkowska;Gethin Norman;David Parker
Marta Kwiatkowska;Gethin Norman;David Parker
Marta Kwiatkowska;Gethin Norman;Roberto Segala;Jeremy Sproston
Marta Z. Kwiatkowska;Gethin Norman;David Parker
Vojtech Forejt;Marta Z. Kwiatkowska;Gethin Norman;David Parker
Marta Kwiatkowska;Gethin Norman;David Parker
Marta Kwiatkowska;Gethin Norman;David Parker;Jeremy Sproston
Marta Kwiatkowska;Gethin Norman;Jeremy Sproston;Fuzhi Wang
Håkan L. S. Younes;Marta Kwiatkowska;Gethin Norman;David Parker
J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker
John Heath;Marta Kwiatkowska;Gethin Norman;David Parker
M. Kwiatkowska;G. Norman;D. Parker
Marta Z. Kwiatkowska;Gethin Norman;Jeremy Sproston
Marta Kwiatkowska;Gethin Norman;David Parker
Marie Duflot;Marta Kwiatkowska;Gethin Norman;David Parker
Luca de Alfaro;Marta Z. Kwiatkowska;Gethin Norman;David Parker
Marta Kwiatkowska;Gethin Norman;David Parker;Hongyang Qu
Marta Z. Kwiatkowska;Gethin Norman;Jeremy Sproston
J. J. Rutten;Marta Kwiatkowska;Gethin Norman;David Parker
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens doors to a variety of flexible online education options. For those looking to fast-track their entry into the tech sector, short certificate programs that pay well can be a smart starting point. These certifications often require just a few months of study and can significantly boost your employability in high-demand tech roles.
If you’re interested in a more comprehensive qualification but need flexibility, consider pursuing an online associate degree. This type of credential provides a solid foundation in computer science and prepares graduates for entry-level positions or further study.
Ambitious students often look into advanced qualifications. There are now a range of shortest masters degree programs online that allow you to earn a master’s degree in less time, without compromising on quality. For maximum career impact, target most worthwhile masters degrees that are in high demand across industries, as these can expand your expertise and open doors to leadership roles.
University of Vienna
Yale University
University of California, San Diego
Saarland University
National Institutes of Health
École Polytechnique Fédérale de Lausanne
Argonne National Laboratory
University of Oxford
Georgia Institute of Technology
Pusan National University
University of Jyväskylä
National Institutes of Health
Gaziosmanpaşa University
Duke University
University of Helsinki
Hakim Sabzevari University
