dr. anna latour

dr. anna latour

she/her or they/them

computer scientist. feminist. trekkie.

Posts by Tags

AAAI

I’m a good reviewer!

Published:

7 minute read

Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.

BNAIC

BNAIC/Benelearn 2019

Published:

1 minute read

Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.

BeNeLearn

BNAIC/Benelearn 2019

Published:

1 minute read

Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.

ICT.Open

IJCAI

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

PhD

Books that helped me through my doctorate

Published:

6 minute read

Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.

It takes a village

Published:

8 minute read

As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.

Women in Tech

Informatics Ladies’ Day 2018

Published:

less than 1 minute read

Op vrijdag 16 november 2018 organiseren VHTO (Landelijk expertisebureau meisjes/vrouwen en bèta/techniek) en LIAXX (het vrouwennetwerk van de opleiding Informatica aan Universiteit Leiden) weer een Informatics Ladies’ Day (ILD)!

acknowledgements

It takes a village

Published:

8 minute read

As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.

award

I’m a good reviewer!

Published:

7 minute read

Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.

bounds

combinatorial optimisation

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

conference

How to conference: 2 Golden rules for networking

Published:

5 minute read

Despite how others perceive me, I am actually quite shy. When faced with a room full of people, all huddled together in their little groups, chatting and having fun, I often find myself frozen and insecure. Who should I approach? How do I join a conversation? Where do I start?

I’m a good reviewer!

Published:

7 minute read

Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.

BNAIC/Benelearn 2019

Published:

1 minute read

Last week I attended the Benelux Conference on Artificial Intelligence and Machine Learning (BNAIC) for the first time. This year, it was held in Brussels, in my beloved Belgium.

constraint optimisation

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

constraint programming

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

constraint reformulation

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

defence

Defence time for Jeroen

Published:

less than 1 minute read

I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.

Daniël defends his work

Published:

1 minute read

Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!

doctorate

Books that helped me through my doctorate

Published:

6 minute read

Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.

It takes a village

Published:

8 minute read

As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.

formal methods

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

generalised identifying code sets

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

graduation

Books that helped me through my doctorate

Published:

6 minute read

Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.

It takes a village

Published:

8 minute read

As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.

Daniël’s graduation

Published:

1 minute read

I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!

gratitude

Books that helped me through my doctorate

Published:

6 minute read

Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.

It takes a village

Published:

8 minute read

As a Master student, I once asked Siegfried if I should use ‘‘I’’ or ‘‘we’’ in my thesis. After all, the words were written by me, but we did the research together. He explained that, even if you are the sole author of a text, you should always write ‘‘we’’, because no piece of research ever is the product of just one person. I believed him then, but the experience of being a PhD candidate drove the lesson home, never to be forgotten. In this blog post, however, I am truly ‘‘I’’, and use it to thank those that make us ‘‘we’’.

grouped independent support

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

identifying code sets

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

in memoriam

inclusion

How to conference: 2 Golden rules for networking

Published:

5 minute read

Despite how others perceive me, I am actually quite shy. When faced with a room full of people, all huddled together in their little groups, chatting and having fun, I often find myself frozen and insecure. Who should I approach? How do I join a conversation? Where do I start?

independent support

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

mentorship

model counting

networking

How to conference: 2 Golden rules for networking

Published:

5 minute read

Despite how others perceive me, I am actually quite shy. When faced with a room full of people, all huddled together in their little groups, chatting and having fun, I often find myself frozen and insecure. Who should I approach? How do I join a conversation? Where do I start?

networks

news

outreach

Informatics Ladies’ Day 2018

Published:

less than 1 minute read

Op vrijdag 16 november 2018 organiseren VHTO (Landelijk expertisebureau meisjes/vrouwen en bèta/techniek) en LIAXX (het vrouwennetwerk van de opleiding Informatica aan Universiteit Leiden) weer een Informatics Ladies’ Day (ILD)!

paper

poster

preprint

presentation

proofs

pseudo-boolean reasoning

reading

Books that helped me through my doctorate

Published:

6 minute read

Two months ago, I defended my dissertation. I am very grateful to my advisors, my doctorate committee, my opposition committee, and my paranimphs. I thought long and hard about which thank-you presents would be appropriate and of value to them. In the end, I just decided to present them with some wisdom.

research

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

Defence time for Jeroen

Published:

less than 1 minute read

I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.

reviewing

I’m a good reviewer!

Published:

7 minute read

Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.

satisfiability

Introducing gismo: a tool for finding grouped independent supports

Published:

28 minute read

My first paper since joining Prof. Dr. Kuldeep Meel’s group at the National University of Singapore (NUS) has been accepted to IJCAI 2023! The topic of this paper was a completely new direction for me, and I learned a lot during this project. I had the great privilege to work with Kuldeep and with Prof. Dr. Arunabha Sen for Arizona State University (ASU) on this project, and learned a lot from each of them. In this blog post, I will share a bit about the problem that we solve, why it needs solving, and how we solve it, introducing our new tool: gismo.

sensor placement

service

I’m a good reviewer!

Published:

7 minute read

Actually, that is not true. I am an outstanding reviewer! Or so say the Association for the Advancement of Artificial Intelligence and the AAAI-21 Program Committee.

students

Daniël’s graduation

Published:

1 minute read

I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!

Daniël defends his work

Published:

1 minute read

Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!

supervision

Defence time for Jeroen

Published:

less than 1 minute read

I am very proud of my student Jeroen Rook, who defended his Master thesis today! The title of his presentation was: Caching in Model Counters: A Journey through Space and Time. With a very general audience, Jeroen had his work cut out for him to explain not only his work, but also the basics of propositional model counting.

teaching

Daniël’s graduation

Published:

1 minute read

I feel like I just levelled-up as a scientist! Yesterday, the wonderful Daniël Fokkinga graduated with a very nice grade!

Daniël defends his work

Published:

1 minute read

Yesterday was a very special day: Daniël Fokkinga, the master student who I have been supervising together with Marie Anastacio, Holger Hoos and Siegfried Nijssen, presented and defended his master thesis!

travel

Moon milk

Published:

12 minute read

The first conferences I ever attended as a doctorate student were IJCAI 2017 and CP 2017, which both took place in Melbourne. At the time, I had a position as a visiting researcher at ICTEAM at Université catholique de Louvain. After the conference, three fellow doctorate students from UC Louvain and I travelled to Tasmania, for a two-and-a-half-day trip. It resulted in one of my favourite travel stories of all time.

workshop