424 zoekresultaten voor “program verification” in de Publieke website
-
Cyber Security Governance Essentials
De nieuwe minor 'Cyber Security Governance Essentials' gaat in september 2021 van start. Derdejaars bachelorstudenten van het Leiden Institute of Advanced Computer Science (LIACS) en de BSc Security Studies van het Institute of Security and Global Affairs (ISGA) die hun kennis en vaardigheden op het…
-
Rychard Bouwens krijgt groot onderzoeksprogramma op ALMA-telescoop
Rychard Bouwens van de Leidse Sterrewacht is de eerste wetenschapper in Nederland die een ‘Large Program’ mag uitvoeren met de geavanceerde ALMA-telescoop in Chili. Samen met zijn team wil hij de unieke capaciteiten van dit observatorium gebruiken om de ontwikkeling van zware sterrenstelsels in het…
-
Studiereis Denver
Onlangs ben ik, als coördinator HC van de faculteit Campus Den Haag, met twee collega’s van deze Universiteit in het kader van het honoursonderwijs op studiereis geweest naar Denver, Colorado in de Verenigde Staten van Amerika. Tijdens deze trip aan de Mile-High City zijn we naar een honoursconferentie…
-
Take part in a join-in course!
As a member of the Research School you can take part in join-in courses. Join-in courses are MA-courses in medieval topics given in set MA-programs of the six participant universities of the Research School. These courses allow you to further specialize in certain topics.
-
Leiden University wint beide ICPC Challenges
Het team van de Universiteit Leiden doet deze week mee aan de Wereldkampioenschappen International Collegiate Programming Contest (ICPC) in Orlando, Verenigde Staten.
-
Comparative ecology and genetics of sympatric wild cats in relation to human wildlife conflict in Bardia National Park, Nepal
What is the population size/structure and distribution of tiger and leopard inside the Bardia National Park (BNP) compared with the population outside? What is the movement and home range and conflict pattern in time and space of tigers and leopards inside the BNP compared with outside? What constitutes…
-
Institute of Security and Global Affairs
Den Haag is de internationale stad van vrede, recht en veiligheid. Voor het Institute of Security and Global Affairs (ISGA) een logische plek om partners binnen ministeries, overheden en NGO’s te bereiken met onderzoek op het gebied van veiligheidsvraagstukken.
-
CERA - Certification of Raw Materials
CERA (CErtification of RAw Materials) is a four-year project that will develop a standardized certification scheme ensuring environmental, social and economic sustainability in extraction, processing, trading and manufacturing of all mineral raw materials. It will guarantee traceability of certified…
-
Integrated life cycle assessment and life cycle costing of concrete recycling in the Netherlands
Integrating life cycle assessment (LCA) with life cycle costing (LCC) offers the opportunity to simultaneously analyze the environmental and economic aspects of product alternatives, for the integration of which a unified computational has been proposed by Heijungs et al. (2013) [1]. The project aims…
-
Corruption & Integrity in the Netherlands (1945 - present)
Corruption, integrity (or a lack thereof…) and public values are near omnipresent elements in public administration and politics of all times. Cases of corrupt public officials and politicians continuously emerge. Strangely enough, however, it often remains unknown what actually occurred, how something…
-
Kunstmatige intelligentie en machine learning
Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…
-
Management of small-scale -African fisheries: The Case of Elephant Marsh in Malawi
How does the management of Elephant Marsh Fishery in Malawi relate to wider contexts of policies, theories and regions? And how can the current management system be adapted to achieve long-term sustainability of the fishery?
-
Material flow analysis for the C&D waste management systems in the Netherlands, Belgium, Spain and Finland
What are the flows of C&DW (e.g. bricks, concrete, gypsum and wood) in the case study countries ? How to define the specification for each material to be quantified? What indicators should be used to identify the pattern of each C&DW management system? How to interpret the MFA results in relation…
-
Faculty Position in Astronomical Instrumentation for High-Contrast Imaging
Wiskunde en Natuurwetenschappen, Sterrewacht Leiden (STRW)
-
De bom (najaar 2020)
75 jaar na Hiroshima en Nagasaki In samenwerking met Japanmuseum SieboldHuis, naar aanleiding van de tentoonstelling aldaar.
-
Ethan Mark
Grensverleggend geschiedenis leren.
-
Anne Meeussen wint Ehrenfest-Afanassjewa proefschriftprijs 2021
Anne Meeussen, die in mei 2021 cum laude promoveerde op programmeerbare materialen, heeft de tweede Ehrenfest-Afanassjewa-prijs gewonnen, uitgereikt door de Dutch Physics Council.
-
Hendrik Lenstra chair van ICM 2010
Hendrik Lenstra was een van de wiskundigen die het Droste-effect in M.C. Eschers tekening
-
Victor Bouman wint Jongbloed facultaire scriptieprijs
Dinsdag 8 januari, tijdens de nieuwjaarsreceptie, werden de winnaars bekend gemaakt van de Jongbloed facultaire scriptieprijs 2012-2013.
-
Wat zijn cybernormen eigenlijk?
Interview met prof.dr. Dennis Broeders in De Veiligheidsdiplomaat.
-
Anna Latour wint tweede prijs bij KNVI Scriptieprijs voor Informatica
De Koninklijke Nederlandse Vereniging van Informatieprofessionals (KNVI) reikt Scriptieprijzen voor Informatica en Informatiekunde uit
-
Jurist van de toekomst kan niet zonder kennis van technologie
T&T DataConsultancy. Sinds drie jaar geven Thomas Prikkel en Thomas Helling trainingen in onder andere datavisualisatie; eerst bij het LSDS en sinds vorig jaar ook via CPL (Centre for Professional Learning) bij het Leiden Legal Technologies Program. Ze benadrukken het belang van technologische kennis…
-
Humies Award 2014 voor algoritme dat programma’s leert schaken
Een international team van wetenschappers op het gebied van ‘Evolutionary Computation’, met onder anderen de Leidse hoogleraar Jaap van den Herik, heeft de Humies Award 2014 gewonnen. Het team ontwikkelde een algoritme dat een schaakprogramma, dat alleen de loop der stukken kent, automatisch laat leren…
-
ICCT-Leiden University’s Online Summer Programme on Violent Extremism
From 16 to 18 August, 30 participants from 18 different countries gathered online to participate in the Online Summer Programme: Preventing, Detecting and Responding to Violent Extremism, organised by Leiden University’s Centre for Professional Learning (CPL) together with the International Centre for…
-
13 PhD Positions
‘Re-mediating the Early Book: Pasts and Futures’ is a European Commission-funded MSCA Doctoral Network that will support 13 PhD researchers undertaking projects on late medieval and early modern books. These PhD researchers will be spread across the following institutions: University of Galway (3 positions),…
-
Dr. Charlene Kalle and Dr. Tim van Erven awarded with TOP-grant
Dr. Charlene Kalle and dr. Tim van Erven, both assistant professors at the Mathematical Institute of Leiden University have received a TOP grant for Physical Sciences from the NWO (The Netherlands Organization for Scientific Research).
-
Leids programmeerteam verovert plek in wereldkampioenschap
Team ‘git merge -s octopus solution cup’ heeft op 17 november de programmeerwedstrijd ‘Northwestern Europe Regional Contest’ gewonnen. Het is voor het eerst in 20 jaar dat een Leids team deze wedstrijd wint. Ook is het de tweede wedstrijd die het team wint in een maand tijd.
-
Cum Laude voor nieuwe methode om softwarefouten te voorkomen
Promovendus Sung-Shik Jongmans van de Universiteit Leiden en het Centrum Wiskunde & Informatica onderzocht een nieuwe programmeermethode om softwarefouten te voorkomen. Op 3 maart 2016 promoveerde hij cum laude aan de Universiteit Leiden op zijn proefschrift 'Automata-Theoretic Protocol Programming'…
-
Annual Business Event 2015
Big Data - Big Business? - wrap up
-
Dromen over de VN van de Toekomst
Een groep middelbare scholieren van het Edith Stein College, het Rijswijks Lyceum en de Johan de Witt School waren van 6 – 9 juni op bezoek in New York City als onderdeel van het Van Aartsen Honours Program. Zij presenteerden daar hun visie op de Verenigde Naties aan de Nederlandse Permanente Vertegenwoordiging…
-
Een zinderende zomer vol ruimtevaart
Deze zomer voor het eerst in Nederland: het Space Studies Program. Een internationale zomeruniversiteit voor wie een carrière in de ruimtevaart ambieert. Parallel daaraan is er Sizzling Summer of Space: een publieksprogramma voor jong en oud.
-
Leidse promovenda wint NASA Hubble Fellowship
De Leidse promovenda Karin Öberg is een van de 17 winnaars van de NASA Hubble Fellowship. Na haar promotie dit najaar verhuist ze naar de Verenigde Staten voor een driejarig postdoctoraal onderzoek naar de rol van ijs bij de geboorte van sterren.
-
Join-in courses 2022-2023
Join-in courses are MA-courses in medieval topics given in set MA-programs of the six participant universities of the Research School. On request, such courses are accessible for MA-students from other (Dutch) universities. Course loads and number of credit points to be obtained are usually between…
-
Conferentie Leadership Crossing Boundaries
Maatschappelijke uitdagingen en actuele thema’s vragen om een kritische reflectie en nieuwe benaderingen van leiderschap. Wetenschappers werken daarom samen met praktijkdeskundigen uit de publieke en private sector aan een agenda voor onderzoek en ontwikkeling van nieuw publiek leiderschap.
-
PhD Candidate, Interpretable causal machine learning for intervention development from wearable sensors data
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Digital Transformation: hoe zien kinderen informatica?
Een belangrijke bijdrage leveren aan de toekomstige vormgeving van de inhoud en methoden van het computeronderwijs. Dat is het doel van het onderzoeksproject Digital Transformation. In december kende de Swiss National Science Foundation 544000 euro toe aan dit vierjarige project, dat de ideeën van basisschoolkinderen…
-
Drie Leidse wiskundigen benoemd tot Fellow van de American Mathematical Society
Manjul Bhargava, Frank den Hollander en Hendrik Lenstra zijn toegetreden tot de ‘Inaugural Class of AMS Fellows’ van het ‘Fellows of the American Mathematical Society program’.
-
Leids team kampioen van de Benelux in programmeerwedstrijd
Op 19 oktober vond de jaarlijke Benelux Algorithm Programming Contest plaats in Nijmegen. Het team ‘git merge -s octopus solution cup’ van Universiteit Leiden slaagde er als enige in om alle opgaven op te lossen en werd daarmee kampioen van de Benelux en won een plek tijdens het kampioenschap van Noordwest…
-
Lancering zevende editie van de European Cyber Security Perspectives
KPN publiceerde de zevende editie van de European Cyber Security Perspectives. Els De Busser en Tommy van Steen hebben een artikel bijgedragen over interdisciplinariteit in cybersecurity.
-
Nederlandse Beauty and Joy of Computing kan meisjes overtuigen om voor informatica te kiezen
Lespakketten over programmeren zijn vaak alleen beschikbaar in het Engels. Des te meer reden voor het Programming Education Research Lab (PERL) van het Leiden Institute of Advanced Computer Science (LIACS), Technische Universiteit Eindhoven en Universiteit Twente om het programmeerlespakket ‘Beauty…
-
Jaap de Hoop Scheffer krijgt eretitel Minister van Staat
Hoogleraar Jaap de Hoop Scheffer (International Relations and Diplomatic Practices) wordt benoemd tot minister van Staat. Dat maakte premier Rutte op 22 juni bekend.
-
Rowie Stolk als visiting researcher naar UCLA School of Law
Rowie Stolk, promovenda bij de afdeling Staats- en bestuursrecht, is toegelaten als visiting researcher bij UCLA School of Law (University of California, Los Angeles) waar zij het eerste semester van 2019-2020 zal verblijven.
-
Lynette Janssen wint International Insolvency Institute’s 2017 Prize
Lynette Janssen, als promovenda verbonden aan het Hazelhoff Centre for Financial Law, is een van de winnaars van de International Insolvency Institute’s 2017 Prize in International Insolvency Studies.
-
Willemien den Ouden en Esmée Driessen presenteren eerste versie keuzetool en routekaart project Financieren in Netwerken
Woensdag 6 juni hebben Willemien den Ouden, Esmée Driessen, Jorren Scherpenisse (Nederlandse School voor Openbaar Bestuur) en de studenten van het Leiden Leadership Program de eerste versie mogen presenteren van de keuzetool en de routekaart die zijn ontwikkeld in het kader van het project Financieren…
-
Bijeenkomst Oud-Sterrewachters: Zwarte gaten en hete kolen
Op 21 juni was weer de traditionele Sterrewacht barbecue waarbij ook de leden van de Vereniging van Oud-Sterrewachters (VO-S) welkom zijn. 's Middags was er voor hen ook een speciaal middagprogramma. Hierbij waren een 15-tal leden aanwezig.
-
Den Haag wil legal tech start-ups aantrekken
In een interview met hoogleraar recht en informatica Jaap van den Herik schrijft juristenplatform Mr. dat de gemeente Den Haag meer legal tech start-ups wil aantrekken. De gemeente heeft daarom aan het Leiden Centre of Data Science (LCDS) van de Universiteit Leiden opdracht gegeven voor een onderzoek…
-
Marcus Specht sluit aan bij PERL als Hoogleraar Digital Education
Marcus Specht, directeur van het LDE Center of Education and Learning, is sinds 15 november aangesteld als Hoogleraar Digital Education. Hij heeft gezamelijke benoemingen bij de drie LDE universiteten. In Leiden zal hij zich aansluiten bij Felienne Hermans in het Programming Education Research Lab (…
-
Schrijf je in als spreker bij de ILS Lunch Seminars!
ILS organizes a new lunch seminar series where all researchers from Leiden Law School can present their research. The idea is to hear in a simple and nice way what researchers from other research programs and institutes are working on. During a seminar two or three speakers will present their research.…
-
Basisschoolkinderen leren programmeren op universiteit
Deze zomervakantie kunnen kinderen uit groep 7 en 8 leren programmeren. In samenwerking met Lyceo organiseert het Programming Education Research Lab van LIACS twee unieke CodeLabs voor leerlingen uit groep 7 en 8. Uniek omdat deze plaatsvinden op de Universiteit Leiden in het Snelliusgebouw, maar ook…
-
Dennis Broeders in de Volkskrant over de datahonger van de overheid
Eerder deze week werd bekend dat defensie een experimenteel datacentrum heeft opgetuigd dat het onlinegedrag van Nederlanders in kaart brengt. Universitair hoofddocent Dennis Broeders vertelt in de Volkskrant over hoe de overheid via slimme technologie steeds dichterbij de mensen komt.