-
Research School Irregular
Published: Tuesday, 18 January 2022A newsletter for PGR
Research School Irregular - Contents
[ top ]Research School Irregular
PGR Covid-19 Expense Fund
The PGR Covid-19 Expense Fund is now open to more than one application within a given academic year.
Any PGR who has incurred unexpected costs related to their research programme due to COVID-19, can apply to the PGR COVID-19 Expense Support Fund. This is possible thanks to funds from the University's Emergency Hardship Fund.
Details outlining the application process and further guidance can be found at:
PGR code of practice | Research and Business Engagement | StaffNet | The University of Manchester
If you have any queries please contact: mdc@manchester.ac.uk
[ top ]Professional Development (and Networks)
Researcher Development Workshops
As outlined in the Research and Discovery goal of the Strategic Plan, the University is committed to “providing a creative, ambitious and supportive environment in which researchers at every career stage can develop into and thrive as leaders in their chosen field”. The newly formed Researcher Development team will contribute to this by providing and facilitating personal, professional and career development training and opportunities for PGRs at all stages.
Information about this semester’s training workshops and details of online resources is available on the Researcher Development at Manchester website. This website will become the single source of information on training and development for PGRs, postdoctoral researchers, research fellows and supervisors.
Seminar from The University of Manchester at Harwell - CCPi Core Imaging Library
The University of Manchester at Harwell’s first seminar of 2022 will be on Tuesday 25th January at 11am via Zoom.As part of the UoMaH Ideas Forum Imaging series, Dr Edoardo Pasca, Senior Visualisation Scientist in STFC’s Scientific Computing Department, will talk about the Collaborative Computational Project in Tomographic Imaging (CCPi) Core Imaging Library (CIL) - A versatile Python package for tomographic imaging.The Collaborative Computational Project in Tomographic Imaging (CCPi) Core Imaging Library (CIL) is a versatile Python package for tomographic imaging intended for CT experimentalists to easily access optimised standard algorithms, create bespoke pipelines to handle novel imaging rigs, dynamic, hyperspectral, non standard scan geometry, to name a few. CIL is also intended for imaging specialists to allow the creation of novel reconstruction algorithms and assess them against established ones. CIL seamlessly handles the CT pipeline from loading data from common lab X-Ray CT machines, as NIKON or ZEISS, to FDK or iterative reconstruction. CIL also provides utilities for visualisation and exploration of the data.In this seminar, Dr Edoardo Pasca will talk about some examples of applications of the methods available with CIL.Registration is via Eventbrite.Don’t forget that if you missed any of our previous seminars, you can watch recordings of them which are all available under ‘Past Events’ on the UoMaH website -https://www.harwell.manchester.ac.uk/connect/events/past-events/
[ top ]Wider Research Community
News from our PGR students Kaled Alshmrany, Mohannad Aldughaim, and Rafael Menezes
FuSeBMC, our white-box fuzzer for finding security vulnerabilities in programs, received three significant awards from the 4th Intl. Competition on Software Testing (Test-Comp 2022):
- First place in the Cover-Error category (find a test covering a bug).
- First place in the Cover-Branches category (find tests for branch coverage).
- First place in the Overall category (that combines Cover-Error and Cover-Branches).
This achievement is a joint effort with Kaled Alshmrany, Lucas Cordeiro, Mohannad Aldughaim, and Ahmed Bhayat. Also, we had a tight collaboration with the development team of ESBMC, including Rafael Menezes and Fedor Shmarov.
The competition results are available at https://test-comp.sosy-lab.org/2022/results/results-verified/
Our competition paper describing FuSeBMC is available at https://arxiv.org/pdf/2112.10627.pdf.
[ top ]Industrial Placements and Internships