Document

Labs

Search by Title

Formal Language Intermediate
About

Explain the basic elements of formal languages and the fundamental concepts of processing a source program using techniques like lexical analysis, symbol table construction and syntax errors detecti...

Lab Head

Monishanker Halder
Department of Computer Science and Engineering, Jashore University of Science and Technology.

Members

Md Arafat — Department of Computer Science and Engineering, Jashore University of Science and Technology.
Khalekuzzaman — Session 2021-2022 Department of Computer Science and Engineering, Jashore University of Science and Technology.

Python Interpreter
About

This laboratory course is intended to make the students experiment on the basic techniques of compiler construction and tools that can used to perform syntax-directed translation of a high level progr...

Lab Head

Monishanker Halder
Department of Computer Science and Engineering, Jashore University of Science and Technology.

Members

Abdul Khaled — Session 2019-2020 Department of Computer Science and Engineering, Jashore University of Science and Technology.
Arafat — Session 2020-2021 Department of Computer Science and Engineering, Jashore University of Science and Technology.

C++ compiler
About

1

Lab Head

Monishanker Halder
details

Members

Md Hasan — Dr. Arapinis received her PhD from the University of Paris XII. From 2008 to 2013 she was a Research Fellow with the School of Computer Science, University of Birmingham. She joined the School of Informatics, University of Edinburgh, as a Lecturer in September 2013. The vision of Dr. Arapinis' research is to propose logical foundations for automatic analysis of up-to-date electronic systems with respect to users’ security and privacy. Her work in the area of formal analysis of security is articulated around three axes: modelling protocols and their properties, developing tools and reduction results for the automatic verification of cryptographic protocols, and applying the developed tools and theories to real life systems
Ahnaf Rashid — Mina is a Chancellor's Fellow (UK equivalent of tenure-track assistant professor) at the School of Informatics, University of Edinburgh, and at Quantum Software Lab. Before that, she was a senior postdoctoral researcher at the University of Edinburgh and a recipient of the QUICS Hartree Fellowship from the Joint Center for Quantum Information and Computer Science in Maryland. She received her PhD from the University of Edinburgh under the supervision of Elham Kashefi and Myrto Arapinis, with the title "Unclonability and Quantum Cryptanalysis: From Foundations to Applications". She completed her M.Sc. and B.Sc. in physics at Sharif University of Technology, Tehran, Iran. Her research covers three main areas that link quantum information and quantum computing to cryptography and learning theory. More specifically she works on: quantum learning theory and machine learning, quantum cryptography, and quantum information and foundations. Her research area broadly covers In the big picture, her research aims to establish connections between diverse disciplines within computer science, physics, and mathematics, to help us tackle fascinating theoretical problems and explore innovative applications for both existing and future quantum technologies.

RUST compiler
About

about 1

Lab Head

Monishanker Halder
Details

C compiler
About

NA

Lab Head

Monishanker Halder
C compiler

    Contact Me

    If you have any questions or want to know more about me, feel free to contact me.

    Address

    © 2025 Monishanker Halder. All Rights Reserved.