M. Sohel Rahman
2020–2022 Distinguished Speaker


Dr. M. Sohel Rahman is a Professor of the CSE department of BUET. He had worked as a Visiting Research Fellow of King’s College London, UK during 2008-2011 and again as a Visiting Senior Research Fellow there during 2014-15. He is a Senior Member of both IEEE and ACM; member of American Mathematical Society (AMS) and London Mathematical Society
(LMS). He is also a Peer-review Associate College Member of EPSRC, UK.

Dr. Rahman received different scholarships and fellowships including Commonwealth Scholarship, Commonwealth Fellowship, ACU Titular Fellowship, University College London-Big Data Institute visiting grant, London Mathematical Society Visiting Grant etc. He is also a
recipient of the Bangladesh Academy of Sciences Gold Medal and UGC Award. He has led research and development projects funded by British Council, UGC-World Bank, ICT Division, Government of Bangladesh and BUET. He has so far published 86 peer-reviewed international journal papers. Among his notable results are the work on high dimensional Knapscak problems, sequence alignment problems, data structures and string combinatorics, sufficient conditions for Hamiltoninicity, Machine Learning based predictors in Bioinformatics, and
metaheuristics solutions for hard problems.

He is an Academic Editor of PLOS One, Associate Editor of BMC Research Notes and had edited special issues as guest editors in Theoretical Computer Science, Journal of Graph Algorithms and Applications, Journal of Discrete Algorithms, Fundamenta Informaticae etc. He has also served as Program Committee members in a number of conference series of international repute. Dr. Rahman regularly writes reviews at Mathematical Review and ACM Computing Review. He is currently an ACM Distinguished Speaker (2019-22) and IEEE Computer Society Distinguished Speaker (2020-22). Very recently, he has been elected as a Fellow of Bangladesh Academy of Sciences.

Department of CSE, BUET
ECE Building, West Palasi
Dhaka-1205, Bangladesh
e-mail: msrahman@cse.buet.ac.bd; sohel.kcl@gmail.com
cell: +8801552389480
URL: http://msrahman.buet.ac.bd

DVP term expires December 2022


Adjusting “Heartbeats” to “keep alive” (Not for Humans but for TCP connections only)

In this talk we will discuss techniques for dynamically adjusting the heartbeat or keep-alive interval of long-lived TCP connections (we are not interested on Heartbeats of humans or to keep them alive!). When a device connects to a server using TCP, often times the connection is established through some sort of middle-box, such as NAT, proxy, firewall, and so on. When such a connection is idle for a long time, it may get torn down due to binding timeout of the middle-box. To keep the connection alive, the client device needs to send keep-alive packets through the connection when it is otherwise idle. To reduce resource consumption, the keep-alive packet should preferably be sent at the farthest possible time within the binding timeout. Due to varied settings of different network equipments, the binding timeout will not be identical in different networks. Hence, the heartbeat rate used in different networks should be changed dynamically. So the question arises: can we somehow detect the middle-box binding timeout and thereby minimize the resource consumption while keeping the connection alive? We answer this question in affirmative and propose a set of iterative probing techniques that detect the middle-box binding timeout with varying degree of accuracy; and in the process, keeps improving the keep-alive interval used by the client device.
[This is a joint work with Rahman, Uddin, Hasan and Kaykobad, which was published in IEEE/ACM Transactions on Networking (2018)]

An agent-based model to examine the impact of Malaria vector control interventions

Malaria is one of the most devastating global health issues. Would not it be wonderful if we could model the Malaria vectors (i.e., different mosquito species) so as to check which intervention technique would be the most appropriate in a particular area? In this talk, we discuss the design and implementation of a spatial agent based model based on the biological attributes of a Malaria vector called Anopheles vagus, which is widely distributed in Asia and a dominant vector in Bandarban, Bangladesh. Real-life field data of Bandarban have been used to generate landscapes to run the simulations. Validation of the model has been done using several standard techniques. Also, verification and validation of the model was done against real-life field data.
Using artificial landscapes, the individual and combined efficacies of existing vector control interventions have been modeled, applied, and examined. Thus this agent based model now can aid us in deciding what sort of interventions would be most appropriate to prevent or contain Malaria. For example, for Anopheles vagus, and based on the real-life data of Bandarban, this research output suggests that combined interventions will have the best effect.
[This is a joint work with Alam, Arifin, Al-Amin and Alam, which was published in BMC Malaria Journal (2017)]

Efficient algorithms for circular sequences with the help of some simple lightweight filters

In this talk our focus is circular sequences. We revisit the classical pattern matching problems with a simple twist: the pattern can be “circular”. So, essentially, we need to search for all conjugates of a pattern in the given text. We consider both the exact and approximate versions of the so called circular pattern matching problem. We also consider a newer problem called the circular sequence comparison problem.
To solve all these problems, we present the following simple but quite effective framework: we employ some simple lightweight filters to reduce the search space and then employ one of the state of the art algorithms from the literature on the reduced search space thereby outperforming the performance of the algorithm had it been applied in the normal setting (i.e., without the filters). The most intriguing feature of this framework thus is its capability to plug in any algorithm to solve these problems and take advantage of it.
[This is a joint and ongoing work with Azim, Iliopoulos, Samiruzzaman and some undergraduate students. Parts of this research work have been published in International Journal of Genomics (2017) and IEEE Transactions on Nanobioscience.]


Adjusting “Heartbeats” to “keep alive” (Not for Humans but for TCP connections only)
An agent-based model to examine the impact of Malaria vector control interventions
Efficient algorithms for circular sequences with the help of some simple lightweight filters

Read the abstracts for each of these presentations