@andrewkhirsch @AndrewCMyers @guidosalva @SteveZdancewic @EthanCecchetti As in information-flow security? That's definitely a good fit!! We're drafting a paper upcoming with @marcoperessotti and an MSc student here. (I remember our approach were a bit diff
659 followers
1,271 followers
RT @pm_girl: #On First-Order Model-Based Reasoning. (arXiv:1502.02535v4 [https://t.co/IRbsqt1NnR] UPDATED) https://t.co/OKdf0nUSMX #artific…
2,175 followers
#On First-Order Model-Based Reasoning. (arXiv:1502.02535v4 [https://t.co/IRbsqt1NnR] UPDATED) https://t.co/OKdf0nUSMX #artificialintelligence #ai
642 followers
"On First-Order Model-Based Reasoning. (arXiv:1502.02535v4 [https://t.co/jqZ5dwubSV] UPDATED)" #arXiv https://t.co/nxqKw2tHQR