People and topics related to Formal methods

People and topics related to Formal methods richard banach Richard Banach Formal methods Formal methods richard banach--Formal methods Chinese language Chinese language richard banach--Chinese language youcheng sun Youcheng Sun Artificial intelligence Artificial intelligence youcheng sun--Artificial intelligence Explainable AI Explainable AI youcheng sun--Explainable AI Cybersecurity Cybersecurity youcheng sun--Cybersecurity Software security Software security youcheng sun--Software security Software engineering Software engineering youcheng sun--Software engineering Cyber-physical systems Cyber-physical systems youcheng sun--Cyber-physical systems Model checking Model checking youcheng sun--Model checking angelo cangelosi Angelo Cangelosi angelo cangelosi--Artificial intelligence Cognitive robotics Cognitive robotics angelo cangelosi--Cognitive robotics Machine learning Machine learning angelo cangelosi--Machine learning Cognitive modelling Cognitive modelling angelo cangelosi--Cognitive modelling Human-Robot Interaction Human-Robot Interaction angelo cangelosi--Human-Robot Interaction Deep learning Deep learning angelo cangelosi--Deep learning Natural language processing Natural language processing angelo cangelosi--Natural language processing Language grounding Language grounding angelo cangelosi--Language grounding Developmental robotics Developmental robotics angelo cangelosi--Developmental robotics Social robots Social robots angelo cangelosi--Social robots Technologies for social and health care (robot companions) Technologies for social and health care (robot companions) angelo cangelosi--Technologies for social and health care (robot companions) Trust and technology Trust and technology angelo cangelosi--Trust and technology Robot tutors Robot tutors angelo cangelosi--Robot tutors Deep neural networks (Tensorflow, Caffe2) Deep neural networks (Tensorflow, Caffe2) angelo cangelosi--Deep neural networks (Tensorflow, Caffe2) Machine learning algorithms Machine learning algorithms angelo cangelosi--Machine learning algorithms iCub, Pepper, Sawyer robots iCub, Pepper, Sawyer robots angelo cangelosi--iCub, Pepper, Sawyer robots Robot programming Robot programming angelo cangelosi--Robot programming tingting mu Tingting Mu tingting mu--Artificial intelligence tingting mu--Machine learning tingting mu--Natural language processing Mathematical modelling Mathematical modelling tingting mu--Mathematical modelling Optimization Optimization tingting mu--Optimization Matrix decomposition Matrix decomposition tingting mu--Matrix decomposition Computer vision Computer vision tingting mu--Computer vision Text mining Text mining tingting mu--Text mining viktor schlegel Viktor Schlegel viktor schlegel--Deep learning viktor schlegel--Natural language processing Misinformation detection Misinformation detection viktor schlegel--Misinformation detection Question answering Question answering viktor schlegel--Question answering Machine reading comprehension Machine reading comprehension viktor schlegel--Machine reading comprehension francisco lobo Francisco Lobo francisco lobo--Formal methods francisco lobo--Mathematical modelling Algebra Algebra francisco lobo--Algebra Automated reasoning Automated reasoning francisco lobo--Automated reasoning 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 Logic Logic francisco lobo--Logic Mathematical logic Mathematical logic francisco lobo--Mathematical logic Mathematics Mathematics francisco lobo--Mathematics Model of computation Model of computation francisco lobo--Model of computation Pure mathematics Pure mathematics francisco lobo--Pure mathematics Symbolic computation Symbolic computation francisco lobo--Symbolic computation joe razavi Joe Razavi joe razavi--Formal methods joe razavi--Mathematical modelling joe razavi--Algebra joe razavi--Formal language joe razavi--Language of mathematics joe razavi--Logic joe razavi--Mathematical logic joe razavi--Mathematics joe razavi--Model of computation joe razavi--Pure mathematics joe razavi--Symbolic computation Cellular automaton Cellular automaton joe razavi--Cellular automaton Compiler Compiler joe razavi--Compiler Natural language Natural language joe razavi--Natural language Program analysis Program analysis joe razavi--Program analysis Program synthesis Program synthesis joe razavi--Program synthesis Programming models Programming models joe razavi--Programming models Symbolic AI Symbolic AI joe razavi--Symbolic AI Verification Verification joe razavi--Verification ian pratt-hartmann Ian Pratt-hartmann ian pratt-hartmann--Formal methods ian pratt-hartmann--Algebra ian pratt-hartmann--Automated reasoning ian pratt-hartmann--Logic ian pratt-hartmann--Mathematics ian pratt-hartmann--Symbolic computation ian pratt-hartmann--Natural language riza batista-navarro Riza Batista-navarro riza batista-navarro--Machine learning riza batista-navarro--Natural language processing riza batista-navarro--Text mining riza batista-navarro--Knowledge graphs Social media analytics Social media analytics riza batista-navarro--Social media analytics Information extraction Information extraction riza batista-navarro--Information extraction Sentiment analysis Sentiment analysis riza batista-navarro--Sentiment analysis Named entity recognition Named entity recognition riza batista-navarro--Named entity recognition UIMA UIMA riza batista-navarro--UIMA konstantin korovin Konstantin Korovin konstantin korovin--Formal methods konstantin korovin--Artificial intelligence konstantin korovin--Machine learning konstantin korovin--Automated reasoning konstantin korovin--Logic konstantin korovin--Mathematics konstantin korovin--Symbolic computation konstantin korovin--Symbolic AI konstantin korovin--Verification Optimisation Optimisation konstantin korovin--Optimisation Theorem proving Theorem proving konstantin korovin--Theorem proving 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 nhung nguyen Nhung Nguyen nhung nguyen--Natural language processing Biomedical text mining Biomedical text mining nhung nguyen--Biomedical text mining Few-shot learning Few-shot learning nhung nguyen--Few-shot learning Knowledge base construction Knowledge base construction nhung nguyen--Knowledge base construction goran nenadic Goran Nenadic goran nenadic--Natural language processing goran nenadic--Text mining goran nenadic--Sentiment analysis Electronic health record Electronic health record goran nenadic--Electronic health record Health informatics Health informatics goran nenadic--Health informatics Social media Social media goran nenadic--Social media