772 search results for “programming language” in the Public website
-
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.
- Program
-
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.
-
Marcello Bonsangue
Science
-
Reasoning about object-oriented programs: from classes to interfaces
Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…
- Program
-
Automata-theoretic protocol programming
Promotor: F. Arbab
- Program in English
-
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.
- Program 2024
-
About the program
In 2020, Leiden University launched its stimulated interdisciplinary programs, including one focused on regenerative medicine.
-
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?
-
Actors at work
Promotor: F.S. de Boer Co-promotor: P. T. de Gouw
- Technical Program Chairs
-
Communicative Language Teaching in Georgia
The present investigation aims at exploring whether the instruction provided at secondary schools in the capital meets the requirements of Communicative Language Teaching and whether the aims of improving learners’ communicative proficiency are met.
-
Courses per study program
Here you can find an overview of the offered courses provided by the Department of Economics per study program.
-
Scheduled protocol programming
With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…
-
Functional projections in analytic languages
The ultimate aim of the project is to find out whether there are such things as
-
From Gesture to Language
Like any language, the natural sign languages (henceforth: SLs) of deaf communities differ from each other in their grammars and lexicons. A growing number of studies indicates that SLs make use of the gestures of hearing speakers to build linguistic structure. This implies that variation and similarities…
-
Crossing language borders
How do speakers adapt to multilingual contexts?
-
African languages archives
This collaborative research group (CRG) facilitates the synergies of researchers engaged with African languages and documentation of texts conducted in East Africa, paying particular attention to ‘endangered archives’ and ‘endangered languages’.
-
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…
-
The Russian Language of Islam
This project explores how Muslim authorities and writers use Russian to transmit Islamic contents, and whether this leads to a specific
-
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…
-
The Hague Program for Cyber Norms
A research program that focuses on the development and implementation of cyber norms.
-
Modernization and U.S. Service Programs
The project explores the role of modernization theory in the development of two foreign and domestic service programs: the Peace Corps and Volunteers in Service to America (VISTA). The Peace Corps has long been understood as a modernizing effort in a Cold War context, and this project will further investigate…
-
The Silk Road Language Web
A linguistic prehistory of the Tarim Basin in Northwest China
-
Language Diversity
Language offers new insights into our history, cultural differences, migration, and the way in which our brain processes information. This knowledge can in turn help us understand what it means to be human, as well as opening the way to many practical applications. In order to realise these goals, linguists…
-
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.
-
Language courses
The Academic Language Centre organises language courses for companies, government agencies, private clients, and students and staff members of Leiden University.
-
Basic Program 2024-2025
The basic program comprises a total of twelve 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 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.
-
MODOMA: A computer-simulated laboratory-approach towards language acquisition
The goal of the MODOMA-project is to create a computer model of language acquisition.
-
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…
-
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.
-
Stress Less Project: Effectiveness of school-based intervention programs
What is the effectiveness of two school-based skills-training programs in promoting mental health?
-
Modern Languages (MA)
In the specialisation in Modern Languages you will explore the structure, acquisition, history and use of one or more of these five languages in depth: Chinese, English, French, German and/or Italian.
-
Documentation and analysis of !Ora and !Ui languages
This project aims at describing the Khoisan languages !Ora (Korana/Griqua) and !Ui of South Africa.
-
Language and number
Knowledge and culture subproject 2:
-
Languages of The Hague
Languages of The Hague is a collection of columns on languages and language which were published between 2016 and 2018 in the weekly newspaper Den Haag Centraal.
-
Taalportaal (Language Portal)
This proposal aims at the construction of a comprehensive and authoritative scientific grammar for Dutch and Frisian in the form of a virtual language institute: het Taalportaal/the Language Portal.
-
Academic Language Centre
Language connects us! We are here to help you! The Academic Language Centre (ATC) is the language centre of Leiden University. As the oldest university language centre in the Netherlands, we offer language courses in a wide range of languages, both for beginners and advanced students. All courses are…
-
Language policy and planning
From the smallest level of interaction among families and close friends, over the meso-level of schools, shops, churches, religious communities and companies, to the highest level of nation-states and international organisations: Language Policy and Planning (LPP) is everywhere!
-
From oscillations to language
On the 17th of January, Sarah Von Grebmer Zu Wolfsthurn successfully defended a doctoral thesis. The Leiden University Centre for Linguistics congratulates Sarah on this achievement!
-
French Language and Linguistics
French Language and Linguistics at Leiden University offers a wide array of courses covering theoretical and applied linguistics, including language acquisition, syntax, and semantics.
-
Sign languages of Iran
I am Nargess Asghari. I came to the Netherlands in 2017 to study Linguistics at Leiden University. I wrote my pre-master’s and master’s theses on Iranian Sign Language and Berbey Sign Language (an emerging family sign language in the village of Berbey, Mali), respectively, under the supervision of Dr.…
-
English Language and Linguistics
English Language and Linguistics at Leiden University focuses on English language usage and linguistics around the world, including in countries where English is spoken as a second language or as part of a mixed language.
-
From Gesture to Language
Like any language, the natural sign languages of deaf communities differ from each other in their grammars and lexicons. A growing number of studies indicates that sign languages make use of the gestures of hearing speakers to build linguistic structure. This implies that variation and similarities…