Posters

. Convolutional Neural Networks and Metric Learning for Facial Verification. Joint Mathematics Meetings Conference, 2018.

Poster Slides

Fun Projects

. Generating Random, Yet, Constrained Music. 2017.

PDF Code

Talks & Presentations

On the Symbolic Analysis of Security Protocols .... And mainly the Tamarin Prover
May 12, 2018
Why do we need formal languages?
May 1, 2018
Survey of Revoting in Evoting: A formal analysis perspective
Apr 22, 2018
On Speech problems, tasks, and challenges
Mar 31, 2017

Undergraduate Teaching

I love learning and teaching! During my undergraduate, I Held office hours, tutorials, and review sessions for the following courses.

  • Winter 2018 CSCE 4910 – Big Data Analytics
  • Fall 2015 MACT 2131 – Discrete Mathematics
  • Spring 2015 MACT 2123 – Calculus III
  • Fall 2014 CSCE 2201 – Data Structures and Algorithms
  • Spring 2014 MACT 1122 – Calculus II
  • Spring 2014 CSCE 106 – Fundamentals of Computer Science

Contact