Professor of Computer Science
- January – May 2006: Adjunct Professor at the Department of Information and Software Engineering of George Mason University, Fairfax, VA
- November 2004 – November 2005: Visiting Research Professor at the Mathematics Department of Tulane University, New Orleans, LA
- Since July 2004: Founder and Chief Research Scientist of Deductive Solutions, Annandale, VA
- October 1999 – October 2004: Research Scientist at ITT Industries – Advanced Engineering and Sciences Division, supporting the Naval Research Laboratory, Formal Methods Section, Washington, DC
- September 1997 – September 1999: Post-doctoral research affiliate at the Department of Computer Science of Stanford University, Stanford, CA
- December 1995 – August 1997: Post-doctoral research affiliate at the Computer Science Department of Carnegie Mellon University, Pittsburgh, PA
- March – July 1996: Extended visit at the Department of Mathematics of the Technical University of Darmstadt, Darmstadt, Germany
- April 1994 – November 1995: Extended visit at the Department of Computer Science of Carnegie Mellon University
- November 1991 – November 1995: Ph.D. student in Computer Science at the University of Torino, Torino, Italy
- September 1990 – August 1992: Master student in Computer Science at the University of Houston, Houston, TX
- November 1986 – March 1991: Undergraduate student in Computer Science at the University of Udine, Udine, Italy
I am interested in the fundamental principles that govern large classes of
problems in computer science in order to exploit their computational
properties to develop algorithms that can effectively solve them. This is
akin to the work of a particle physicist who looks for the fundamental
constituents of our world to develop new processes and materials. Specific
- Computational logic: logical frameworks, type theory, linear logic, programming languages, logic programming, automated deduction, temporal logic, state, concurrency.
- Computer security: specification languages, cryptographic protocols, intruder models, verification.
- Computer Science education: mobile learing, web-based technology.
- 2014-18: QNRF NPRP 7-988-1-178 Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security, $898,420 (Lead PI)
- 2015-16: QNRF NPRP-EP X-063-1-014 The Garbled Computer: Towards Computing Without Seeing, $1,758,209 (PI)
- 2011-16: QNRF NPRP 4-341-1-059 Usable automated data inference for end-users, $1,017,624 (Lead PI)
- 2011-16: QNRF NPRP 4-1593-1-260 VirtuallySafe: A Framework for Hypervisor Code and Data Integrity, $1,049,572 (PI)
- 2010-15: QNRF NPRP 09-667-1-100 Effective Programming for Large Distributed Ensembles, $1,035,164 (Lead PI)
- 2010-14: QNRF NPRP 09-1107-1-168 Formal Reasoning about Languages for Distributed Computation, $1,002,161 (co-Lead PI)
- 2006-09: QF 930107 Automated Analysis of Large Cryptographic Protocols, $200,000 (PI)
- 2007: QNRF UREP 4-7-6 Empirical Evaluation of the Cryptographic Protocol Specification Language MSR, $10,000 (PI)
- 2007: QNRF UREP 4-31-6 Implementation and Evaluation of a Innovative Encryption-Based Anti-Tamper Technology, $10,000 (PI)
- 2004-05: DARPA W31P4Q-05-C-R0405 A Deductive Spreadsheet, $100,000 (PI)
- Selected courses
- CS 15-122 — Principles of Imperative Programming, Carnegie Mellon University
- CS 15-150 — Principles of Functional Programming, Carnegie Mellon University (Qatar campus)
- CS 15-199 — Discovering Logic, Carnegie Mellon University (Qatar campus)
- CS 15-212 — Principles of Programming, Carnegie Mellon University (Qatar campus)
- CS 15-221 — Technical Writing for Computer Scientists, Carnegie Mellon University (Qatar Campus)
- CS 15-312 — Foundations of Programming Languages, Carnegie Mellon University (Qatar Campus)
- CS 15-317 — Constructive Logic, Carnegie Mellon University (Qatar campus)
- CS 15-349 — Introduction to Computer and Network Security, Carnegie Mellon University (Qatar campus)
- CS 15-502 — Technology and Global Development, Carnegie Mellon University (Qatar Campus)
- CS 359 — Linear Logic and Applications, Stanford University
- CS 80-211 — Logic and Mathematical Inquiry, Carnegie Mellon University (Qatar campus)
- ISA 767/INFS 667 — Secure Electronic Commerce, George Mason University
- All courses
- Program Chair of the 4th International Workshop on Linearity – LINEARITY'16, Porto, Portugal, 25 June 2016.
- Program Chair of the First International Workshop on Focusing – WoF'15, Suva, Fiji, 23 November 2015.
- Program Chair of the 10th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice – LFMTP'15, Berlin, Germany, 1 August 2015.
- Program Chair of the 3rd International Workshop on Linearity – LINEARITY'14, Vienna, Austria, 13 July 2014.
- General Chair of the Fifteenth Conference on Logic Programming, Artificial Intelligence and Reasoning – LPAR'08, Doha, Qatar, 22-27 November 2008.
- Chair of the Security and Information Assurance Track of the Sixth ACS/IEEE International Conference on Computer Systems and Applications – AICCSA'08, Doha, Qatar, 1-4 April 2008.
- Co-organizer of the 2nd Annual Doha Conference on Applied Mathematics and Computational Science – AMCS'08, Doha, Qatar, 30 March - 1 April 2008.
- Program Chair of the Twelfth Annual Asian Computing Science Conference – ASIAN'07, Doha, Qatar, 9-11 December 2007.
- Co-organizer of the First Workshop on Logical Spreadsheets – WOLS'05, Stanford, CA, 22-23 September 2005.
- Program Chair of the LICS'03 workshop on Foundations of Computer Security – FCS'03, Ottawa, Canada, 26-27 June 2003.
- Program Chair of the FLoC'02 workshop on Foundations of Computer Security – FCS'02, Copenhagen, Denmark, 25-26 July 2002.
- General Chair of the 15th IEEE Computer Security Foundations Workshop – CSFW-15, Cape Breton, NS, Canada, 24-26 June 2002.
- General Chair of the 14th IEEE Computer Security Foundations Workshop – CSFW-14, Cape Breton, NS, Canada, 11-13 June 2001.
- Steering committee member for
- Since 2001: Computer Security Foundations Symposium — CSF
- Since 2007: Asian Computing Science Conference — ASIAN
- Since 2015: International Workshop on Logical Frameworks and Meta Languages: Theory and Practice — LFMTP
- 2008-09: Conference on Modeling of Complex Systems
- 2008: Doha Information Security Conference
- Program committee member for
- 2017: MeMo'17, UNIF'17, SEC'17, LPAR-21
- 2016: APLAS 2016, PPDP 2016, SEC'16
- 2015: CICL'15, SETS'15, MeMo'15, TTL'15, SEC'15
- 2014: VERIFY, ICLP'14, SEC'14, SAC'14
- 2013: PPDP'13, SETOP'13, PST'13, SCSS'13, SAC'13
- 2012: SCSS'12, QASA'12, SETOP'12, PST'12, SVARM/VERIFY'12, SAC'12
- 2011: DPM'11, SETOP'11, SAC'11
- 2010: CIS'10, DPM'10, STM'10, CSL'10, VERIFY'10, AMAST 2010, LPAR-16, SAC'10
- 2009: CIS'09, WISG'09, CCS'09, ASIAN'09, STM'09, DPM'09, SAC'09
- 2008: CIS'08, CCS'08, CSF'08, SAC'08
- 2007: CIS'07, FSTTCS'07, CSF-20
- 2006: ASIAN'06, MFCS'06, SecReT'06
- 2005: FCS'05
- 2004: SecCo'04, LCMAS'04, FCS'04, WISP'04, HASE'04
- 2003: TPHOLs'03, TIME-ICLP'03
- 2002: VERIFY'02, TIME'02
- 2001: RULE'01, TIME'01
- 2000: TIME'2000, RULE'2000
- 1999: LFM'99, TIME'99, WAAAPL'99, PPDP'99
- 1998: TIME'98
- International committees
- ACM SIGLOG Education Committee chair: Sep'14-present
- Institutional committees
At Carnegie Mellon University in Qatar:
- Marhaba Tartans Spring'13
- Building allocation board Fall'10-Fall'12
- Summer communication symposium Spring'12-Fall'12
- Research chair: Spring'09-Fall'10
- Building use Fall'09-Spring'10
- Departmental committees
In the Computer Science group at Carnegie Mellon University in Qatar:
- Faculty recruitment Spring'07, Spring'09-Spring'10; chair: Fall'07-Fall'08, Fall'10-present
- New programs Fall'07-Spring'10
- Undergraduate theses Fall'07-present
- Website chair: Fall'09-present
- Research Spring'08; chair: Fall'08
- Curriculum and assessment Fall'07
- CS Forum organizer: Fall'06-Spring'07
- Regional activities Spring'07
- Faculty-student interactions Spring'07