skip to content

Department of Computer Science and Technology

Singular: 
PhD student
Slug: 
phd-students

Read more at: Young Kwon

Young Kwon

Theses / dissertations

  • Kwon, YD., 2025 (No publication date). Efficient Continual Learning and On-Device Training for Mobile and IoT Devices
    Doi: http://doi.org/10.17863/CAM.116989
  • Conference proceedings

  • Jia, H., Kwon, YD., Mat, D., Pham, N., Qendro, L., Vu, T. and Mascolo, C., 2024. UR2M: Uncertainty and Resource-Aware Event Detection on Microcontrollers 2024 IEEE International Conference on Pervasive Computing and Communications, PerCom 2024,
    Doi: 10.1109/PerCom59722.2024.10494467
  • Kwon, YD., Li, R., Venieris, SI., Chauhan, J., Lane, ND. and Mascolo, C., 2024. TinyTrain: Resource-Aware Task-Adaptive Sparse Training of DNNs at the Data-Scarce Edge Proceedings of Machine Learning Research, v. 235
  • Kwon, YD., Chauhan, J., Jia, H., Venieris, SI. and Mascolo, C., 2023. LifeLearner: Hardware-Aware Meta Continual Learning System for Embedded Computing Platforms SenSys 2023 - Proceedings of the 21st ACM Conference on Embedded Networked Sensors Systems,
    Doi: 10.1145/3625687.3625804
  • Kwon, YD., Chauhan, J. and Mascolo, C., 2022. YONO: Modeling Multiple Heterogeneous Neural Networks on Microcontrollers. CoRR, v. abs/2203.03794
  • Pham, N., Jia, H., Tran, M., Dinh, T., Bui, N., Kwon, Y., Ma, D., Nguyen, P., Mascolo, C. and Vu, T., 2022. PROS: An Efficient Pattern-Driven Compressive Sensing Framework for Low-Power Biopotential-basedWearables with On-chip Intelligence Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM,
    Doi: 10.1145/3495243.3560533
  • Kwon, YD., Chauhan, J. and Mascolo, C., 2022. YONO: Modeling Multiple Heterogeneous Neural Networks on Microcontrollers Proceedings - 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022,
    Doi: 10.1109/IPSN54338.2022.00030
  • Chauhan, J., Kwon, YD. and Mascolo, C., 2022. Exploring On-Device Learning Using Few Shots for Audio Classification European Signal Processing Conference, v. 2022-August
  • Vallapuram, AK., Kwon, YD., Lee, LH., Xu, F. and Hui, P., 2022. Causal Analysis on the Anchor Store Effect in a Location-based Social Network Proceedings of the 2022 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2022,
    Doi: 10.1109/ASONAM55673.2022.10068687
  • Das, A., Kwon, YD., Chauhan, J. and Mascolo, C., 2022. Enabling On-Device Smartphone GPU based Training: Lessons Learned 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022,
    Doi: 10.1109/PerComWorkshops53856.2022.9767442
  • Kwon, YD., Chauhan, J. and Mascolo, C., 2021. FastICARL: Fast incremental classifier and representation learning with efficient budget allocation in audio sensing applications Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH, v. 6
    Doi: 10.21437/Interspeech.2021-1091
  • Chen, L-Y., Chen, Y., Kwon, YD., Kang, Y. and Hui, P., 2021. IAN: interpretable attention network for churn prediction in LBSNs Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
    Doi: 10.1145/3487351.3488328
  • Kwon, YD., Chauhan, J., Kumar, A., Hui, P. and Mascolo, C., 2021. Exploring System Performance of Continual Learning for Mobile and Embedded Sensing Applications. CoRR, v. abs/2110.13290
  • Vallapuram, AK., Nanda, N., Kwon, YD. and Hui, P., 2021. Interpretable business survival prediction Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2021,
    Doi: 10.1145/3487351.3488353
  • Haq, EU., Braud, T., Kwon, YD. and Hui, P., 2020. Enemy at the Gate: Evolution of Twitter User's Polarization during National Crisis Proceedings of the 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2020,
    Doi: 10.1109/ASONAM49781.2020.9381296
  • Kwon, YD., Shatilov, KA., Lee, LH., Kumyol, S., Lam, KY., Yau, YP. and Hui, P., 2020. MyoKey: Surface Electromyography and Inertial Motion Sensing-based Text Entry in AR 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2020,
    Doi: 10.1109/PerComWorkshops48775.2020.9156084
  • Kwon, YD., Mogavi, RH., Ul Haq, E., Kwon, Y., Ma, X. and Hui, P., 2019. Effects of ego networks and communities on self-disclosure in an online social network Proceedings of the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2019,
    Doi: 10.1145/3341161.3342881
  • Kwon, YD., Singh, R., Khwaja, M., Tan, NAH., Narazani, M., Wozniak, MP., Nasser, A., Majethia, R., Van Kleunen, L. and Neumann, V., 2019. UbiComp/ISWC 2019: A Post-Conference Summary Report IEEE Pervasive Computing, v. 18
    Doi: 10.1109/MPRV.2019.2947953
  • Journal articles

  • Hadi Mogavi, R., Deng, C., Juho Kim, J., Zhou, P., D. Kwon, Y., Hosny Saleh Metwally, A., Tlili, A., Bassanelli, S., Bucchiarone, A., Gujar, S., Nacke, LE. and Hui, P., 2024. ChatGPT in education: A blessing or a curse? A qualitative study exploring early adopters’ utilization and perceptions Computers in Human Behavior: Artificial Humans, v. 2
    Doi: http://doi.org/10.1016/j.chbah.2023.100027
  • Shatilov, KA., Kwon, YD., Lee, LH., Chatzopoulos, D. and Hui, P., 2023. MyoKey: Inertial Motion Sensing and Gesture-Based QWERTY Keyboard for Extended Realities IEEE Transactions on Mobile Computing, v. 22
    Doi: 10.1109/TMC.2022.3156939
  • Kwon, YD., Chauhan, J., Kumar, A., Hkust, PH. and Mascolo, C., 2021. Exploring System Performance of Continual Learning for Mobile and Embedded Sensing Applications 6th ACM/IEEE Symposium on Edge Computing, SEC 2021,
    Doi: 10.1145/3453142.3491285
  • Ul Haq, E., Braud, T., Kwon, YD. and Hui, P., 2020. A survey on computational politics IEEE Access, v. 8
    Doi: 10.1109/ACCESS.2020.3034983
  • Chauhan, J., Kwon, YD., Hui, P. and Mascolo, C., 2020. ContAuth Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v. 4
    Doi: 10.1145/3432203
  • Kumar, A., Braud, T., Kwon, YD. and Hui, P., 2020. Aquilis: Using contextual integrity for privacy protection on mobile devices Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v. 4
    Doi: 10.1145/3432205
  • Theses / dissertations

    2025 (No publication date)

  • Kwon, YD., 2025 (No publication date). Efficient Continual Learning and On-Device Training for Mobile and IoT Devices
    Doi: http://doi.org/10.17863/CAM.116989
  • Conference proceedings

    2024

  • Jia, H., Kwon, YD., Mat, D., Pham, N., Qendro, L., Vu, T. and Mascolo, C., 2024. UR2M: Uncertainty and Resource-Aware Event Detection on Microcontrollers 2024 IEEE International Conference on Pervasive Computing and Communications, PerCom 2024,
    Doi: 10.1109/PerCom59722.2024.10494467
  • Kwon, YD., Li, R., Venieris, SI., Chauhan, J., Lane, ND. and Mascolo, C., 2024. TinyTrain: Resource-Aware Task-Adaptive Sparse Training of DNNs at the Data-Scarce Edge Proceedings of Machine Learning Research, v. 235
  • 2023

  • Kwon, YD., Chauhan, J., Jia, H., Venieris, SI. and Mascolo, C., 2023. LifeLearner: Hardware-Aware Meta Continual Learning System for Embedded Computing Platforms SenSys 2023 - Proceedings of the 21st ACM Conference on Embedded Networked Sensors Systems,
    Doi: 10.1145/3625687.3625804
  • 2022

  • Das, A., Kwon, YD., Chauhan, J. and Mascolo, C., 2022. Enabling On-Device Smartphone GPU based Training: Lessons Learned 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022,
    Doi: 10.1109/PerComWorkshops53856.2022.9767442
  • Kwon, YD., Chauhan, J. and Mascolo, C., 2022. YONO: Modeling Multiple Heterogeneous Neural Networks on Microcontrollers. CoRR, v. abs/2203.03794
  • Pham, N., Jia, H., Tran, M., Dinh, T., Bui, N., Kwon, Y., Ma, D., Nguyen, P., Mascolo, C. and Vu, T., 2022. PROS: An Efficient Pattern-Driven Compressive Sensing Framework for Low-Power Biopotential-basedWearables with On-chip Intelligence Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM,
    Doi: 10.1145/3495243.3560533
  • Kwon, YD., Chauhan, J. and Mascolo, C., 2022. YONO: Modeling Multiple Heterogeneous Neural Networks on Microcontrollers Proceedings - 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022,
    Doi: 10.1109/IPSN54338.2022.00030
  • Chauhan, J., Kwon, YD. and Mascolo, C., 2022. Exploring On-Device Learning Using Few Shots for Audio Classification European Signal Processing Conference, v. 2022-August
  • Vallapuram, AK., Kwon, YD., Lee, LH., Xu, F. and Hui, P., 2022. Causal Analysis on the Anchor Store Effect in a Location-based Social Network Proceedings of the 2022 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2022,
    Doi: 10.1109/ASONAM55673.2022.10068687
  • 2021

  • Kwon, YD., Chauhan, J. and Mascolo, C., 2021. FastICARL: Fast incremental classifier and representation learning with efficient budget allocation in audio sensing applications Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH, v. 6
    Doi: 10.21437/Interspeech.2021-1091
  • Chen, L-Y., Chen, Y., Kwon, YD., Kang, Y. and Hui, P., 2021. IAN: interpretable attention network for churn prediction in LBSNs Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
    Doi: 10.1145/3487351.3488328
  • Kwon, YD., Chauhan, J., Kumar, A., Hui, P. and Mascolo, C., 2021. Exploring System Performance of Continual Learning for Mobile and Embedded Sensing Applications. CoRR, v. abs/2110.13290
  • Vallapuram, AK., Nanda, N., Kwon, YD. and Hui, P., 2021. Interpretable business survival prediction Proceedings of the 2021 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2021,
    Doi: 10.1145/3487351.3488353
  • 2020

  • Haq, EU., Braud, T., Kwon, YD. and Hui, P., 2020. Enemy at the Gate: Evolution of Twitter User's Polarization during National Crisis Proceedings of the 2020 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2020,
    Doi: 10.1109/ASONAM49781.2020.9381296
  • Kwon, YD., Shatilov, KA., Lee, LH., Kumyol, S., Lam, KY., Yau, YP. and Hui, P., 2020. MyoKey: Surface Electromyography and Inertial Motion Sensing-based Text Entry in AR 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2020,
    Doi: 10.1109/PerComWorkshops48775.2020.9156084
  • 2019

  • Kwon, YD., Mogavi, RH., Ul Haq, E., Kwon, Y., Ma, X. and Hui, P., 2019. Effects of ego networks and communities on self-disclosure in an online social network Proceedings of the 2019 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2019,
    Doi: 10.1145/3341161.3342881
  • Kwon, YD., Singh, R., Khwaja, M., Tan, NAH., Narazani, M., Wozniak, MP., Nasser, A., Majethia, R., Van Kleunen, L. and Neumann, V., 2019. UbiComp/ISWC 2019: A Post-Conference Summary Report IEEE Pervasive Computing, v. 18
    Doi: 10.1109/MPRV.2019.2947953
  • Journal articles

    2024

  • Hadi Mogavi, R., Deng, C., Juho Kim, J., Zhou, P., D. Kwon, Y., Hosny Saleh Metwally, A., Tlili, A., Bassanelli, S., Bucchiarone, A., Gujar, S., Nacke, LE. and Hui, P., 2024. ChatGPT in education: A blessing or a curse? A qualitative study exploring early adopters’ utilization and perceptions Computers in Human Behavior: Artificial Humans, v. 2
    Doi: http://doi.org/10.1016/j.chbah.2023.100027
  • 2023

  • Shatilov, KA., Kwon, YD., Lee, LH., Chatzopoulos, D. and Hui, P., 2023. MyoKey: Inertial Motion Sensing and Gesture-Based QWERTY Keyboard for Extended Realities IEEE Transactions on Mobile Computing, v. 22
    Doi: 10.1109/TMC.2022.3156939
  • 2021

  • Kwon, YD., Chauhan, J., Kumar, A., Hkust, PH. and Mascolo, C., 2021. Exploring System Performance of Continual Learning for Mobile and Embedded Sensing Applications 6th ACM/IEEE Symposium on Edge Computing, SEC 2021,
    Doi: 10.1145/3453142.3491285
  • 2020

  • Chauhan, J., Kwon, YD., Hui, P. and Mascolo, C., 2020. ContAuth Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v. 4
    Doi: 10.1145/3432203
  • Kumar, A., Braud, T., Kwon, YD. and Hui, P., 2020. Aquilis: Using contextual integrity for privacy protection on mobile devices Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, v. 4
    Doi: 10.1145/3432205
  • Ul Haq, E., Braud, T., Kwon, YD. and Hui, P., 2020. A survey on computational politics IEEE Access, v. 8
    Doi: 10.1109/ACCESS.2020.3034983




  • Read more at: Chelsea Edmonds

    Chelsea Edmonds

    I recently completed my PhD (awaiting graduation in October 2024) in the Programming, Logic, and Semantics group in the Computer Laboratory at the University of Cambridge, where I was a member of Darwin College. My supervisor was Prof. Larry Paulson, and I was a member of the ALEXANDRIA project group team investigating large scale formal proof for the working mathematician.

    Theses / dissertations

  • Edmonds, C., 2024 (No publication date). Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL
    Doi: 10.17863/CAM.108886
  • Conference proceedings

  • Edmonds, C. and Paulson, LC., 2024. Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024,
    Doi: 10.1145/3636501.3636946
  • Koutsoukou-Argyraki, A., Bakšys, M. and Edmonds, C., 2023. A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023,
    Doi: 10.1145/3573105.3575680
  • Edmonds, C. and Paulson, LC., 2022. Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics Leibniz International Proceedings in Informatics, LIPIcs, v. 237
    Doi: 10.4230/LIPIcs.ITP.2022.11
  • Edmonds, C. and Paulson, LC., 2022. Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics 13th International Conference on Interactive Theorem Proving (2022). 11:1-11:19,
  • Edmonds, C. and Paulson, LC., 2021. A Modular First Formalisation of Combinatorial Design Theory Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12833 LNAI
    Doi: 10.1007/978-3-030-81097-9_1
  • Journal articles

  • Edmonds, C., Koutsoukou-Argyraki, A. and Paulson, LC., 2023. Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL Journal of Automated Reasoning, v. 67
    Doi: 10.1007/s10817-022-09650-2
  • Theses / dissertations

    2024 (No publication date)

  • Edmonds, C., 2024 (No publication date). Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL
    Doi: 10.17863/CAM.108886
  • Conference proceedings

    2024

  • Edmonds, C. and Paulson, LC., 2024. Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024,
    Doi: 10.1145/3636501.3636946
  • 2023

  • Koutsoukou-Argyraki, A., Bakšys, M. and Edmonds, C., 2023. A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023,
    Doi: 10.1145/3573105.3575680
  • 2022

  • Edmonds, C. and Paulson, LC., 2022. Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics 13th International Conference on Interactive Theorem Proving (2022). 11:1-11:19,
  • Edmonds, C. and Paulson, LC., 2022. Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics Leibniz International Proceedings in Informatics, LIPIcs, v. 237
    Doi: 10.4230/LIPIcs.ITP.2022.11
  • 2021

  • Edmonds, C. and Paulson, LC., 2021. A Modular First Formalisation of Combinatorial Design Theory Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 12833 LNAI
    Doi: 10.1007/978-3-030-81097-9_1
  • Journal articles

    2023

  • Edmonds, C., Koutsoukou-Argyraki, A. and Paulson, LC., 2023. Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL Journal of Automated Reasoning, v. 67
    Doi: 10.1007/s10817-022-09650-2



  • Read more at: Mahwish Arif

    Mahwish Arif

    I am a PhD candidate at Hughes Hall, University of Cambridge and my research focuses on analysing existing and emerging software  security threats and develop a software framework that allows developers to quickly and efficiently develop security solutions against these attacks. 

    Datasets

  • Arif, M., Ainsworth, S. and Jones, T., 2025. Research data supporting "Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security"
    Doi: 10.17863/CAM.113967
  • Arif, M., Zhou, R., Ho, H. and Jones, TM., 2021. Research data supporting "Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring"
    Doi: 10.17863/CAM.62760
  • Conference proceedings

  • Arif, M., Zhou, R., Ho, HM. and Jones, TM., 2021. Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization,
    Doi: 10.1109/CGO51591.2021.9370313
  • Arif, M. and Vandierendonck, H., 2018. Reducing the burden of parallel loop schedulers for many-core processors Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
    Doi: 10.1145/3178487.3178517
  • Arif, M., Vandierendonck, H., Nikolopoulos, DS. and de Supinski, BR., 2016. A scalable and composable map-reduce system 2016 IEEE International Conference on Big Data (Big Data),
    Doi: 10.1109/bigdata.2016.7840854
  • Vandierendonck, H., Murphy, K., Arif, M. and Nikolopoulos, DS., 2016. HPTA: High-performance text analytics 2016 IEEE International Conference on Big Data (Big Data),
    Doi: 10.1109/bigdata.2016.7840632
  • Journal articles

  • Lee, J., Vandierendonck, H., Arif, M., Peterson, GD. and Nikolopoulos, DS., 2018. Energy-Efficient Iterative Refinement Using Dynamic Precision IEEE Journal on Emerging and Selected Topics in Circuits and Systems, v. 8
    Doi: 10.1109/jetcas.2018.2850665
  • Datasets

    2025

  • Arif, M., Ainsworth, S. and Jones, T., 2025. Research data supporting "Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security"
    Doi: 10.17863/CAM.113967
  • 2021

  • Arif, M., Zhou, R., Ho, H. and Jones, TM., 2021. Research data supporting "Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring"
    Doi: 10.17863/CAM.62760
  • Conference proceedings

    2021

  • Arif, M., Zhou, R., Ho, HM. and Jones, TM., 2021. Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization,
    Doi: 10.1109/CGO51591.2021.9370313
  • 2018

  • Arif, M. and Vandierendonck, H., 2018. Reducing the burden of parallel loop schedulers for many-core processors Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
    Doi: 10.1145/3178487.3178517
  • 2016

  • Arif, M., Vandierendonck, H., Nikolopoulos, DS. and de Supinski, BR., 2016. A scalable and composable map-reduce system 2016 IEEE International Conference on Big Data (Big Data),
    Doi: 10.1109/bigdata.2016.7840854
  • Vandierendonck, H., Murphy, K., Arif, M. and Nikolopoulos, DS., 2016. HPTA: High-performance text analytics 2016 IEEE International Conference on Big Data (Big Data),
    Doi: 10.1109/bigdata.2016.7840632
  • Journal articles

    2018

  • Lee, J., Vandierendonck, H., Arif, M., Peterson, GD. and Nikolopoulos, DS., 2018. Energy-Efficient Iterative Refinement Using Dynamic Precision IEEE Journal on Emerging and Selected Topics in Circuits and Systems, v. 8
    Doi: 10.1109/jetcas.2018.2850665

  • Read more at: Justas Brazauskas

    Justas Brazauskas

    You can reach me at jb2328 [at] cam.ac.uk

    My personal webpage is justas.xyz where you can find more information about my work.

    Justas is a postgrad student at the Department of Computer Science and Technology (Computer Lab), University of Cambridge (funded by Sensors CDT). His interests span the Internet of Things, Human-Computer Interaction and Digital Twins.

    The tentative title of my doctoral dissertation is Human-centric Design of Real-time Digital Twins.