Advancing computational theories and software applications to improve our understanding of basic building blocks of life.

The health informatics and bioinformatics are at the cross-section of information technology and health care delivery as well as biomedicine. McMaster researchers are carrying out transformative research in the management of information related to the underlying basic biological processes, making use of the enormous amount of biomedical and healthcare data for knowledge discovery, and designing safety critical medical software and devices to promote health. Our work contributes to the advancement in both fundamental theory and applications on health informatics and bioinformatics related topics.

Related Faculty

Dr. Frantisek (Franya) Franek

Professor

Dr. Mohamed Hassan

Assistant Professor

Dr. Ridha Khedri

Professor

Dr. Mark Lawford

Chair, Department of Computing and Software

Dr. Alan Wassyng

Professor, PEng

The design of advanced formulations and algorithms as well as efficient implementation to tackle large scale and complex instances.

Rigorous evidence-based decision-making through quantitative modelling and analysis is one of the key principles behind Scientific Computing and Optimization, a research area with several far-reaching applications across engineering, sciences, and industry. Finding optimal allocations of resources, scheduling tasks, and designing prototypes are a few of the domains this line of research is concerned with. Enhancing and developing new models to handle application driven questions forms a key focus for the faculty members belonging to the Scientific Computing and Optimization research area.

Research Groups

Related Faculty

Dr. Antoine Deza

Professor

Dr. Douglas Down

Professor

Dr. Mehdi Narimani

Associate Professor

Dr. Ned Nedialkov

Graduate Advisor for M. Eng in Computing and Software, Professor

Dr. Nana Ofori-Opoku

Assistant Professor

Dr. Spencer Smith

Graduate Advisor for Software Engineering

Related Courses

Reliability and power of data analytics and developing algorithms, tools, and platforms to protect privacy and security.

Organizations are collecting increasingly vast amounts of data with the goal of using data analytics to make better decisions and to provide solutions that are better targeted to individuals, as well as identifying anomalous behaviour that could indicate malicious activity. At the same time, these large datasets, as well as other personal, financial, business, and government information assets are attractive targets for hackers, criminals, and nation-state adversaries, threatening the privacy and security of citizens. At McMaster, our team is working on developing next-generation cryptographic algorithms and protocols, data cleaning and curation solutions, privacy governance and preserving tools, and anomaly detection techniques to ensure the safety and dependability of critical cyber and physical systems.

Research Groups

Related Faculty

Dr. Hassan Ashtiani

Assistant Professor

Dr. Wenbo He

Associate Professor

Dr. Ridha Khedri

Professor

Dr. Rong Zheng

Professor, PEng

Related Courses

Focuses on rigorous engineering approaches to building and evaluating dependable software applications.

Software is everywhere and in everything. It powers our entertainment, social media, financial and management systems, vehicles and transportation in general, medical devices and medical information systems. It even controls our production and use of energy. We have come to depend on software to an extent totally beyond expectation. With that dependence has come the realization that software has to be dependable, secure, and must not pose undue risks to its users. Software Engineering plays a pivotal role in this technological world. It builds on our knowledge from Mathematics, Computer Science, Economics, Management, and System Safety, to produce principles, models, methods and tools that help us build demonstrably dependable, secure, safe and efficient software systems.

Our group has expertise in essential areas of Software Engineering, including: Rigorous software development processes; Requirement formal approaches and tools, especially tabular expressions; Product families formal specification and architecture; Validation & verification of complex systems formal approaches applicable in practice; Multicore concurrency; Software Engineering approaches to Scientific Computation; Domain Specific Languages; Generative Programming specifically; and Model-Driven Engineering of Cyber-Physical Systems in general; and the Development and Certification of Safety-Critical Systems. We have applied our methods, tools and theories to the nuclear power industry, medical devices; automotive, financial legacy systems, water quality, and serious gaming. Our members are active in the Formal Requirements and Information Security Enhancement Research Group (FRAISE), the Gaming Scalability Environment project (G-ScalE), and the McMaster Centre for Software Certification (McSCert). We are co-founders of the Software Certification Consortium (SCC) a group of researchers and practitioners primarily in North America, from government agencies, industry and academia, and who are actively involved in building and certifying software-intensive safety-critical systems.

Related Faculty

Dr. Jacques Carette

Associate Chair for Graduate Studies

Dr. Ridha Khedri

Professor

Dr. Mark Lawford

Chair, Department of Computing and Software

Dr. Ryan Leduc

Associate Professor

Dr. Spencer Smith

Graduate Advisor for Software Engineering

Dr. Alan Wassyng

Professor, PEng

Related Courses

Code	Title	Instructor	Outline	Info
CAS 703 Graduate	Software Design	Paige		More
MECHTRON 3TB4 Undergraduate	Embedded Systems Design II			More
SFWRENG 2AA4 Undergraduate	Software Design I – Introduction to Software Development	Mosser		More
SFWRENG 3A04 Undergraduate	Software Design III – Large System Design			More
SFWRENG 3BB4 Undergraduate	Software Design II – Concurrent System Design			More
SFWRENG 3K04 Undergraduate	Software Development			More
SFWRENG 3S03 Undergraduate	Software Testing			More
SFWRENG 3XA3 Undergraduate	Software Engineering Practice and Experience: Software Project Management			More
SFWRENG 4G06A/B Undergraduate	Software Engineering Capstone Design Project			More

Create efficient algorithms to solve problems, and investigate computational models and their limits.

McMaster researchers are working on a wide range of topics in theoretical computer science, foundations of software engineering, and includes applications to knowledge representation and synthesis of software from mathematical specifications. Our researchers are active in exploring the limits of the problems that can be solved by computer programs, and in designing algorithms that solve problems on strings and networks effectively, with awareness for energy preservation. We design high-level formalisms for mechanised mathematics and logical specification of ontologies and software architecture, and develop tools for software synthesis using rigorous mathematical foundations.

Research Groups

Related Faculty

Dr. Hassan Ashtiani

Assistant Professor

Dr. William M. Farmer

Professor

Dr. Frantisek (Franya) Franek

Professor

Dr. Ryszard Janicki

Professor

Dr. Ridha Khedri

Professor

Dr. Ryan Leduc

Associate Professor

Dr. Nana Ofori-Opoku

Assistant Professor

Dr. Bill Smyth

Professor Emeritus

Dr. Jeffery Zucker

Professor Emeritus

Related Courses