Formal methods
People
keywords:
Lambda calculus, Quantum programming languages, Operational semantics, Resource verification
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
keywords:
Multiparty sessions, Reversible languages, Process calculi, 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