Profiles

David Gries

Professor Emeritus (as of 2012), Computer Science, Cornell University

Verified email at cs.cornell.edu

Cited by 13652

Programming methodology programming languages CS education

Peter Müller

ETH Zurich

Verified email at inf.ethz.ch

Cited by 7785

Program Verification Formal Methods Programming Methodology

Dines Bjorner

Professor Emeritus, DTU Informatics, Denmark

Verified email at dtu.dk

Cited by 5448

Programming Methodology Formal Methods

Michael E. Caspersen

Honorary Professor, Department of Computer Science, Aarhus University

Verified email at cs.au.dk

Cited by 3462

Computing Education Computational Thinking Programming Education Programming Methodology Object-Oriented Programming

Doaitse Swierstra

Professor of Computer Science, Utrecht University

Verified email at swierstra.net

Cited by 2793

Programming Languages and Implementation Programming Methodology Systems programming

Arkady Retik

Associate Teaching Professor, Computing and Software Systems, University of Washington

Verified email at uw.edu

Cited by 791

Programming Methodology Computer Graphics Software Engineering Project Management Augmented Reality

Tibor Gregorics

associate professor, Eötvös Loránd University

Verified email at inf.elte.hu

Cited by 112

artificial intelligent programming methodology

Meetkumar Patel

Student of Computer Engineering, Gujarat Technological University

Verified email at weblock.in

Cited by 50

Machine Learning Data mining NLP Programming methodology

Jaime Bohorquez

Professor of Computer Science, Escuela Colombiana de Ingenieria

Verified email at escuelaing.edu.co

Cited by 38

Mathematical Logic Programming methodology automated resoning

Thanikaivel B

Research Scholar, Anna University, Chennai

Cited by 29

Cloud Computing Big Data Networks Algorithm and Analysis Programming methodology

1 - 10