An introduction to programming language design and implementation, with an emphasis on the abstractions provided by programming languages. Assignments involve problem-solving issues in principles of programming languages such as Scheme and ML; recursive types and recursive functions; structural induction; abstract data types; abstract syntax; implementing languages with interpreters; static vs. dynamic scoping, closures, state; exceptions; types: type-checking, type inference, static vs. dynamic typing; object-oriented languages: classes and interfaces, inheritance and subtyping; polymorphism and genericity; and design patterns and the visitor pattern.
An introduction to programming language design and implementation, with an emphasis on the abstractions provided by programming languages. Assignments involve problem-solving issues in principles of programming languages such as Scheme and ML. Recursive types and recursive functions; structural induction; abstract data types; abstract syntax; implementing languages with interpreters; static vs. dynamic scoping, closures, and state; exceptions; types: type-checking, type inference, static vs. dynamic typing; object-oriented languages: classes and interfaces, inheritance, and subtyping; polymorphism and genericity; and design patterns and the visitor pattern.
Systems biology is a new approach to complex biological problems. It uses a combination of the most modern techniques for comprehensive measurements of cells and molecules, combined with complex computer and mathematical modeling, to build up inclusive depictions of how living systems function. This course is an integrative approach to help comprehend dynamic biological systems. True understanding of systems biology requires a cross-disciplinary approach. Topics will include both a biological and computer science perspective taught by experts in each individual discipline. The course will cover introduction to advance biological subjects in cell biology and genetics followed by introduction to computer science methods including modeling and “bio-machine” features of systems biology. In class, we will also explore critical reading of current research.
Systems biology is a new approach to complex biological problems. It uses a combination of the most modern techniques for comprehensive measurements of cells and molecules, combined with complex computer and mathematical modeling, to build up inclusive depictions of how living systems function. This course is an integrative approach to help comprehend dynamic biological systems. True understanding of systems biology requires a cross-disciplinary approach. Topics will include both a biological and computer science perspective taught by experts in each individual discipline. The course will cover introduction to advance biological subjects in cell biology and genetics followed by introduction to computer science methods including modeling and “bio-machine” features of systems biology. In class, we will also explore critical reading of current research.
Schaefer School of Engineering & Science
Department:
Computer Science
Research & Education
Research
Visit my website at http://www.cs.stevens.edu/~abc
Achievements & Professional Societies
Honors & Awards
NSF CAREER 2001
Professional Societies
ACM Member
IEEE Member
Selected Publications
Conference Proceedings
Yifei Bao, Adriana Compagnoni, Joseph Glavy, and Tommy White. (Aug 23-24, 2010). "Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors", 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany (MeCBIC 2010).
Eduardo Bonelli and Adriana Compagnoni. (Nov 2007). "Multipoint Session Types for a Distributed Calculus", Proceedings of Trustworthy Global Computing 2007. Link .
Journals
Philippe Bidinger, and Adriana Compagnoni. (Feb 2009). "Pict Correctness Revisited", Theoretical Computer Science, Elsevier. 410 (2-3), 114-127. link .
Philippe Bidinger and Adriana Compagnoni. (Feb 2009). "Pict Correctness Revisited", Theoretical Computer Science, 2-3 (410), 114-127. Link .
Adriana Compagnoni and Healfdene Goguen (Guest Editors). (Oct 2008). "Theory and Applications of Subtyping: Introduction", Mathematical Structures in Computer Science, Cambridge University Press. 18 (5), 795-796.
Adriana Compagnoni, Elsa L. Gunter, and Philippe Bidinger. (May 2008). "Role-based Access Control for Boxed Ambients", Theoretical Computer Science, Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. 398 (1-3), 203-216. Link .
Adriana Compagnoni and Healfdene Goguen. (Dec 2007). "Subtyping a la Church", Festschrift in Honor of Henk Barendregt, Radboud University Nijmegen. Link .
