Linear Logic

Zachary Luke Fraser

University of Guelph

Graduate Student

Philosophy Department

Alain Badiou, Albert Lautman, Alfred North Whitehead, and Alfred Sohn-Rethel

Sonja Smets

Universiteit van Amsterdam

Faculty Member

Institute for Logic, Language and Computation

Artificial Intelligence, Belief Revision (Computer Science), Epistemic Logic, and Epistemology

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Ronald de Haan

Vienna University of Technology

Graduate Student

Faculty of Informatics

Algorithms, Artificial Intelligence, Automata Theory (Formal Languages), and Automated Deduction

Joanna Golińska-Pilarek

University of Warsaw

Faculty Member

Institute of Philosophy

Analytic Philosophy, Computational Logic, Fuzzy Logic, and Linear Logic

Paolo Coppola

University of Udine

Faculty Member

Methematica and Computer Science Department

E-Government, Linear Logic, Mobile Computing, and Mobile Web 2.0

Vivek Nigam

University of Pennsylvania

Post-Doc

Mathematics Department

Computational Logic, Formal methods, Information Security, and Information Security and Privacy

Martiros Khurshudyan

Yerevan State University

Graduate Student

Department of Physics

Complex networks (Physics), Computational Geometry, Cryptography, and Game Theory

Marco Solieri

Paris Nord XIII

Graduate Student

Laboratoire d'Informatique de Paris-Nord

Computer Science, Implicit Computational Complexity, Linear Logic, and Programming Languages

Adrian Rezus

Alexander of Aphrodisias, Analytic Philosophy, Ancient Logic, and Aristotle

Serguei Mokhov

Concordia University (Canada)

Graduate Student

Computer Science and Software Engineering Department

Algorithms, Artificial Intelligence, Artificial Neural Network, and Aspect-Oriented Programming

Abena Primo

Louisiana Tech University

Graduate Student

College of Engineering and Science

Active Learning, Adaptive Learning Systems, Adaptive Systems (Data Stream), and Agent Based

Martin Churchill

University of Bath

Graduate Student

Department of Computer Science

Algebra, Category Theory, Computability Theory, and Computational Logic

Alfredo Givigliano

University of Calabria

Faculty Member

Philosophy Department

Classical and Contemporary Social Theory; Sociology of Culture; Historical and Comparative Sociology; Sociology of the State; Nations and Nationalism; Cultural Policy; Cultural Globalization; Epistemology of the Social Sciences; Sociology of Knowledge., Cognitive Science, Philosophy of Mind, Philosophy of Science, Epistemic Logic, and Event Logic Maths

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

Zahra Emamy

University College London

Graduate Student

Statistical Science Department

Algorithmic Algebra, Algorithms, Applied Mathematics, and Artificial Intelligence

Sıtar Kortik

Bilkent University

Graduate Student

Computer Engineering Department

Artificial Intelligence, Computer Science, and Linear Logic

Mahmut Burak Şenol

Bilkent University

Graduate Student

Bilkent University Computer Engineering Department

Artificial Intelligence, Computational Linguistics, Data Mining, and Information Retreival

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

Pamela Lescault

University of Vermont

Graduate Student

Microbiology and Molecular Genetics Department

Algorithms, Biology, Cellular Biology, and Child health

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

Erika De Benedetti

Università degli Studi di Torino

PhD Student

Dipartimento di Informatica Department

Implicit Computational Complexity, Intersection Types, Linear Logic, and Proof Theory

Júlio Custódio

Aesthetics, Analytic Philosophy, Computational Biology, and Computational Biology (Bioinformatics)

Evan Zerby

Iowa State University

Undergraduate

Electrical Engineering Department

Electronic Engineering, Electronics, Nanoelectronics, Nanotechnology, Linear Logic, and Metaphysics

Stuart Cox

Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Cartography, Computational Complexity, and Computational Geometry
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