Informatics Research Institute (IRI)
SRTA-City, New Borg ElArab, Egypt
Adjunct Assistant Professor|
Computer and Systems Eng. Dept. (CSED)
Faculty of Engineering, Alexandria Univ., Egypt
Remote Visiting Scholar (2020-2021 & 2021-2022) and Ph.D. (2011)
Computer Science, Rice University, Houston TX, USA
Footnotes* In case of wondering how OOP programming languages, quantum computing, and computer security are related, the math used in modeling OOP generics, in modeling quantum processes, and the math behind cryptographic algorithms have much in common (hover over text to see more).
1 ACT’19 is the Applied Category Theory conference organized in July 2019 by the Quantum Group of the CS Dept. at Oxford University, UK.
2 FTfJP’17 is the Formal Techniques for Java-like Programs workshop of the European Conference on Object-Oriented Programming (ECOOP) conference held in Barcelona, Spain in June 2017.
3 Nominally-typed object-oriented programming languages include mainstream OOP languages such as Java, C#, C++, Scala, and Kotlin.