Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov

Department of Computer Science
EPSRC Centre for Doctoral Training in Statistical Applied Mathematics (SAMBa)
International Centre for Higher Education Management (ICHEM)
Institute of Coding
UKRI CDT in Accountable, Responsible and Transparent AI
Mathematical Foundations of Computation

Nazarbayev University
Swansea University
University of Manchester
University of Bergen
Heinrich-Heine-Universität Düsseldorf
Niederrhein University of Applied Sciences
University of Oslo
Humboldt University of Berlin
Innopolis University

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

3 Citations (SciVal)

59 Downloads (Pure)

Sort by
Weight
Alphabetically

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Fingerprint

Social Sciences

Computer Science