Lambda Calculus

Mihai Maruseac

"Politehnica" University of Bucharest

Undergraduate

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Agent Based, Algorithm Analysis, and Algorithms

Jeremy Gibbons

University of Oxford

Faculty Member

Computing Laboratory

Architectural Patterns, Data Structures (Computer Science), Design Patterns, and E Science

Pietro Speroni di Fenizio

Universidade de Coimbra

Post-Doc

Faculdade de Ciências e Tecnologia Department

Algebra, Applied Mathematics, Artificial Chemistries, and Artificial Life

Joshua Cason

University of Washington

Graduate Student

Linguistics Department

Analytic Philosophy, Analytic Philosophy of Religion, Analytic Theology, and Automated Deduction

Viacheslav Wolfengagen

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

Categorical Abstract Machine, Computer Science, Lambda Calculus, and Lambda Calculus and Combinatory Logic

Philip Atzemoglou

University of Oxford

Graduate Student

Department of Computer Science

Category Theory, Computational Complexity Theory, Lambda Calculus, and Measurement-based Quantum Computation

Eduardo Brito

Universidade do Minho

Graduate Student

Departamento de Informática Department

Computer Science, Concurrency Theory, Concurrent Programming Languages, and Formal methods

German Delbianco

Universidad Nacional de Rosario

Undergraduate

Departamento de Ciencias de la Computación Department

Category Theory, Compiler Construction, Compilers, and Computer Science

Ugo Dal Lago

Alma Mater Studiorum - Università di Bologna

Faculty Member

Dipartimento di Scienze dell'Informazione Department

Computational Complexity, Formal Semantics, Implicit Computational Complexity, and Lambda Calculus

Lucian Bentea

University of Oslo

Department Member

Department of Informatics

AI Planning (Artificial Intelligence), Abstract Interpretation, Algebraic Combinatorics, and Applications in communication netwroks

Vinay Madhusudanan

Manipal University

Faculty Member

Mathematics Department

Algebra, Algebraic Graph Theory, Algebraic Topology, and Differential Algebra

Paolo Giamberardino

Università degli Studi di Cagliari

Post-Doc

Dipartimento di Matematica e Informatica Department

Computational Logic, Concurrency Theory, Curry Howard isomorphism, and Lambda Calculus

Anatol Koval

Taras Shevchenko National University of Kyiv

Undergraduate

Institute of Physics

Algorithm Analysis, Algorithmic Algebra, Artificial Intelligence, and Artificial Neural Network

Ming-Can Wang

Chongqing University of Posts and Telecommunications

Faculty Member

English Language and Literature, College of Foreign Languages

Analytic Philosophy, Category Theory, Combinatory Categorial Grammar, and Epistemology

Brian Howard

DePauw University

Faculty Member

Computer Science Department

Category Theory, Computational Logic, Computer Music, and Computer Science Education

Huy Vu

University of Oxford

Graduate Student

Computing Laboratory

Algorithms, Computer Science, Databases (Relational, XML), and Information Exchange

Andrew Montgomery

Algorithmic Composition, American Football, Band music, and Basketball (Sport Physical Education Exercise Science)

Pierre Bourreau

Université Bordeaux 1

Graduate Student

Laboratoire Bordelais de Recherche en Informatique

Automata Theory (Formal Languages), Computational Linguistics, Computer Science, and Lambda Calculus

Flávio Leonardo Cavalcanti de Moura

University of Brasilia - UnB

Faculty Member

Computer Science Department

Computer Science, Lambda Calculus, Term Rewriting, and Theory Of Computation

Kosikov Sergey

Institute JurInfoR-MSU

Faculty Member

Advaced Computer Studies and Information Technologies Department

Categorical Abstract Machine, Computer Science, Lambda Calculus, and Lambda Calculus and Combinatory Logic

Thomas Seiller

Université de la Méditerranée - Aix-Marseille II

Graduate Student

Institut de Mathématiques de Luminy Department

Mathematics, Algebraic Geometry, Algebraic Topology, and Category Theory

Ivar Leemet

University of Tartu

Undergraduate

Faculty of Philosophy, Institute of Philosophy and Semiotics,

Bioconstructivism, Common Foreign and Security Policy, Complex Systems Science, and Cybersemiotics

Anton Salikhmetov

Computer Science, Interaction Nets, Lambda Calculus, and Lambda Calculus and Combinatory Logic

Simon Perdrix

Grenoble University

Department Member

Laboratoire d'Informatique de Grenoble

Category Theory, Computer Science, Graph Theory, and Lambda Calculus

Rohit Mitra

Jadavpur University

Undergraduate

Department of Information Technology

3D sound (Virtual Reality), AI Engines and Game Physics, AR for education, and Accelerator Mass Spectrometry
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012