Fatema Islam Meem
About Meem
I am a self-motivated and adaptable individual with a strong interest in computer science, particularly in making technology safer and more useful for people. Currently, I am pursuing my PhD in Computer Science at the University of Idaho, focusing on cybersecurity and formal verification. I enjoy learning, teaching, mentoring and thrive in collaborative environments where ideas can grow. My goal is to contribute to building a safer digital world through research, innovation, and knowledge sharing.
I am always open to research collaborations in Information Security, System Security, IoT Security, Formal Verification and Adversarial Machine Learning - if you are interested in working together, feel free to reach out.
Outside of academics I enjoy cooking and traveling, which allow me to explore creativity and experience new cultures.
LECTURE & LABORATORY SCHEDULE
IT 271 Cybersecurity I (4 Credits)
10:30 am to 11:45 am - Tuesday, Wednesday, Thursday
STC 313 and Online
IT 272 Cybersecurity II (4 Credits)
12:00 pm to 1:15 pm - Tuesday, Wednesday, Thursday
STC 313 and Online
IT 273 Cybersecurity III (4 Credits)
09:00 am to 10:15 am - Tuesday, Wednesday, Thursday
STC 313 and Online
IT 274 Cybersecurity IV (4 Credits)
1:30 pm to 2:45 pm - Tuesday, Wednesday, Thursday
STC 313 and Online
ACADEMIC DEGREES
Ph.D. in Computer Science [Fall 2022 - Present]
University of Idaho
Dissertation: Formal Verification of Assembly Language
M.S. in Computer Science [Fall 2022 - Summer 2024]
University of Idaho
Thesis: Formal Verification for Assembly Language: Operational Semantics Modeling of RISC-V Instructions
B.Sc. in Computer Science [Summer 2017 - Spring 2021]
Brac University
Thesis: Quantum Error Correction using Quantum Convolutional Neural Network