Photo of Mahfuza Farooque

Mahfuza Farooque

Assistant Teaching Professor

Affiliation(s):

  • School of Electrical Engineering and Computer Science
  • Computer Science and Engineering

W119 Westgate Building

mff5187@psu.edu

814-863-5103

Research Areas:

Interest Areas:

 
 

 

Education

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

Publications

Book, Chapters

  • Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi and Jean-Marc Notin, 2015, Axiomatic Constraint Systems for Proof Search Modulo Theories, Springer Nature, pp. 220-236

Conference Proceedings

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

Research Projects

Honors and Awards

Service

Service to Penn State:

  • Reviewer, Oral Presentation Reviewer, CERS 2016, April 2016 - 2016
  • Judge, PENN STATE MILLENNIUM SCHOLARS PROGRAM, February 2016 - February 2016
  • , ABET, May 2016
  • Chairperson, CMPSC 121 Final Exam Committee, October 2016 - December 2016

Service to External Organizations:

 


 

About

The School of Electrical Engineering and Computer Science was created in the spring of 2015 to allow greater access to courses offered by both departments for undergraduate and graduate students in exciting collaborative research in fields.

We offer B.S. degrees in electrical engineering, computer science, computer engineering and data science and graduate degrees (master's degrees and Ph.D.'s) in electrical engineering and computer science and engineering. EECS focuses on the convergence of technologies and disciplines to meet today’s industrial demands.

School of Electrical Engineering and Computer Science

The Pennsylvania State University

209 Electrical Engineering West

University Park, PA 16802

814-863-6740

Department of Computer Science and Engineering

814-865-9505

Department of Electrical Engineering

814-865-7667