Automated reasoning

Varun Jindal

IIT Kanpur

Undergraduate

Electrical Engineering Department

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, Algebraic Combinatorics, Algorithm, and Algorithms

Norman MacLeod

Natural History Museum, London

Faculty Member

Palaeontology Department

3D visualisation, Anatomy (Biology), Animal Ecology, and Anthropology

Vasant Honavar

Iowa State University

Faculty Member

Computer Science Department

Applied AI, Artificial Intelligence, Automated reasoning, and Bioinformatics

Hanung Adi Nugroho

Universitas Gadjah Mada

Faculty Member

Electrical Engineering Department

Artificial Intelligence, Audio Signal Processing, Automated reasoning, and Bioengineering- Bioimaging

Harsh Pareek

The University of Texas at Austin

Graduate Student

Computer Sciences Department

Artificial Intelligence, Computer Science, Data Mining, and Machine Learning

Jesse Alama

Universidade Nova de Lisboa

Post-Doc

Departamento de Informática Department

Artificial Intelligence, Automated reasoning, Logic And Foundations Of Mathematics, and Philosophy Of Mathematics

José Creissac Campos

Universidade do Minho

Faculty Member

Departamento de Informática Department

Automated reasoning, Computer Science, Formal Methods (Formal Verification), and Formal methods

Simon E.B. Thierry

Université de Strasbourg

Department Member

LSIIT Department

Agent Based, Algorithms, Artificial Intelligence, and Automata Theory (Formal Languages)

Marvin Schiller

Brunel University

Post-Doc

Social Sciences Department

Artificial Intelligence, Automated reasoning, Cognitive Modeling, and Cognitive Science

Ali Amiri

Iran University of Science & Technology

Faculty Member

Computer Engineering Department

Algorithms, Ambient Intelligence AmI (in ), Artifial Intellegence, and Artificial Intelligence

Juergen Bock

FZI Research Center for Information Technologies

Department Member

Information Process Engineering Department

Ant Colony Optimisation, Approximation Algorithms, Automated reasoning, and Cloud Computing

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Pieter Pauwels

Ghent University

Graduate Student

Architecture And Urban Planning Department

(Multi-) Agent Technology, - Architecture history, - CAAD,Generative design, and 3D Cinema

Arman Didandeh

The University of Western Ontario

Graduate Student

Computer Science Department

(Multi-) Agent Technology, Artificial Intelligence, Automated reasoning, and Computing In Social Sciences, Arts And Humanities, Professions

Jan Tobias Muehlberg

Katholieke Universiteit Leuven

Post-Doc

Computer Science Department

Automated reasoning, Certification Test and Evaluation (CT&E), Formal methods, and Semantics (Computer Science)

Jonathan Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

Automated reasoning, CASE Tools, Computer Science, and Design Patterns

Pavel Klinov

The University of Manchester

Graduate Student

Computer Science Department

Automated reasoning, Computational Logic, Computer Science, and Ontology (Computer Science)

Zdravko Šašek

Faculty of Transport and Traffic Sciences, University of Zagreb

Faculty Member

Department of information and comunication traffic

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, .net Programming, Active Learning, and Adult Education, Professional Development

muhammet balcılar

Yildiz Technical University

Graduate Student

Computer Engineering Department

(Multi-) Agent Technology, Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Artifial Intellegence, and Automated reasoning

Reza Babaee

University of Kashan

Graduate Student

Computer Engineering Department

Runtime Monitoring, Software Engineering, Software Verification and Validation, and Algorithms

Duncan Blair

Southern Cross University

Technical Officer

School of Health & Human Sciences

Artificial Intelligence Assisted Humans, Cognitive Computing, Ethics of Artificial Intelligence, and Serious Games

Guenther Goerz

Friedrich-Alexander-University Erlangen-Nuremberg

Faculty Member

Computer Science Department

Artificial Intelligence, Automated reasoning, Computational Logic, and Computational Scientific Discovery

Manish Kumar

Uttar Pradesh Technical University

Faculty Member

Computer Science and Engineering Department

Artifial Intellegence, Artificial Intelligence, Automated reasoning, and Database Systems

Guenther Goerz

Friedrich-Alexander-University Erlangen-Nuremberg

Faculty Member

Computer Science Department

Artificial Intelligence, Automated reasoning, Computational Logic, and Computer Science

Gareth Smith

Imperial College London

Post-Doc

Computing Department

Automated reasoning and Formal methods
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