Jakov Kucan: Curriculum Vitae

Education | Work Experience | Honors and Prizes | Background/Interests | Contact | More...

Education:

  • MASSACHUSETTS INSTITUTE of TECHNOLOGY, Department of Mathematics, Cambridge, MA, USA.
    Doctor of Philosophy, February 1997. Thesis: ``Metatheorems about Convertibility in Typed Lambda Calculi'', under supervision of Prof. Albert R. Meyer.

  • UNIVERSITY of PENNSYLVANIA, School of Arts and Sciences, Philadelphia, PA, USA.
    Master of Arts in Mathematics, May 1991.

  • UNIVERSITY of PENNSYLVANIA, School of Engineering and Applied Science, Philadelphia, PA, USA.
    Bachelor of Science and Engineering in Computer Science and Engineering, May 1991. Senior thesis: ``A Programming Language Based on Sets and Algebras''.

  • UNIVERSITY of ZAGREB, Electro-technical Faculty, Zagreb, Croatia
    Finished two years of electrical engineering program (September 1986 - July 1988). Transferred to University of Pennsylvania in Fall 1988.

    Work Experience:

  • Department of Computer Science, Brandeis University, Waltham, MA, USA.
    November 1996 - present: Postdoctoral Fellow in ``Logic and Computation'' research group headed by Prof. Harry Mairson.

  • Department of Electrical Engineering and Computer Science, M.I.T., Cambridge, MA, USA.
    January 1996 - May 1996: Teaching Assistant in Discrete Math for Computer Science.

  • Lotus Development Corporation, Cambridge, MA
    June 1995 - December 1995: Worked in Lotus Research and Development group headed by Dr. Irene Greif. Worked with J.Patterson, M.Day, and S.Whittaker on the design and prototype development of the Notification Server - an infrastructure that supports multi-user applications.

  • Department of Mathematics, M.I.T., Cambridge, MA, USA.
    September 1991 - May 1995: Teaching Assistant in a variety of courses, including Theory of Computation, Probability, Complex Calculus, Dynamical Systems, etc.

  • Lotus Development Corporation, Cambridge, MA, USA.
    Summer 1993, Summer 1994: Worked in Lotus Research and Development group headed by Dr. Irene Greif. Developed a prototype application to test feasibility of using Lotus Notes infrastructure for real-time communication. Worked on prototype application designed to aid interpersonal communication, workgroup organization and ad hoc workflow.

  • Microsoft Corporation, Redmond, WA, USA.
    Summer 1991, Summer 1992: Software Development Engineer. Implemented a module for CodeView interactive debugger. Involved in implementation of FORTRAN PowerStation compiler.

  • GRASP Lab, University of Pennsylvania, Philadelphia, PA, USA.
    June 1990 - May 1991: Assistant. Assisted in research on statistical analysis of noise in digital camera. Worked on documentation and debugging of a picture manipulation package under UNIX/X11.

  • Department of Mathematics, University of Pennsylvania, Philadelphia, PA, USA.
    January 1990 - May 1991: Teaching Assistant in Abstract Algebra.

    Honors and Prizes:

  • A.P. Godsha Engineering Prize, U. of Pennsylvania, May 21 1991, for displayed grasp of mathematical principles underlying engineering.

  • Received B.S.E. from U. of Pennsylvania with Magna Cum Laude, May 21 1991.

  • Member of TauBetaPi Engineering Honor Society, Delta of Pennsylvania, November 20 1989.

  • Placed on Dean's List for 1988-1989, University of Pennsylvania.

    Background/Interests:

  • Citizen of Croatia. Have J-1 (exchange student) visa status.

  • Have experience programming in variety of programming languages including C++, C, ML, etc.

  • Fluent in Croatian. Have some knowledge of German.

  • Like flying sailplanes and aircraft. Member of MIT Soaring Association - served on the board of directors for two years.

    Contact Address:

    Jakov Kucan
    Brandeis University
    Department of Computer Science
    Volen Center for Complex Systems
    Waltham, MA 02254, U.S.A.
    e-mail:     kucan@cs.brandeis.edu
    www: http://www.cs.brandeis.edu/~kucan
    Phone: +1 (617) 736-2708
    Fax: +1 (617) 736-2741

    More...

    For more details, and to access some of my published work, look at my     bibliography.

    For a concise summary of my research look here.