Grant: Discovery Grants Program - Individual
Brock University
$23,000.00
Relational and Algebraic Methods in Software Developement
FY 2021-22
Summary
Category Theory; Functional Programming; Fuzzy Methods in Program Development; Interactive Theorem Proving; Kleene Algebra; Program Correctness and Verification; Relation Algebra; Semantics of Programs
Program
Discovery Grants Program - Individual
Recipient
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
RGPIN-2017-05374
Name nom
Winter, Horst
Department département
Computer Science
Organization id
22
Institution établissement
Brock University
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2021
Competition year année de concours
2017
Award amount
23000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
1507
Committee name en
Computer Science
Committee name fr
Sciences informatiques
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2706
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Software engineering
Research subject fr
Génie logiciel
Installment
inst:5
Partie
1
Nb partie
6
Application title
Relational and Algebraic Methods in Software Developement
Keyword
NSERC
Application summary
Category Theory; Functional Programming; Fuzzy Methods in Program Development; Interactive Theorem Proving; Kleene Algebra; Program Correctness and Verification; Relation Algebra; Semantics of Programs
