Home Works FAQ People

Frequently (and Infrequently) Asked Questions


Who are you?

I am a first year PhD candidate in Computer Science at the University of Sheffield, jointly supervised by Charles Grellois and Harsh Beohar. I am generally interested in logic. Slightly more specifically, I often deal with fixed points à la Knaster and Tarski.

My preferred pronouns are he/him/his.


How do I contact you?

You can contact me by sending an email to any of the following email addresses:

Note that the username of my university email is "rntay" followed by the number "1", and not the lower case letter "l" or the capital letter "I".


Do you have a CV?

Yes.


... Can I see it?

No.


I found a mathematical mistake in one of your writings.

Please do tell me about it. I fix mistakes as soon as I become aware of them (and how to fix them). A lot of my writing is done in the middle of the night; I would read them with great caution.


I found a spelling mitsake in one of your writings.

Keep it to yourself.


Can you hurry up with [piece of writing]?

If you are not my current supervisor, ask yourself this: in a world where George R. R. Martin has not finished The Winds of Winter, is my writing pace really that slow?
If you are my current supervisor, I promise you it's taking up nearly every waking moment for me.


What does "rntay" mean?

My middle name starts with the letter N. A non-insignificant number of friends have said that they thought that "rn" is some sort of shortening of the name "Ryan". It's not.


What's your favourite joke?

A Spanish magician told everyone he could disappear into thin air. He said "Uno, dos, ...", and then disappeared without a tres.


What is your mother's maiden name?

My mother did not change her name upon marriage. Her maiden name is thus her current name.


What was the name of your first pet?

I had my first pet at the age of 7 or 8. It was a guppy fish named Marlin. Its life was unfortunately too short, lasting no more than a night in my house.


What is your favourite colour?

Orange.


What are some of your favourite books?

Here are three which are very different to each other:


What are your political beliefs?

I have plenty of opinions, some of which I'm willing to passionately defend over a drink.