239 zoekresultaten voor “program verification” in de Publieke website
-
The Hague Program for Cyber Norms welcomes Visiting Fellow Przemysław Roguski
Przemysław Roguski will be a Visiting Fellow at The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 16 September to 4 October.
-
The Hague Program for Cyber Norms welcomes Visiting Fellow Arun Sukumar
We are delighted to welcome Arun Sukumar as Visiting Fellow of The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 30 October - 30 November.
-
The Hague Program for Cyber Norms welcomes visiting fellow Barrie Sander
We are delighted to welcome Dr. Barrie Sander as Visiting Fellow of The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 27 September till 4 October 2017.
-
Call for papers: The Hague Program for Cyber Norms Conference 2019
The Hague Program for Cyber Norms organises the second conference of an annual series to encourage academic diversity in the study of cyber security. The theme is 'Dealing with Uncertainty'. The conference will take place in The Hague on 5 and 6 November 2019. Deadline submission of extended abstracts…
-
Verified Reowolf
Using formal methods, we rigorously validate and verify functionality and security properties of essential Internet protocols. In this project, we unambiguously specify Internet protocols (i.e. IP, TCP, UDP, BGP, DNS) using Reowolf's Protocol Description Language (PDL).
-
Concurrent Systems
In modern information systems, a large number of different components are often active simultaneously. This phenomenon - known as concurrency - underlies not only the functioning of computer systems but of any system in which many processes take place at the same time.
-
Astrolinguistics
Design of a Linguistic System for Interstellar Communication Based on Logic
-
Required documents
Along with your application, you will need to submit a variety of documents. This information only applies to students who need to submit an admission application. If you have a bachelor’s degree from Leiden University that grants you automatic admission to a master’s degree in the same field, you don’t…
-
Baoxiao LIU
Wiskunde en Natuurwetenschappen
-
The Hague Program on International Cyber Security: looking for the elephant in the room
A new year, a new project, a new name: The Hague Program on International Cyber Security. Professor Global Security and Technology Dennis Broeders was awarded a grant of 2 million Euros by the Dutch Ministry of Foreign Affairs
-
eLaw's Magdalena Jozwiak teacher at the 2017 Monash Law Malaysia Program
In July and August 2017, Magdalena Jozwiak, researcher at the eLaw department, is going to teach the course on ‘Privacy and surveillance in an information age: comparative law perspectives’ at the Kuala Lumpur campus of the Australian Monash University, within the framework of the Monash Law Malaysia…
-
The Hague Program for Cyber Norms welcomes Visiting Fellows Danny Steed and Kubo Mačák
We are delighted to welcome Dr. Danny Steed and Dr. Kubo Mačák as Visiting Fellows of The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 1 Apr 2019 - 26 Apr 2019.
-
The Hague Program for Cyber Norms welcomes visiting fellow Caitríona Heinl
We are delighted to welcome Caitriona Heinl as Visiting Fellow of The Hague Program for Cyber Norms at Leiden University’s Institute of Security and Global Affairs from 22 January till 16 February 2018.
-
A versatile tuple-based optimization framework
Promotor: Prof.dr. H.A.G. Wijshoff
-
The million dollar proof
PhD student Raymond van Bommel decided to pore upon one of the most complicated mathematical problems of our time; the solution of it is worth 1 million dollars! Van Bommel did not get that far yet. However, he wrote his own computer program to make new calculations. ‘It could just be that someone else…
-
Yingjie Fan
Wiskunde en Natuurwetenschappen
-
There is no doubt. Muslim scholarship and society in 17th-century Central Sudanic Africa
Combining approaches from intellectual history, philology and the study of Arabic manuscripts, this study places the Bornu scholar Muḥammad al-Wālī within his intellectual environment on the one hand, and it portrays him as someone who responded to the concerns of ordinary Muslims around him on the…
-
Required documents
You will be asked to upload the following documents in your online application:
-
The mission of Felienne Hermans
‘A woman with a mission’. In this honourable way, Dean Geert de Snoo described computer scientist Felienne Hermans at the official opening of her new research group Programming Education Research Lab (PERL). He is right: Felienne has a very important mission. With her new research group, she will do…
-
Common Fall Lecture of the Regular and Advanced PIL LL.M. Programs and the Opening Lecture of the 2016/2017 IHL Lecture
IHL and Humanitarian Assistance in Contemporary Armed Conflicts against the Background of the Current Refugee Crisis
-
About the programme
The MSc programme Computer Science offers five specialisations corresponding to the research focus areas within the Leiden Institute of Advanced Computer Science. If you would like to become a qualified teacher in Computer Science or combine our studies with science communication, you can choose one…
-
Foundations of Computing (MSc)
The master's specialisation Bioinformatics at Leiden University focuses on research, development and application of computational tools and approaches for expanding the use of biological, medical, behavioral and health data.
-
Welcome service and travel plans
When should you plan to arrive in the Netherlands? Find out what you should take into consideration when making your travel plans. Also learn about Leiden University's welcome service for newly-arriving international students.
-
Dirk Visser on copyright and platform liability YouTube
In a column on Mr. Online, Dirk Visser, Professor of Intellectual Property Law, looks at what You Tube is doing or should be doing to counter copyright infringements on the platform in a credible and effective manner.
- Join the Columbia Summer Program 2022!
-
Coding contest for all Leiden students
On Friday 31 March, all students of Leiden University can take part into an international coding contest in Wijnhaven, the brand new building on the The Hague campus. The best player receives a drone, presented to him or her by the Dutch ICT politician of the Year. Register for free.
-
Researchers from Leiden University have received awards in Nationaal Groeifonds Quantum Technology programme
Three researchers from Leiden University have received awards in the Quantum Technology programme within the National Growth Fund, organised by NWO in collaboration with Quantum Delta NL. Read more about these three futuristic projects.
-
Media Technology MSc program "Hello World!" lecture by Frans W. Saris
On May 13 2022, Frans W. Saris will present the third of a series of "Hello World!" lectures, organised by the Media Technology MSc program of Leiden University. In his lecture titled "Computer Modeling to Save the World", Frans Saris addresses three alarming crises: energy and climate, biodiversity…
-
Imperfections: using defects to program designer matter
Promotie
-
Abstract Behavioral Specification: unifying modeling and programming
Promotie
-
Understanding the Heterogeneity of Corporate Entrepreneurship Programs
Promotie
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents. Read more about the required documents for admission.
- Required documents
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for the programme Law and Digital Technologies, you will be asked to submit several documents. Read more about the required documents
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you'll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.
- Required documents
-
Required documents
When you apply for the programme International Chldren's Rights you’ll be asked to submit several documents. Please check the required documents
-
Required documents
Along with your application, you will need to submit the documents below.
-
Required documents
When you apply for admission, you’ll be asked to submit several documents.