Verification and Language Theory

Project description

Verification and language theory

Limitations to a programming language can help boost the production of more readable and maintainable software. A limited fragment associated with the semantic domain can introduce more efficient algorithms for verification and analysis beginning with the characterisation of the semantic domain. The EU-funded VERLAN project will review the semantic domains of fragments of programming languages under a formal language theory perspective. VERLAN will study the three mathematical frameworks to categorise formal languages and derive new algorithms for three fundamental problems in program verification – refactoring, equivalence checking, and learning. With experience in program verification and formal languages, the researcher will research at the Institute for Logic, Language, and Computation (ILLC).

Fields of science

• natural sciences › computer and information sciences › software

Programme(s)

• H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme
• H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility

Topic(s)

• MSCA-IF-2020 - Individual Fellowships

Call for proposal

H2020-MSCA-IF-2020

See other projects for this call

Funding Scheme

MSCA-IF-EF-ST - Standard EF

Coordinator

UNIVERSITEIT VAN AMSTERDAM

Net EU contribution

€ 175 572,48

Address

Spui 21
1012WX Amsterdam
Netherlands

Region

West-Nederland › Noord-Holland › Groot-Amsterdam

Activity type

Higher or Secondary Education Establishments

Links

Other funding

€ 0,00