|
|
Adam B. Poswolsky
This is also available in printable form: [PDF,
DOC,
TXT]
40 Hofstra Drive
Plainview, NY 11803
Web-site:
http://www.poswolsky.com
Programming Languages, Logical Frameworks, Model Checking, Overlay Networks, Algorithms
Yale University, New Haven, CT
- Ph.D. Candidate in Computer Science, Dec. 2008
Dissertation: Functional Programming with Logical
Frameworks (PDF)
- Advisor: Carsten Schürmann
M.Phil. in Computer Science, Dec. 2004
M.S. in Computer Science, Dec. 2002
SUNY Stony Brook, Stony Brook, NY
- B.S. in Computer Science, May 2001
summa cum laude, GPA 3.99, H. Lee Dennison Valedictorian
IT University of Copenhagen, Copenhagen,
Denmark
Assistant Lecturer (Co-Instructor), Sept. 2005 - Aug.
2008
 |
Introduction
to Object-Oriented Programming (Java) |
|
Interactive
web applications and services with Java and XML |
Yale University,
New Haven, CT
Graduate Researcher, Sept. 2001 - May 2008
| Designed and implemented the
Delphin programming language, a functional programming language
supporting dependent types and higher-order abstract syntax.
(http://delphin.logosphere.org/) |
Graduate Teaching Fellow
| Compilers and Interpreters (CPSC 521/421), Fall 2004 |
| Introduction to Computer Science (CPSC 201), Spring 2004 |
| Algorithms (CPSC 365), Spring 2003 |
| Discrete Mathematics (CPSC 201), Fall 2002 |
Nortel
Networks, Bohemia, NY
Software Engineer, May 2000 - Aug. 2002
Full-time summers, part-time during academic year.
Member of team developing an IVR (interactive voice response) system:
| Created and maintained a utility to synchronize audio data on multiple
nodes (C/C++, Unix Shell Scripts). |
| Created a system-wide GUI configuration tool (Java). |
| Responsibilities included system-wide debugging (C/C++).
|
Yale University Fellowship, Sept. 2001 - Aug. 2002
H. Lee Dennison Valedictorian Award (Stony Brook)
Award for Excellence in Computer Science (Stony Brook)
Member of Golden Key and Sigma Beta Honor Society
|
Adam Poswolsky. Functional
Programming with Logical Frameworks: The Delphin Project, Ph.D.
Dissertation, CreateSpace, 2008. ISBN 978-1440474927 (PDF,
Amazon) .
|
|
Adam Poswolsky
and Carsten Schürmann. System
Description: Delphin – A Functional Programming Language for Deductive
Systems. In
International Workshop on Logical Frameworks and Metalanguages: Theory
and Practice (LFMTP ’08), Electronic Notes in Theoretical Computer
Science (ENTCS), pages 135–141, Pittsburgh, PA, June 2008.
Elsevier. (PDF)
|
|
Adam Poswolsky
and Carsten Schürmann. Practical
Programming with Higher-Order Encodings and Dependent Types.
In
European Symposium on Programming
(ESOP 2008), pages 93–107,
Budapest,
Hungary,
2008. ISBN 978-3-540-78738-9.
 |
Full Version (PDF) |
|
Extended Technical Report,
YALEU/DCS/TR-1375 (PDF)
|
|
|
Adam Poswolsky.
A Temporal-Logic Approach to
Functional Calculi for Dependent Types and Higher-Order Encodings,
YALEU/DCS/TR-1364, 2006.
|
|
Carsten Schürmann, Adam Poswolsky, and Jeffrey Sarnat. The
∇-calculus.
Functional Programming with Higher-Order Encodings.
In Typed Lambda Calculus
and Applications (TLCA 2005), pages 339–353,
Nara,
Japan,
2005.
| Full Version (PDF) |
| Extended Technical Report,
YALEU/DCS/TR-1272 (PDF)
|
|
|
A. Poswolsky
and C. Schürmann. Factoring
Report (Factoring Pure Logic Programs), YALEU/DCS/TR-1256, 2003.
| Full Version (PDF) |
| Extended Technical Report. YALEU/DCS/TR-1256 (PDF) |
|
|
Languages: C/C++, Java, SML, Haskell, SQL.
Operating Systems: Unix/Linux, Windows.
Available upon request. |
