|
|
|
Wafik Boulos Lotfallah
Ph.D. in Mathematics, University of Wisconsin-Madison
On leave from the Department of Engineering Mathematics, I'm currently teaching Third Semester Mathematics for Engineering Students. Also, some fun elective courses I taught are "Infinity and Beyond" and "Games 101". I now have the following bachelor thesis topics.
My research interests are centered on mathematical logic, and its applications in computer science. Those include:
· Finite Model theory,
· Descriptive Complexity Theory,
· Fuzzy Logic
· Formal Languages
Contact Information:
I spend my summers in the Department of Mathematics,
Publications:
0) My Ph.D.
thesis.
1) Hanna, A.S. and Lotfallah, W.B.: A fuzzy logic approach to the selection of cranes, Automation in Construction, 1999, Vol. 8, No. 5, 597-608.
2) Lotfallah, W.B.: Strong 0-1 laws in finite model theory, Journal of Symbolic Logic, 2000, Vol. 65, No. 4, 16861704.
3) Lotfallah, W.B.: Strong convergence laws in finite model theory, Journal of Symbolic Logic, 2002, Vol. 67, No. 3, pp. 1083-1092.
4) Hanna, A.S.; Lotfallah, W.B.; and Lee, M.J.: Statistical-fuzzy approach to quantify cumulative impact of change orders, Journal of Computing in Civil Engineering, October 2002, Vol. 16, No. 4, pp. 252-258.
5) Lotfallah, W.B.: On the complexity of the first order random theory, Journal of Logic and Computation, Vol. 13, No. 2, 2003, pp. 261-271.
6) Lotfallah, W.B.: A class Ehrenfeucht Fraisse game, Mathematical Logic Quarterly, Vol. 50, No. 2, Feb 2004, pp. 179-188.
7) Keisler, H.J. and Lotfallah, W.B.: First order quantifiers in monadic second order logic, Journal of Symbolic Logic, Vol. 69, No. 1, March 2004, pp. 118-136.
8) Keisler, H.J. and Lotfallah, W.B.: Shrinking games and local formulas, Annals of Pure and Applied Logic, Vol.128, 2004, pp. 215-225.
9) Keisler, H.J. and Lotfallah, W.B.: A local normal form theorem for infinitary logic with unary quantifiers, Mathematical Logic Quarterly, Volume 51, No. 2, Feb 2005, pp. 137-144.
10) Morsi, N.N.; Lotfallah, W.B.; and El-Zekey, M.S.: Propositional calculus for Associatively tied implications, 3rd International Conference on Informatics and Systems, Cairo University, March 2005, to be published in the conference proceedings
11) Lotfallah, W.B. and Youssef, M.R.: On the freedom of Spoiler in Ehrenfeucht Fraisse games,
in the Bulletin of the Faculty of Engineering, Ain Shams University, 2005. 12) Morsi, N.N.; Lotfallah, W.B.; and El-Zekey, M.S.: "The logic of tied implications, part 1: Properties, applications and representation", Fuzzy Sets & Systems, Mar 2006, Volume 157, Issue 5, pp. 647-669. 13) Morsi, N.N.; Lotfallah, W.B.; and El-Zekey, M.S.: "The logic of tied implications, part 2: Syntax", Fuzzy Sets & Systems, 2006, Volume 157, pp. 2030-2057. 14) Morsi, N.N.; Lotfallah, W.B.; and El-Zekey, M.S.: "Corrigendum to "The logic of tied implications, part 2: Syntax", Fuzzy Sets & Systems, 2006, Volume 157, pp. 2416-2417 .
15) Lotfallah, W.B.: Characterizing
Unambiguous Precedence Systems in Expressions without Superfluous
Parentheses, accepted in the International Journal of Computer
Mathematics. 16) El-Zekey, M.S.; Lotfallah, W.B.; and Morsi, N.N.: "Computational Complexities of Axiomatic Extensions of Monoidal t-Norm Based Logic", accepted in Soft Computing.
17)
Keisler, H.J. and Lotfallah, W.B.: Almost
Everywhere Quantifier Elimination for Logics with Probability Quantifiers,
submitted to the Journal of Symbolic Logic
18) Keisler, H.J.
and Lotfallah, W.B.: A Quantifier Rank Hierarchy Theorem for n-ary
Generalized Quantifiers, in preparation.
19) Lotfallah, W.B.: "Logical Foundation of Computer Science", in preparation.
Last modified:
November 30, 2008 by Wafik Lotfallah. |
