Scientific visits

  1. Max Planck Institute for Software System, Saarbrücken, May 09-13, 2022: Visiting the Foundations of Algorithmic Verification Research group of Prof. Dr. Joël Ouaknine. Discussions on Linear Recurrence Sequences.
  2. RWTH Aachen University: meeting with Prof. Dr. Daniel Robertz, Chair of Algebra and Representation Theory. Discussions on Differential Algebra.

Interesting reads

Virtues of priority, by Michael Harris

Not too much on the technical part but rather on what constitutes a significant (actually major) contribution to mathematical thinking, and how to assess priority.

                                                     -- Recommended by Late Prof. Marco Garuti.


Responsible Science: Ensuring the Integrity of the Research Process. Volume I

Coding (fun)

One of the great coding exercises I enjoyed solving was the 0-1 sequences problem from Kattis. My (2018 or 2019) python solution could not be fast enough if I did not write the problem mathematically.

As usual, "it is not just about writing a code that works, but rather one that efficiently does so."

PS: Although I am among the 1633 accepted authors (over 14914 submissions in August 2022), my solution is not among the ten best python solutions.

GitHub account

I am trying to use my github account more often now...

Visit T3gu1a

Game

P&C Game, a game inspired by mathematics, April 2019: Play P&C Game online. Documentation.


Let me know if you succeed in winning Level 2. :-)

P&C Game home image

P&C Game home image

I think I like flowers.
I think I like flowers.
Taken with my phone
I think I like flowers.
I think I like flowers.
Taken with my phone
I think I like flowers.
I think I like flowers.
Taken with my phone
I think I like flowers.
I think I like flowers.
Taken with my phone
I think I like flowers
I think I like flowers
Taken with my phone
Hello friends!
Hello friends!
I was passing by, and it asked: would you like to have a pic with me?...