Formal methods
People
keywords:
Lambda calculus, Quantum programming languages, Operational semantics, Resource verification
keywords:
Differential Program Semantics, Quantum Computation, Cryptography, Automated Complexity Analysis
keywords:
Programming languages, Constraint programming, Artificial Intelligence
keywords:
Programming Languages, Process Algebras, Session Types, Choreographic Programming, Microservices, Dynamic Adaptability,
Read more
keywords:
Models for the description of concurrent systems, Process algebras and Petri nets, Information-flow security,
Read more
keywords:
Operational semantics, Reversible languages, Formal Methods, Reversible Computing
keywords:
Quantum computing, Reversible languages, Multiparty sessions, Service-oriented computing
keywords:
programming languages, static analysis of programs, programming languages semantics, prototype implementations of
Read more
keywords:
Predictive Maintenance, Machine Learning, Artificial Intelligence,Computer Vision, Software Engineering and Formal
Read more
keywords:
Programming languages, History and philosophy of computing, Computer science education, Linear logic
keywords:
simulation, intelligent agents, multiparadigm languages, self-organising systems, pervasive computing, multiagent
Read more
keywords:
Type theory, Interactive theorem proving, Mathematical knowledge management, Lambda-calculus, Programming languages,
Read more
keywords:
Object-oriented languages, Multiagent systems, Simulation and verification, Coordination, Software engineering,
Read more