People and topics related to Reliability, robustness and trust
People and topics related to Reliability, robustness and trust
richard banach
Richard
Banach
Formal methods
Formal methods
richard banach--Formal methods
Chinese language
Chinese language
richard banach--Chinese language
konstantin korovin
Konstantin
Korovin
konstantin korovin--Formal methods
Symbolic AI
Symbolic AI
konstantin korovin--Symbolic AI
Mathematics
Mathematics
konstantin korovin--Mathematics
Machine learning
Machine learning
konstantin korovin--Machine learning
Optimisation
Optimisation
konstantin korovin--Optimisation
Automated reasoning
Automated reasoning
konstantin korovin--Automated reasoning
Verification
Verification
konstantin korovin--Verification
Theorem proving
Theorem proving
konstantin korovin--Theorem proving
Logic
Logic
konstantin korovin--Logic
Symbolic computation
Symbolic computation
konstantin korovin--Symbolic computation
Artificial intelligence
Artificial intelligence
konstantin korovin--Artificial intelligence
DNA computing
DNA computing
konstantin korovin--DNA computing
SAT/SMT/theorem provers
SAT/SMT/theorem provers
konstantin korovin--SAT/SMT/theorem provers
iProver
iProver
konstantin korovin--iProver
OCaml
OCaml
konstantin korovin--OCaml
ian pratt-hartmann
Ian
Pratt-hartmann
ian pratt-hartmann--Formal methods
ian pratt-hartmann--Mathematics
ian pratt-hartmann--Automated reasoning
ian pratt-hartmann--Logic
ian pratt-hartmann--Symbolic computation
Algebra
Algebra
ian pratt-hartmann--Algebra
Natural language
Natural language
ian pratt-hartmann--Natural language
francisco lobo
Francisco
Lobo
francisco lobo--Formal methods
francisco lobo--Mathematics
francisco lobo--Automated reasoning
francisco lobo--Logic
francisco lobo--Symbolic computation
francisco lobo--Algebra
Description logic
Description logic
francisco lobo--Description logic
Formal language
Formal language
francisco lobo--Formal language
Knowledge graphs
Knowledge graphs
francisco lobo--Knowledge graphs
Knowledge representation and reasoning
Knowledge representation and reasoning
francisco lobo--Knowledge representation and reasoning
Language of mathematics
Language of mathematics
francisco lobo--Language of mathematics
Mathematical logic
Mathematical logic
francisco lobo--Mathematical logic
Mathematical modelling
Mathematical modelling
francisco lobo--Mathematical modelling
Model of computation
Model of computation
francisco lobo--Model of computation
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
joe razavi
Joe
Razavi
joe razavi--Formal methods
joe razavi--Symbolic AI
joe razavi--Mathematics
joe razavi--Verification
joe razavi--Logic
joe razavi--Symbolic computation
joe razavi--Algebra
joe razavi--Natural language
joe razavi--Formal language
joe razavi--Language of mathematics
joe razavi--Mathematical logic
joe razavi--Mathematical modelling
joe razavi--Model of computation
joe razavi--Pure mathematics
Cellular automaton
Cellular automaton
joe razavi--Cellular automaton
Compiler
Compiler
joe razavi--Compiler
Program analysis
Program analysis
joe razavi--Program analysis
Program synthesis
Program synthesis
joe razavi--Program synthesis
Programming models
Programming models
joe razavi--Programming models