Andre Scedrov

Background

Scedrov, Andre was born on August 1, 1955 in Zagreb, Croatia. Son of Oleg and Mira (Petric) Scedrov. came to the United States, 1977, naturalized, 1987.

Education

Bachelor, University Zagreb, Croatia, 1977. Master of Arts, State University of New York, Buffalo, 1979. Doctor of Philosophy in Mathematics, State University of New York, Buffalo, 1981.

Career

T.H. Hildebrandt assistant professor research, University of Michigan, Ann Arbor, 1981-1982; assistant professor, University of Pennsylvania, Philadelphia, 1982-1988; associate professor, University of Pennsylvania, Philadelphia, 1988-1992; professor, University of Pennsylvania, Philadelphia, since 1992. Visiting scholar U. Milan, 1982, McGill University, Montreal, 1985, U. Sydney, Australia, 1986, U. Catholique de Louvain, Louvain-La-Neuve, Belgium, 1988, U. Paris 7, 1992, Rijksuniv Utrecht, The Netherlands, 1993, CNRSLab. de Mathematics Discretes, Marseille, France, 1995, Stanford University, 1995,Isaac Newton Institute for Mathematics Sciences, Cambridge, England, 1995. Visiting scientist Mathematics Sciences Institute Cornell Univercity, Ithaca, New York, 1987.

Visiting fellow Socially Responsible Investment International, Menlo Park, California, 1995. Visiting associate professor Stanford (California) U., 1988-1990. Consultant Odyssey Research Associations, Ithaca, 1987, Himachal Pradesh laboratories, Palo Alto, 1990.

Program chair Institute of Electrical and Electronics Engineers Symposium on Logic in Computer Science, Santa Cruz, California, 1992, member organizing committee, 1992-1997, mem.adv. board, since 1997, program co-chair Mathematics Founds. Programming Semantics, New Orleans, 1999. Member program committee Logical Foundation Computer Science, Tver, Russia, 1992, St. Petersburg, Russia, 1994, Linear Logic Tokyo'96, 1996, Computer Science Logic '98, Brno, Czech Republic, 1998, typed Lambda Calculi and Applications, L'Aquila, Italy, 1999.

Invited speaker Mathematics Founds. Programming Semantics, Oxford (England) University, 1992, U. Colorado, Boulder, 1996, Computer Science Logic, San Miniato, Italy, 1992, International Summer School Logic Computer Science, Chambery, France, 1993, Proof and Computation, Marktoberdorf, Germany, 1993, Logic and Computer Science CIRM, Marseille-Luminy, France, 1994, Winter School on Linear Logicand Applications, Lisbon, Portugal, 1995, 10th International Congress onLogic, Philosophy and Methodology of Science, Florence, Italy, 1995, Linear Logic Meeting and Spring School, Tokyo, 1996, Linear Logic Workshop CIRM, Marseille-Luminy, France, 1998, Constructivism in Mathematicsand Computing, The Netherlands, 1999. Visiting professor Keio U., Tokyo, 1997.

Achievements

• Andre Scedrov has been listed as a notable computer scientist, mathematician, researcher, educator by Marquis Who's Who.

Membership

Fellow Japan Society for Promotion of Science (senior ). Member American Association for the Advancement of Science, American Mathematics Society (Centennial Research fellow 1993-1994), Association for Symbolic Logic (editor journals 1988-1993, chair nominating committee 1993, program committee 1988-1990, council 1990-1996, coordinating editor journals 1994-1996 executive committee 1998-2001, program chair annual meeting 2001), Association for Computing Machinery.

Connections

Married Bonnie Carol Hoke, July 23, 1983. 1 child, Kyrill Andre.

Father:

Oleg Scedrov

Mother:

Mira (Petric) Scedrov

Spouse:

Bonnie Carol Hoke

child:

Kyrill Andre Scedrov