Current Pursuits
I am seeking a student to assist in organizing and streamlining the existing state-of-the-art results on Vaught's conjecture. This is a classic problem in model theory which I studied during my master's. The problem also has a computability-theoretic equivalent which I explored during my PhD on computable structure theory.
Though the topic nontrivially intersects with CS, it is more relevant to mathematics (model theory, descriptive set theory, and computable structure theory).
I am hoping to create a funded opportunity for this research (NSERC USRA/UTEA). Contact me only if you are a U of T student and ready to commit full-time during the summer term.
projects
This is the beautiful work achieved by my student Hassan El-Sheikha. It was refereed and published at the WCCCE '25 conference on Computing Education. Varphi allows users to write Turing machine programs and has integrated debugging tools.
Current Pursuits
I am seeking a student to assist in organizing and streamlining the existing state-of-the-art results on Vaught's conjecture. This is a classic problem in model theory which I studied during my master's. The problem also has a computability-theoretic equivalent which I explored during my PhD on computable structure theory.
Though the topic nontrivially intersects with CS, it is more relevant to mathematics (model theory, descriptive set theory, and computable structure theory).
I am hoping to create a funded opportunity for this research (NSERC USRA/UTEA). Contact me only if you are a U of T student and ready to commit full-time during the summer term.
I am seeking a student to assist in organizing and streamlining the existing state-of-the-art results on Vaught's conjecture. This is a classic problem in model theory which I studied during my master's. The problem also has a computability-theoretic equivalent which I explored during my PhD on computable structure theory.
Though the topic nontrivially intersects with CS, it is more relevant to mathematics (model theory, descriptive set theory, and computable structure theory).
I am hoping to create a funded opportunity for this research (NSERC USRA/UTEA). Contact me only if you are a U of T student and ready to commit full-time during the summer term.
projects
This is the beautiful work achieved by my student Hassan El-Sheikha. It was refereed and published at the WCCCE '25 conference on Computing Education. Varphi allows users to write Turing machine programs and has integrated debugging tools.
This is the beautiful work achieved by my student Hassan El-Sheikha. It was refereed and published at the WCCCE '25 conference on Computing Education. Varphi allows users to write Turing machine programs and has integrated debugging tools.