Hi everyone,

I feel like a re-introduction is long overdue!

My name is Anna, and I'm an assistant professor of Algorithmics at the Delft University of Technology, specialising in combinatorial optimisation, symbolic AI, constraint programming, propositional model counting, operations research and reasoning under uncertainty.

I'm a nerd, a feminist and a traveller, not always in that order.

In my spare time I like to hike and go geocaching. I try to go swing dancing a few times a week. I am a Trekkie. I want to learn how to draw. I am an Indomie and Obsidian enthusiast. Based in the Netherlands, I miss Belgium, Canada and Singapore.

Since a job in academia somehow always is personal, I have chosen to mix professional interactions with the more personal ones on this platform. At least for now. Obviously, my opinions do not necessarily reflect those of my employer yadiyadiyada.

Hope to keep interacting with you all!

#Introduction #AcademicMastodon #Algorithmics #SymbolicAI #CombinatorialOptimisation #ConstraintProgramming #ModelCounting #OperationsResearch #ProbabilisticInference #Geocaching #LindyHop #Jazz #SwingDancing #Hiking #Obsidian #StarTrek #Travel #TUDelft #MastoMiGoreng #Indomie #GNUTerryPratchett #Catstodon #Mastocats #Caturday #ExpatLife #MakanApaToda

I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.

Some of the required reading is a paper (https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud. 🌱

Please send good vibes? 🥺

#AcademicChatter #AcademicLife #AcademicMastodon #Teaching #Probability #ProbabilisticInference #Probabilities #Logic #LogicProgramming #PropositionalModelCounting #ProbabilisticLogicProgramming #ModelCounting #PropositionalLogic #WeightedModelCounting #DPLL #BayesianProbability #BayesNets #BasianStatistics #BayesianInference #BayesianNetworks #KnowledgeCompilation #DecisionDiagrams #BinaryDecisionDiagrams

The results of the 2022 Model Counting competition have been published! https://github.com/msoos/model-counting-comp-2022

Thanks to Markus Hecher and Johannes Fichte for organising, and thanks to @msoos for uploading.

Now go play with those data and improve your counters!

#PropositionalModelCounting #ModelCounting #BeyondNP #AI #BooleanSatisfiability #FormalMethods #ArtificialIntelligence #Reasoning #Counting #ModelCounting