Formal Software Development Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
B Tekinerdogan
Wageningen University Netherlands
global software development
model-driven software development
agile software development
software testing
software engineering
object-oriented software development
software design patterns
View Professor Profile
Professor
Professor Profile
Sanzheng Qiao
McMaster University Canada
software development
application development
software engineering
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formal models
functional programming
formalisation
View Professor Profile
Professor
Professor Profile
Eunsuk Kang
Carnegie Mellon University United States of America
formal methods
software design
software engineering
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal methods
formal verification
software specification and verification
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
formal methods
software testing
secure software
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal methods
formal verification
software security
View Professor Profile
Professor
Professor Profile
Carlo Furia
Università della Svizzera italiana Switzerland
formal methods
software testing
software engineering
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
formal methods
software testing
software engineering
View Professor Profile
Professor
Professor Profile
Benoit Baudry
University of Montreal Canada
software design
software testing
software engineering
View Professor Profile
Professor
Professor Profile
Miroslaw Staron
University of Gothenburg Sweden
software design
software technology
software engineering
sustainable software engineering
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
formal specification
software engineering
software modeling
View Professor Profile
Professor
Professor Profile
Gang Tan
Pennsylvania State University United States of America
formal methods
software engineering
software security
View Professor Profile
Professor
Professor Profile
Cécile Péraire
Carnegie Mellon University United States of America
user-centered software development
software requirements
software engineering
View Professor Profile
Professor
Professor Profile
Nafiseh Kahani
Carleton University Canada
software testing
software engineering
software security
View Professor Profile
Professor
Professor Profile
Ezekiel Soremekun
Singapore University of Technology and Design Singapore
software testing
software engineering
software security
View Professor Profile
Professor
Professor Profile
Hakan Erdogmus
Carnegie Mellon University United States of America
empirical evaluation of software development methods
software engineering
software testing and verification
View Professor Profile
Professor
Professor Profile
Dan Ionescu
University of Ottawa Canada
software development
formal methods
View Professor Profile
Professor
Professor Profile
Shahab Asoodeh
McMaster University Canada
software development
software design
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
software security
View Professor Profile
Professor
Professor Profile
Andrew Begel
Carnegie Mellon University United States of America
software development process
collaborative software development
View Professor Profile
First
Prev
Page 1 | 1671 Results
Next