Mathematics and Logics in Computer Science: Proceedings of Icmlcs 2025
暫譯: 計算機科學中的數學與邏輯：2025年國際計算機數學與邏輯會議論文集

Atul Chaturvedi is currently working as a professor in Mathematics and additional director at AIT, Kanpur. He has received his M.Sc., M.Phil., and Ph.D. from Dr. B. R A. University, Agra. His research interests include Cryptography and Network Security protocols particularly lattice-based cryptography and non-commutative ring-based cryptography. He is a life member of Cryptology Research Society of India (CRSI), Indian Society for Technical Education (ISTE), and Indian Science Congress Association (ISCA). He has published various books, research papers in reputed journals, and a reviewer of many International journals. He has been the convener of many national and international conferences/workshops in the area of Cryptology and Network Security under the aegis of various prestigious societies/organizations like DRDO, ISI Kolkata, AICTE, ISTE, etc. He is the copyright owner of many cryptographic algorithms (from Department of Industrial policy and promotion, Ministry of Commerce, Government of India). He has/is guided/guiding many doctoral research fellows in the area of Cryptography and Network Security.

Bimal Kumar Roy is a former director of the Indian Statistical Institute (ISI), Kolkata. He is the founder and the general-secretary, Cryptology Research Society of India (CRSI). He is a cryptologist from the Cryptology Research Group of the Applied Statistics Unit of ISI, Kolkata. He received Ph.D. in Combinatorics and Optimization in 1982 from the University of Waterloo under the joint supervision of Ronald C. Mullin and Paul Jacob Schellenberg. Currently, he is working on Combinatorics and application of Statistics in Cryptology and Design of Experiments. In 2015, he was awarded Padma Shri, India's fourth-highest civilian honor, recognizing his accomplishments and contribution to education. In 2019, he was appointed as the chairperson of the National Statistical Commission, Ministry of Statistics and Programme Implementation, Government of India. He has been a driving force in advancing the important field of cryptology in India, elevating its visibility to international level. He devoted his career to strengthening India's standing in this timely, fast advancing field.

Boaz Tsaban is an Israeli mathematician at the faculty of Bar-Ilan University working as a capacity of professor. His research interests include selection principles within Set Theory and Nonabelian Cryptology, within Mathematical Cryptology. At the age of 16, he was selected with other high school students to attend the first cycle of a special preparation program in mathematics, at Bar-Ilan University, being admitted to regular mathematics courses at the university a year later. He has completed his B.Sc., M.Sc., and Ph.D. degrees with highest distinctions. Two years as a post-doctoral fellow at Hebrew University were followed by a three-year Koshland Fellowship at the Weizmann Institute of Science before he joined the Department of Mathematics, Bar-Ilan University, in 2007. Tsaban's doctoral dissertation, supervised by Hillel Furstenberg, won, with Irit Dinur, the Nessyahu prize for the best Ph.D. in mathematics in Israel in 2003. In 2009, he won the Wolf Foundation Krill Prize for Excellence in Scientific Research.

Atul Chaturvedi 目前擔任坎普爾 AIT 的數學教授及副主任。他在阿格拉的 Dr. B. R A. 大學獲得了碩士、哲學碩士及博士學位。他的研究興趣包括密碼學和網路安全協議，特別是基於格的密碼學和非交換環基的密碼學。他是印度密碼學研究學會 (CRSI)、印度技術教育學會 (ISTE) 和印度科學大會 (ISCA) 的終身會員。他在多本知名期刊上發表了各種書籍和研究論文，並擔任多個國際期刊的審稿人。他曾擔任多個國內外會議/研討會的召集人，專注於密碼學和網路安全，這些會議在多個知名學會/組織的支持下舉行，如 DRDO、ISI Kolkata、AICTE、ISTE 等。他擁有多個密碼演算法的版權（來自印度商務部工業政策與促進部）。他曾指導及正在指導多位在密碼學和網路安全領域的博士研究生。

Bimal Kumar Roy 是印度統計學院 (ISI) 加爾各答的前任主任。他是印度密碼學研究學會 (CRSI) 的創始人及秘書長。他是來自 ISI 加爾各答應用統計單位的密碼學家。他於1982年在滑鐵盧大學獲得組合數學和優化的博士學位，指導教授為 Ronald C. Mullin 和 Paul Jacob Schellenberg。目前，他專注於組合數學及統計在密碼學和實驗設計中的應用。2015年，他獲得了印度第四高的平民榮譽 Padma Shri，以表彰他在教育方面的成就和貢獻。2019年，他被任命為印度統計與計劃實施部的國家統計委員會主席。他在推動印度密碼學這一重要領域方面發揮了重要作用，提升了其國際能見度。他將自己的職業生涯奉獻於加強印度在這一快速發展的領域中的地位。

Boaz Tsaban 是以色列巴伊蘭大學的數學教授。他的研究興趣包括集合論中的選擇原則和數學密碼學中的非阿貝爾密碼學。在16歲時，他與其他高中生一起被選中參加巴伊蘭大學的數學特別準備計劃，並在一年後被錄取為該大學的常規數學課程學生。他以優異的成績完成了學士、碩士和博士學位。在希伯來大學擔任兩年的博士後研究員後，他在魏茨曼科學研究所獲得了三年的 Koshland 獎學金，然後於2007年加入巴伊蘭大學數學系。Tsaban 的博士論文由 Hillel Furstenberg 指導，與 Irit Dinur 一起獲得了2003年以色列最佳數學博士論文的 Nessyahu 獎。2009年，他獲得了沃爾夫基金會的 Krill 獎，以表彰其在科學研究方面的卓越表現。