I am a third year CS PhD student at UW-Madison. My research interests are primarily in formal methods, programming languages, and computer security. Currently, I am working with Ethan Cecchetti on Security-Typed Langugaes. I am a member of the MadPL , and MadS&P groups. I hold a Bachelor's degree in Computer Science from Carnegie Mellon University (2018). After that, I worked at Qatar Computing Research Institute where I was advised by Ashraf Aboulnaga.

Publications

• Rdfframes: Knowledge graph access for machine learning tools (The VLDB Journal 2022)
• (Demo) Rdfframes: Knowledge graph access for machine learning tools (VLDB 2020)
  Aisha Mohamed, Ghadeer Abuoda, Abdurrahman Ghanem, Zoi Kaoudi, Ashraf Aboulnaga
  [PDF] [video] [Demo PDF] [Code]

• Popularity agnostic evaluation of knowledge graph embeddings (UAI 2020)
  Aisha Mohamed, Shameem Parambath, Zoi Kaoudi, Ashraf Aboulnaga
  [PDF] [video]

News

• TA for CS300 (Programming II in Java), UW-Madison, Spring 2021 - Spring 2023
• Summer Internship at Amazon, Summer 2022
• My Rdfframes paper accepted at VLDB Journal 2022
• My paper accepted at UAI 2020
• My demo paper accepted at VLDB 2020
• Received Best Scientific Content award ‐ NewInML, NeurIPS 2019