You searched for: mathematical biology
1 to 2 of 2 results
Show
results per page
Matched phrases in profile:
Formal, i.e., mathematically based, design and analysis of software and software-based systems… ., mathematically based, design and analysis of software and software-based systems. His seminal work on formal… library of SAL definitions encoding the Z mathematical toolkit.…
Associate Professor Graeme Smith has over 100 publications in the area of formal, i.e., mathematically based, design and analysis of software and software-based systems. His seminal work on formal object-oriented modelling has found application in the telecommunications and railways sectors, and tha …
Associate Professor Graeme Smith’s research has had the following impact outside of academia:
His research on formal obejct-oriented modelling has been used
to specify and verify the design of a fault-tolerant telecommunications platform for the Overseas Telecommunications Corporation, Australia …
Matched phrases in profile:
Multivalency is a key feature of molecular interaction in biology, underlying the high specificity… spectroscopy in molecular biology, with the aim of increasing the utility of the technique itself… has since 2008 been working on the structural biology of peptides and proteins. His interests lie in… theory is complex and requires some familiarity with advanced mathematical concepts to fully…
Dr Mobli is a Group Leader at the UQ Centre for Advanced Imaging, where he leads a biomolecular NMR group. He has affiliate appointments at the School of Chemistry and Molecular Biosciences as well as the Institute for Molecular Bioscience. He is an expert in the field of NMR spectroscopy where he h …
Dr Mobli is a leading member of the Australian biomolecular nuclear magnetic resonance (NMR) community, and has established an international standing in this field. He has, published a monograph and 10 book chapters, including 3 entries in the IUPAC reference for NMR. He has a career total of >1,400 …
1 to 2 of 2 results