224 search results for “program verification” in the Public website
-
System Verification Lab (SVL)
The correctness of computational systems is of great importance to our society, since it becomes ever more reliant on the benefits of computing.
-
Marcello Bonsangue
Science
-
Advanced Studies: certified copies, graduation statements and diploma verification
Alumni of LLM Advanced Studies programmes can request proof of graduation via Leiden Law School’s Office for International Education. This can take the form of a certified copy of your transcript, a confirmation of graduation letter or diploma verification by email. Alternatively, you can request digital…
- Program
-
Computer programming
We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.
-
Alternative Master's programs
When deciding whether a Master's program is right for you, it is important to always compare other programs. Find out which one best fits you.
-
Leiden Certified Public Manager® Program
The Leiden University Centre for Professional Learning has acquired the exclusive license in Europe 2018 from the American Certified Public Manager® Program. This program is carried out in cooperation with partners in Europe. The language of instruction of this program is English.
-
Media Technology MSc Program
Are you eager to bring your own questions and curiosity into scientific research? Do the creation of media and use of technology drive your research interests? Could you be a researcher who challenges scientific practice and pushes its boundaries?
-
Automata-theoretic protocol programming
Promotor: F. Arbab
- Program 2023
-
Courses per study program
Here you can find an overview of the offered courses provided by the Department of Economics per study program.
- Program in English
-
About the program
Many countries and regions face a wide variety of challenges resulting from migration and mobility. Solutions that have been formulated range from policies and regulations for immigration, to education and stimulating social participation, to restructuring the welfare state. These challenges and policies…
-
Understanding the Heterogeneity of Corporate Entrepreneurship Programs
In today's volatile market environments, companies must be able to continuously innovate. In this context, innovation does not only refer to the development of new products or business models but often also affects the entire organization, which has to transform its structures, processes, and ways of…
-
The Hague Program on International Cyber Security
Taking the changing landscape of international cyber security and cyber conflict as a point of departure, The Hague Program on International Cyber Security focuses on the various modes of governance that states and other actors can bring into play to deal with and shape the strategic changes and challenges…
-
About the Leiden Certified Public Manager® Program
The Leiden Certified Public Manager® Program comprises 300 hours of structured learning (blended input, applied learning and joint inquiry) and runs over twelve months and starts in Autumn 2017. Academic and practitioner faculty members organise, coordinate and teach the programme. The Leiden Certified…
-
The Hague Program for Cyber Norms
A research program that focuses on the development and implementation of cyber norms.
-
Structured Parallel Programming for Monte Carlo Tree Search
The thesis is part of a bigger project, the HEPGAME (High Energy Physics Game). The main objective for HEPGAME is the utilization of AI solutions, particularly by using MCTS for simplification of HEP calculations.
-
Basic Program 2022-2023
The basic program comprises a total of thirteen courses organized by the Research School, that have been purpose-developed for training and support of PhD students and Research MA students who specialize in Medieval Studies (history, art history, and literary history, in particular). The courses have…
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
Proactive care programs in the emergency department
Prof. R.C. van der Mast Prof. J. Gussekloo
-
The Active Learning Network & Saltswat Pilot Program
2 joint initiatives began in 2019 which attempt to connect the various efforts around active learning at Leiden University: the active learning network, and the Saltswat project.
-
Imperfections: using defects to program designer matter
Errors are everywhere, and mechanical failures are especially common: buckled grain silos and cracked support columns are, justly, seen as an issue to be avoided.
-
Stress Less Project: Effectiveness of school-based intervention programs
What is the effectiveness of two school-based skills-training programs in promoting mental health?
-
Education
The Educational Sciences programme group of the Institute of Education and Child Studies at Leiden University provides courses in the field of student education and the learning and development of children in the school context.
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
-
Contact
The program group Learning and Behavior Problems in Education is located in the Faculty of Social and Behavioural Sciences of Leiden University near Central Station.
-
Leiden Embedded & Real-time Computing (LERC)
Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…
-
Lecture Simone van der Hof on age verification and age appropriate design
On 6 October 2021, Simone van der Hof gave a lecture on age verification and age appropriate design.
-
Simone van der Hof chaired a panel on age verification in Brussels
On November 23, 2017, Professor Simone van der Hof chaired a panel on age verification in the digital world at the Safer Internet Forum 2017 in Brussels.
-
The influence of induction programs on beginning teachers'well-being and professional development
This thesis reports on the influence of induction programs on beginning teachers’ well-being and professional development, and the essential characteristics of an induction program. These topics were explored by means of an interview study and large scale survey study.
-
Simone van der Hof awarded EU funding for research on age verification and consent mechanisms
As part of the euCONSENT consortium, the Center for Law and Digital Technologies (eLaw) has been awarded European Commission funding to create a child rights’ centred cross-border system for online age verification and parental consent.
-
pedagogical content knowledge in the context of a professional development program
This dissertation reports on the pedagogical content knowledge (PCK) of science teachers during a professional development program. This research intended to help us understand why and how teachers make their classroom decisions as they teach science.
-
Bringing science to practice: Designing an integrated academic education program for public affairs
Arco Timmermans, Professor by special appointment Public Affairs at Leiden University, brought sience to practice by designing an “ideal” academic education programme on public affairs, to be embedded and taught at the graduate level.
-
Supporting medical teachers' learning: redesigning a program using characteristics of effective instructional development
In this research project characteristics of effective instructional development were identified that are appealing to medical teachers and relevant for medical education.
-
Cum laude for new method making parallel programming easier
PhD student Sung-Shik Jongmans of Leiden University and Centrum Wiskunde & Informatica investigated a new programming method to simplify this. On 3 March 2016, he graduated with the exceptional predicate 'cum laude' on his dissertation 'Automata-Theoretic Protocol Programming'. His results are interesting…
-
Abolfazl Sajadi
Science
-
Server Queueing Systems: Efficient Methods via Lumping and Dynamic Programming
This thesis consists of two main parts. The first part (Chapters 2 and 3) deals with a class of Markov process called Quasi-Skipfree (QSF) processes.
-
Vocational identity among at-risk adolescents. Effectiveness of programs at lower VET aiming at continuing education or work
The overall aim of the project is to investigate effective ways to strengthen vocational identity of at-risk adolescents in order to contribute to a successful transition from late secondary to post secondary lower vocational education or to work.
-
comparative case study of the US coercive diplomacy against the nuclear programs of Iran, Libya and South Africa
What are the conditions under which coercive diplomacy can compel a State to abandon its controversial nuclear (weapons) program? Based on the experience of the US coercive diplomacy against the nuclear programs of three countries, namely Iran, Libya and South Africa, Jean Yves Ndzana’s PhD research…
-
Programming for blind kids
Programming is an excellent career option for blind children, and a way to have fun and express themselves. But the existing tools for programming are often not suitable for the blind and visually impaired. Leiden researchers will change that.
-
MAA Summer Research Program
The Medieval Academy of America (MAA) is excited to announce the launch of a new Summer Research Program for early PhD or early PhD-track students. The 2022 Summer Research Program will convene over Zoom, over the course of six weeks in July and August. The Summer Research Program will culminate with…
-
Result Programming Contest
On Saturday, 23 October 2010, the Benelux Algorithm Programming Contest (BAPC) was held in Leiden. In Studentcenter Plexus, 20 teams of students from colleges and universities in the Benelux competed for prizes up to EUR 1024,-. They were given 10 algorithmic programming problems, from which they had…
-
Leiden University wins Benelux Algorithm Programming Contest 2013
The Leiden team
-
Development and evaluation of evidence based self-help and online programs for people with a somatic stressor and depressive symptoms
What is the effectiveness of (booklet or online) self-help programmes for people with somatic stressors and depressive symptoms? What works best for whom? How to improve motivation and adherence?
-
Students of Mathematics and Computer Sciences to World Finals Programming 2013
Students of Mathematics and Computer Sciences Josse van Dobben de Bruyn, Mathijs van Nes and Bas Nieuwenhuizen will represent Leiden University in the World Finals Programming 2013 in St. Petersburg. From 30 June to 4 July, the 240 smartest programmers from universities around the world will come together…
-
Programming is easy to learn
The easy-to-learn programming language Hedy has been used more than 100,000 times in no more than 9 months. Felienne Hermans was a guest in the broadcast of the radio program Science071 to tell more about it.
-
Programming to understand the world
‘We are surrounded by software and thus it is important that every child learns to program,’ says Felienne Hermans, associate professor at the Leiden Institute for Advanced Computer Science (LIACS). Hermans won the Dutch Prize for ICT Research 2021 in January, after which NRC interviewed her about her…
-
Programming resembles learning a language
What languages do you speak? According to Felienne Hermans, ‘Python’ could be an answer to this question. Hermans studies how people learn to program at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University. In an article of the NewScientist she explains why programming is similar…
-
Benelux Algorithm Programming Contest 2010
The Benelux Algorithm Programming Contest 2010 (one of the qualifying rounds of the ACM International Collegiate Programming Contest) will take place on Saturday 23 October in Plexus, Leiden. This programming contest is organizedby De Leidsche Flesch (study association of ComputerScience/Mathematics/Physics/Astronomy…