A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeXLaTeX user, most days.

Swinger tundra1976 (Male) from Ireland, Dublin

A computer science lecturer. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeXLaTeX user, most days.

Seeking Female

Is it your profile? Change your privacy settings to alter what details are showing here.

tundra1976 Personal Details

Gender	Male
Age	48
Location	Ireland, Dublin, Dublin
🌈 Sexuality	Straight
📏 Height	4ft 8in (142 cm)