Probabilistic + logical + algebraic reasoning/learning Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow https://paolomorettin.github.io/https://bsky.app/profile/paolomorettin.bsky.socialhttps://bsky.app/profile/paolomorettin.bsky.social/post/3lv6nr6gggs2pI think this is neat [contains quote post or other embedded content]30 Jul 2025 12:47 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lv6nr6gggs2phttps://bsky.app/profile/paolomorettin.bsky.social/post/3lumwicttwc2nintegrals! fun! *bark* [contains quote post or other embedded content]23 Jul 2025 11:35 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lumwicttwc2nhttps://bsky.app/profile/paolomorettin.bsky.social/post/3lt4qmshqus2dStop Destroying Videogames | European Citizens' Initiative https://citizens-initiative.europa.eu/initiatives/details/2024/000007_en04 Jul 2025 07:43 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lt4qmshqus2dhttps://bsky.app/profile/paolomorettin.bsky.social/post/3los2hqmy3k2khttps://www.theguardian.com/commentisfree/2025/may/03/tech-oligarchs-musk?CMP=share_btn_url10 May 2025 03:59 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3los2hqmy3k2khttps://bsky.app/profile/paolomorettin.bsky.social/post/3lkvjtpgnxs2jreading this *right after* submitting my UAI reviews [contains quote post or other embedded content]21 Mar 2025 15:31 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lkvjtpgnxs2jhttps://bsky.app/profile/paolomorettin.bsky.social/post/3liewgv5ahk2oI'll be in Oxford for a couple of weeks starting next Monday. If you're around and you want to have a chat (and/or a pint) let me know! Also, I'll be presenting my work on February 27th at the Verification Seminars. More info here: https://www.cs.ox.ac.uk/seminars/2735.html17 Feb 2025 14:11 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3liewgv5ahk2ohttps://bsky.app/profile/paolomorettin.bsky.social/post/3lho7rafhk22aNot the kind of work culture that I would promote [contains quote post or other embedded content]08 Feb 2025 13:27 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lho7rafhk22ahttps://bsky.app/profile/paolomorettin.bsky.social/post/3lcfxtui5j22bIs anyone familiar with efficient tools/libraries for over/under-approximating of the volume of convex polytopes (in H-representation)?03 Dec 2024 15:38 +0000at://did:plc:icynjhtj33vc562fqllj4t7z/app.bsky.feed.post/3lcfxtui5j22b