Amr Sabry

powered by
COS Expertise®
Indiana University Bloomington
Informatics
Computer Science
Associate ProfessorAppointed: 2000

Mailing Address

Computer Science Department
Lindley Hall 230C
Bloomington, Indiana 47405
United States

Contact Information

Phone: (812) 855-3668
Fax: (812) 855-4829
sabry@indiana.edu
http://www.cs.indiana.edu/~sabry

Qualifications

Ph.D., Rice University, Computer Science, 1994.
M.S., Rice University, Computer Science, 1993.
M.S., Cairo University, Computer Engineering, 1989.
B.S., Cairo University, Electronics and Computer Engineering, 1986.

Keywords

COS Keywords:

Computer and Information Sciences.

Additional Terms:

Computers, Continuations, Monads, Types, Logic, Quantum Computing.

Languages

(Reading, Writing, Speaking)

Arabic: (Fluent, Fluent, Fluent)
French: (Fluent, Fluent, Fluent)

Honors and Awards

2001, Trustees Teaching Award, Indiana University
2001, Recognition of Service Award, ACM
1986, Certificate of Honor from the Syndicate of Egyptian Engineers,

Previous Positions

1995-2000, Assistant Professor, , Computer and Information Science
1994-1995, Postdoctoral Scholar, Chalmers University, Computer Science

Funding Received

  • NSF, Microsoft, INRIA, ACMSIGPLAN, the University of Oregon, and Indiana University: Grants for the Summer School on the proofs-as-programs paradigm, $40,000, Jun 24, 2002 to Jul 5, 2002.
  • NSF: Controlling Space Properties of Higher-Order Typed Programs, $200,000, Jun 1998 to Jun 2003.
  • NSF: Syntactic Theories: Their Automation and Logical Foundation, $159,998, Jul 2002 to Jun 2004.
  • Microsoft Research: A Scheme Compiler for .NET, $14,300, Jul 2001 to Jul 2002.
  • DARPA: Quality of Service Dynamic Validation Qualifiers –The ASSERT System, $1,100,000, Jul 1997 to Jul 2000.

Publications

  • Daniel P. Friedman and Amr Sabry, CPS in Little Pieces: Composing Partial Continuations, Journal of Functional Programming, 12(6), 617-622, November 2002
  • Eugenio Moggi and Amr Sabry, Monadic Encapsulation of Effects: A Revised Approach (Extended Version), Journal of Functional Programming, 11(6), 591-627, 2001
  • Yong Xiao, Amr Sabry, and Zena Ariola, From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition, Higher-Order and Symbolic Computation, 14(4), 387-409, 2001
  • Amr Sabry, What is a Purely Functional Language?, Journal of Functional Programming, 8(1), 1-22, 1998
  • Amr Sabry and Philip Wadler, A Reflection on Call-by-Value, ACM Transactions on Programming Languages and Systems, 19(6), 916-941, 1997

Profile Details

Last Updated: 11/16/2005

COS Expertise ID #1087423
Reference this profile directly: http://myprofile.cos.com/amrsa