Software Verification and Validation

Anthony Finkelstein

University College London

Faculty Member

Computer Science Department

Computational Biology, Requirements Engineering, Self-adaptive Software, and Software Architecture

Lava Kafle

Kathmandu University

Graduate Student

Department of Computer Science and Engineering

Computer Engineering, Social Networking, Software Verification and Validation, and Effort Cost Estimation Web Application

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

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

Artur Gomes

University of York

Graduate Student

Computer Science Department

Case Study Research, Computer Science, Distributed Computing, and Formal Methods (Formal Verification)

José Luiz Fiadeiro

University of Leicester

Faculty Member

Computer Science Department

Formal Methods (Formal Verification), Formal methods, Mathematical Logic, and Philosophy of Computer Science

Jon Nicholson

University of Brighton

Faculty Member

School of Computing, Engineering and Mathematics

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

Reza Babaee

University of Kashan

Graduate Student

Computer Engineering Department

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

Ismail Cicek, Ph.D. (Isaac)

FEA (Solid Mechanics), FEA (Crash Mechanics), Structural Dynamics (Random Vibrations), Turbo-Machinery (Rotor Dynamics), & Bio Mechanics, Formal Methods (Formal Verification), Human Factors in Aviation, and Mechanical Vibrations

Razaidi Hussin

Universiti Malaysia Perlis (UniMAP)

Faculty Member

School Of Microelectronic Engineering

IC design and Software Verification and Validation

Hassan Khan

Blekinge Institute of Technology

Graduate Student

Software Engineering Department

Empirical Software Engineering, Model-Driven Development, Model-Driven Testing, and Requirements Traceability

Diego Zaccai

Ohio State University

Graduate Student

Computer Science and Engineering Department

Distributed Computing, Software Engineering, and Software Verification and Validation

Mohammad Mahdi Raja

Shiraz University

PhD Student / Software Systems Engineering

Computer Science and Engineering Department

API Design, BASIC, Cloud Computing, and Coding

Arturo Sanchez-Ruiz

University of North Florida

Faculty Member

School of Computing

Artificial Intelligence, Aspect Oriented Software Development, Biocomputing, and Bioinformatics

Ahmad Nauman Ghazi

Blekinge Institute of Technology

Graduate Student

Software Engineering Department

Empirical Software Engineering, Exploratory Testing, Search Based Software Engineering, and Software Verification and Validation

Patrick Lanigan

Carnegie Mellon University

Graduate Student

Electrical and Computer Engineering Department

Anomaly Detection, Assistive Technology, Automobile, and Distributed Embedded Systems

Christoph Wintersteiger

Microsoft Research

Post-Doc

Cambridge Department

Algorithms for Satisfiability, Constraint Solving, Hardware Verification, and Satisfiability Modulo Theories

Jeff Carver

University of Alabama - Tuscaloosa

Faculty Member

Department of Computer Science

Agile Methods (Software Engineering), Design Patterns, Empirical Software Engineering, and Software Architecture

Ahmed Mashiyat

University of Toronto

Graduate Student

Computer Science Department

Health Information Systems, Software Engineering, and Software Verification and Validation

Aladin El Hamdouni

Telecom Bretagne

Department Member

Computer Science Department

Adaptive Software Architecture, Architectural Patterns, Architecture Driven Modernization, and Architecture Recovery

Dong Qiu

UC Davis

Graduate Student

Electrical and Computer Engineering Department

Program Analysis, Service Oriented Computing, Software Testing, and Software Verification and Validation

ROHANA RAMLI

Universiti Teknologi MARA

Faculty Member

FSKM Department

Data Structures (Computer Science), Software Engineering, Software Process Improvement and Assessment, and Software Testing

Robert Daniel Brummayer

Danube Mobile Communications Engineering (DMCE)

Post-Doc

Transceiver Firmware Verification Department

Delta Debugging, Formal Methods (Formal Verification), Fuzz Testing, and Hardware Verification

Edmundo Bocanegra

Ehealth, Medical Technology, Healthcare Infrastructure, Primary, Secondary and Tertiary Care, Management, Marketing, and Population Health Management
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