• BS, Computer Science, Premier University, 2006
• MS, Computer Science, Technical University Madrid(UPM), 2009
• MS, Computational Logic, Technical University of Dresden(TUD), 2010
• Ph D, Computer Science, École Polytechnique, 2013

Books

Mahfuza Farooque, 2020, Discrete Mathematics for Computer Science, Great River Learning, United States

Conference Proceedings

Mahfuza Farooque, Muyu Pan and Dheeraj Kodakandla, 2025, "Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic", IEEE, University Park, United States, pp. 1--4

Mahfuza Farooque, Suman Saha, Fatemeh Rahbari, Farhan Sadique and William Joseph Rothwell, 2025, "Next-Gen Education: Enhancing AI for Microlearning", University Park, United States

Mahfuza Farooque, Farhan Sadique, Suman Saha and Susan Yelich Biniecki, 2025, "Bridging the Gap: Faculty Perspectives on Microlearning Implementation in Engineering and Computing Education", University Park, United States

Mahfuza Farooque and Suman Saha, 2025, "Enhancing Student Engagement Through Example-Based Short Videos"

Mahfuza Farooque and Anbi Guo, 2025, "Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs"

Mahfuza Farooque, Matthew Walter and Aaron Falk, 2024, "NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques", IEEE, Washington DC, DC, USA, United States

Mahfuza Farooque, Travis Scott Hughes and Bhavika Jain, 2024, "Recommendation Tool for Alleviating Depression and Suicidal Tendencies Through Healthier Social Media Use", International Conference on Machine Learning and Applications (ICMLA), IEEE, University Park, United States, pp. 760-765

Mahfuza Farooque, Arya Keni and Suman Saha, 2023, "Predicting Boolean Satisfiability Using Graphical Neural Network.", ISTES Organization, University Park, United States, Volume 1, Pages 1-172

Mahfuza Farooque, Stéphane Graham-Lengrand and Assia Mahboubi, 2013, "A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus", Association for Computing Machinery (ACM)

Abstracts

Mahfuza Farooque, Veer Amish Shah, Nikhil Khattar, Sinjoy Saha and Suman Saha, , "Designing Guided AI Systems to Foster Problem-Solving and Reflection in Computing Education", ASEE(American Society For Engineering Education) 2026 Annual Conference

• July 2025 - June 2026, "2025-2026 Opportunity Grant," (Sponsor: Office of the President, Penn State).

• February 2025 - January 2026, "LogicForge: Adaptive Microlearning for Discrete Mathematics Proficiency," (Sponsor: Kern Entrepreneurial Engineering Network and Leonhard Center, Penn State).

• January 2025 - June 2025, "Spring 2025 Opportunity Grant Pilot Semester," (Sponsor: Office of the President, Penn State).

• July 2024 - May 2025, "Next-Gen Education: Leveraging AI for Microlearning,," (Sponsor: Leonhard Center, Penn State).

• Travel Grant – KEEN National Conference, Leonhard Center for the Enhancement of Engineering Education, Penn State, 2026 - 2026

• Travel Grant – ASEE Annual Conference 2026, Leonhard Center for the Enhancement of Engineering Education, Penn State, 2026 - 2026

• Travel Grant – ASEE Annual Conference, Leonhard Center for the Enhancement of Engineering Education, Penn State, 2025

• Woody Bledsoe Award, Conference on Automated Deduction (CADE), 2013 - 2013

• Doctoral Research Scholarship, French National Centre for Scientific Research (CNRS), 2010 - 2013

• Erasmus Mundus Scholarship, European Commission, 2008 - 2010

Service to Penn State:

• Academic Leadership and Support Work, Faculty, University Graduate Council, Penn State University, University Graduate Council, June 2026

• Other, Participant, ASEE Annual Conference Participation, American Society for Engineering Education (ASEE), 2025 - 2025

• Assessment Activities, Judge, Judge, Nittany AI Challenge, Penn State University, Nittany AI Challenge Judging Panel, 2024

• Academic Leadership and Support Work, Participant, Grace Hopper Celebration of Women in Computing, AnitaB.org, 2024

• Assistance to Student Organizations, Advisor, Faculty Advisor, Bangladesh Student Association, Penn State University, Bangladesh Student Association, (BSA-PSU), January 2019

• Assistance to Student Organizations, Advisor, Faculty Advisor, Bangladesh Cultural Club, Penn State University, Bangladesh Cultural Club (BCC-PSU), January 2019

• Academic Leadership and Support Work, Advisor, Director, Master of Engineering (MEng) Program in Computer Science and Engineering, Penn State University, January 2017

• Assistance to Student Organizations, Peer Reviewer, Reviewer and Judge, College of Engineering Research Symposium, College of Engineering Research Symposium(CERS), College of Engineering Research Symposium (CERS), March 2017 - April 2018

Service to External Organizations:

• Participation in or Service to Professional and Learned Societies, Committee Member, Technical PC Member,, Software Engineering of Emerging Technologies, 2026