• BS, Computer Science, Premier University, 2006
• MS, Computer Sience, 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, 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, Mahfuza Farooque 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)

Travis Scott Hughes, Bhavika Jain and Mahfuza Farooque, , "Recommendation ToolAlleviating 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

• 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).

Service to Penn State:

• Assessment Activities, Judge, Nittany AI Alliance, Nittany AI Challenge, 2024 - 2024

• Assistance to Student Organizations, Advisor, Bangladesh Student Association, PSU, January 2019

• Assistance to Student Organizations, Advisor, Advisor, Bangladesh Cultural Club, January 2019

• Academic Leadership and Support Work, Advisor, Director of Master of Engineering in Computer Science and Engineering., January 2017

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

Service to External Organizations: