Back to Results
First PageMeta Content
Functional languages / Year of birth missing / Automated theorem proving / ACL2 / Lisp programming language / Formal methods / Matthias Felleisen / Racket / Theorem prover / Software engineering / Computing / Computer programming


Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115
Add to Reading List

Document Date: 2014-03-30 13:34:33

Open Document

File Size: 25,42 KB

Share Result on Facebook

City

Santa Barbara / Austin / /

Company

IBM / Lockheed Martin / Green Hills Software / Sun Microsystems / /

/

Facility

Carl Eastlund Northeastern University College of Computer / University Honors / Northeastern University / /

IndustryTerm

runtime software contracts / satellite ground control stations / /

Organization

Carnegie Mellon University / Northeastern University College of Computer / Northeastern University / University of Oklahoma Teaching / Northeastern University / Boston / /

Person

Matthias Felleisen / Carl Eastlund / /

/

Position

Instructor / Teaching Software Correctness Workshop / Research/Teaching Assistant / ACL2 Adviser / Assistant / TeachScheme / prototype interpreter / Teaching Assistant / Software Engineer / /

ProgrammingLanguage

Perl / SQL / C / Java / C++ / Lisp / /

Technology

functional programming / Perl / Java / GPS / /

SocialTag