All Projects

I am interested in supervising projects using FPGAs to solve problems in currentIoT devices: Power consumption and concurrencyDistributed and wireless acquisition of multimedia dataFPGAs to reduce the required data rate by preprocessing and data compression.Combinations of inexpensive sensors based on microcontrollers and FPGAs.Fast orthogonal transformations in signal/image processingCryptographic data protectionData compressionError-detecting codingFPGAs and Internet Protocol … Read more

Quicksort is one of the best-known algorithms in computer science. The algorithm selects one value from the array, which it calls the pivot. The array is then divided into two segments: values that are less than or equal to the pivot, and values that are greater than or equal to the pivot. If we partition … Read more

ABC is an open-source logic synthesis and optimization tool developed by Alan Mishchenko at the University of California at Berkeley. ABC specializes in optimizing digital logic circuits at the circuit level, and some commercial hardware synthesis tools incorporate ABC as part of their design flow to improve their circuit optimization. ABC is a large logic … Read more

Current processors typically support at least two variations of floating point arithmetic. Single precision (or binary32) numbers consist of 32 bits, including a sign bit, 8 exponent bits, and 23 bits to represent the most significant digits of the number. Double precision (or binary64) numbers provide 11 exponent bits, and 52 bits for the significant … Read more

Manual creation of tests to ensure the quality of software artefacts is a difficult and labour intensive task. Automatic test generation on the other hand (e.g., using a tool like Randoop) usually requires little or no help from the developers — but often ends up creating too many tests of little value. Various techniques have … Read more

Time tabling is a complex optimisation problem given its large number of constraints (e.g., no overlap between core modules for a particular year) or cost functions (e.g., minimise the distance between any two consecutive lectures/TA/labs).  Many techniques have been used to address various versions of the problem, such as, Constraint-based methods or Meta-heuristics methods, but … Read more

Rock climbing is a demanding activity that often requires participants to study the route(s) they’ll have to follow before they start climbing. Thousands of books have been written to describe famous and less famous rock climbing routes, clubs (e.g., Club Alpin Français) propose seminars and workshops to prepare climbers etc. The objective of this project … Read more