Professor Pasquale Malacaria, PhDProfessor of Computer ScienceEmail: p.malacaria@qmul.ac.ukTelephone: +44 20 7882 6378Room Number: Peter Landin, CS 428Website: http://www.eecs.qmul.ac.uk/~pmOffice Hours: Wednesday 13:00-15:00TeachingResearchPublicationsTeachingLogic in Computer Science (Postgraduate) The module introduces students to Mathematical Logic concepts and their use in Computer Science. The topics covered include: - Propositional Logic and Introduction to Critical Thinking - Solving SAT instances. DPLL algorithm, validity, satisfiability, SAT solvers - Temporal Logics. For example: Linear Temporal Logic, Computation Tree Logic, model checkers (e.g. SPIN) - Predicate Logic. First-order logic, syntax and semantics, satisfiability, SMT solvers - Program Logics. For example, Hoare logic. The module will include exercises and hands-on practicals e.g. using SAT solvers and model checkers. Object-Oriented Programming (Undergraduate) Major topics include the concepts of class, object, method, subclass, inheritance and their use in programming. The relevance of the object oriented style with respect to concrete software problems will be stressed both in lectures and labs. There will be two hours of lectures per week, and each student will have a weekly timetabled lab session. In addition, you will be expected to spend further time outside scheduled lab periods in the lab (or at home machines if they are available), and to read textbooks and review notes.ResearchResearch Interests:See Pasquale Malacaria’s research profile pages including details of research interests, publications, and live grants.Publications Sönmez FÖ, Hankin C, Malacaria P (publicationYear). Smart topology detection using multi-armed bandit reinforcement learning method. nameOfConference DOI: 10.1080/19393555.2024.2432263 QMRO: qmroHref Zhang Y, Malacaria P (2025). Dealing with uncertainty in cybersecurity decision support. nameOfConference DOI: 10.1016/j.cose.2024.104153 QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/100521 Malacaria P, Zhang Y (2023). Keep spending: Beyond optimal cyber-security investment. 2023 IEEE Computer Security Foundations Symposium DOI: 10.1109/CSF57540.2023.00024 QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/86903 Zhang Y, Malacaria P, Loukas G et al. (2023). CROSS: A Framework for Cyber Risk Optimisation in Smart Homes. nameOfConference DOI: 10.1016/j.cose.2023.103250 QMRO: https://qmro.qmul.ac.uk/xmlui/handle/123456789/86902 zdemir S.nmez F, Hankin C, Malacaria P (2022). Attack Dynamics: An Automatic Attack Graph Generation Framework Based on System Topology, CAPEC, CWE, and CVE Databases. nameOfConference DOI: 10.1016/j.cose.2022.102938 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/82385 Sönmez FÖ, Hankin C, Malacaria P (2022). Decision support for healthcare cyber security. nameOfConference DOI: 10.1016/j.cose.2022.102865 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/80221 Buczkowski P, Malacaria P, Hankin C et al. (2022). Optimal Security Hardening over a Probabilistic Attack Graph. Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems DOI: 10.1145/3510547.3517919 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/80223 Buczkowski P, Malacaria P, Hankin C et al. (2022). Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool. nameOfConference DOI: 10.1145/3510547.3517919 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/84505 Buczkowski P, Malacaria P, Hankin C et al. (2022). Optimal Security Hardening over a Probabilistic Attack Graph: A Case Study of an Industrial Control System using CySecTool.. nameOfConference DOI: doi QMRO: qmroHref Américo A, Khouzani M, Malacaria P (2021). Channel-supermodular entropies: Order theory and an application to query anonymization. nameOfConference DOI: 10.3390/e24010039 QMRO: https://uat2-qmro.qmul.ac.uk/xmlui/handle/123456789/77022 View Profile Publication Page