جست‌وجوی استاد و پژوهشگر

Nils Fleischhackerمشاهده پروفایل

استادیار

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Rainer Böhmeمشاهده پروفایل

استاد

• Steganography and steganalysis
• Digital forensics
• Privacy-enhancing technologies
• +۴ مورد دیگر

Professor Rainer Böhme is a prominent academic in the field of IT security and privacy at the University of Münster's School of Business and Economics, Department of Information Systems. He also holds a professorship for Security and Privacy at the University of Innsbruck's Institute of Computer Science. His research spans multiple dimensions of digital security, with particular expertise in steganography, digital forensics, privacy-enhancing technologies, and the economic aspects of cybersecurity. Dr. Böhme earned his Doctoral Degree from TU Dresden's Faculty of Computer Science in 2008, following studies in Communications, Economics and Computer Science at Technische Universität Dresden and Université Paris XII. His academic journey includes positions as Assistant Professor at the University of Münster (2010-2015), Postdoctoral Fellow at the International Computer Science Institute in Berkeley (2009-2010), and Scientific Staff at TU Dresden's Chair of Privacy and Data Security. His research interests focus on steganography and steganalysis, digital forensics, privacy-enhancing technologies, security and usability, economic and behavioral aspects of information privacy, virtual currencies, and the economics of information security. His work bridges technical security mechanisms with economic and behavioral considerations, creating a unique interdisciplinary approach to cybersecurity challenges. Analysis of his recent publications reveals a strong trend toward the economics of security, particularly regarding blockchain technologies, cryptocurrency, and privacy valuation. His work increasingly examines the intersection of technical security mechanisms with market dynamics, regulatory frameworks, and user behavior. The research spans theoretical game-theoretic models, empirical studies of user behavior, and practical applications in digital forensics and privacy protection. Program Co-Chair, Financial Cryptography and Data Security (2015) Program Co-Chair, New Security Paradigms Workshop (NSPW) (2015) General Chair, 8th International Conference on IT Security Incident Management & IT Forensics (2014) Organizer and Program Co-Chair, 1st Workshop on Bitcoin Research (2014) Associate Editor, Electronic Commerce Research (since 2013) Associate Editor, EURASIP Journal on Information Security (since 2013) Professor Böhme has supervised multiple Master's theses in Information Systems, including work on static code analysis for smart contracts, remote maintenance protocol security, and application protection requirements in retail banking. His research is supported by significant grants from the German Federal Ministry of Research, Technology and Space, the DFG, and the EU FP7 program, with projects focusing on digital forensics, privacy-enhancing technologies, and cryptocurrency crime prevention. He leads the IT Security Research Group at the University of Münster, which investigates theoretical and applied aspects of information security with particular emphasis on the economic dimensions of security decisions.

Sebastian Steinhorstمشاهده پروفایل

دانشیار

• Embedded Systems
• Internet of Things (IoT)
• Cyber-Physical Systems
• +۵ مورد دیگر

Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.

Feng Chengمشاهده پروفایل

پژوهشگر

• Data-Driven Security Engineering
• Security Analytics
• Network Security
• +۱۹ مورد دیگر

Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.

• Market Microstructure Theory
• Digital Finance
• Fintech
• +۵ مورد دیگر

Prof. Dr. Peter Gomber is Chair of e-Finance at the Faculty of Economics and Business, Goethe University of Frankfurt, Germany. He serves as Co-Chairman and member of the Board of the 'efl – the Data Science Institute', an industry-academic partnership between Frankfurt and Darmstadt Universities and leading industry partners. Additionally, he is a member of the Exchange Council of the Frankfurt Stock Exchange, Supervisory Board of Clearstream Banking AG, and Research Fellow at the Leibniz Institute for Financial Research SAFE in Frankfurt. Prof. Gomber received his Ph.D. at the Institute of Information Systems at the University of Giessen in 1999 after graduating in Business Administration. Before joining Goethe University in 2004, he worked for five years as Director, Head of Market Development Cash Markets and Xetra Research at Deutsche Börse AG, where he developed new market models and products for cash market trading on Xetra. His research focuses on market microstructure theory, digital finance and fintech, regulatory impact on financial markets, and electronic trading systems. With over 150 publications in leading international journals, his work has significantly influenced the field, particularly his highly cited papers on the Fintech Revolution. His recent research examines market fragmentation, circuit breakers, research unbundling under MiFID II, and the application of AI in financial markets. Prof. Gomber's extensive publication record shows a clear evolution from traditional market microstructure and electronic trading systems toward digital finance, fintech innovations, and regulatory impact analysis. His work bridges technical aspects of financial markets with regulatory considerations, demonstrating how technological innovations interact with market structure and regulation. His scientific recognition includes: IBM Shared University Research Grant (2007) Reuters Innovation Award (2000) Best Paper Award of the Journal of the Association for Information Systems (2020) Best Information Systems Publications Award (2020) Top 1 and Top 3 most cited articles in Fintech research (2025 bibliometric analysis) Prof. Gomber has successfully supervised numerous PhD students, including Tino Cestonaro who won the Best PhD Paper Award 2025. He has acquired significant research funds from both public institutions and the private sector. Notably, a market model invention by Prof. Gomber was granted a patent by the United States Patent and Trademark Office, with two additional market model inventions filed for patent in Europe and the US. He leads an active research team at the Chair of e-Finance, including researchers like Benjamin Clapham, Micha Bender, and Tino Cestonaro. The team collaborates closely with the efl – the Data Science Institute and the Leibniz Institute for Financial Research SAFE, bridging academic research with practical applications in financial markets.

• Requirements Engineering
• Goal Modeling
• Conceptual Modeling
• +۷ مورد دیگر

Sotirios Liaskos is an Associate Professor in the School of Information Technology at the Faculty of Science, York University. He is a leading researcher in requirements engineering and conceptual modeling, with a focus on goal models, empirical evaluation, and model-driven engineering. Research Interests: Requirements Engineering Goal and Conceptual Modeling Empirical Software Engineering Model-Driven Design and Automation Uncertainty and Decision-Theoretic Reasoning in Models Applications in Blockchain and Reinforcement Learning His recent work emphasizes the empirical validation of modeling constructs, the integration of decision theory into goal models, and the automated generation of secure workflows and AI training environments. He has led and co-authored numerous experimental studies on model comprehensibility and semantic quality. Publication Trends: His publications consistently appear in top venues like ER, RE, and iStar. The last five years show a strong trend toward empirical evaluation of modeling languages, decision-theoretic goal models, and applications of goal modeling in emerging domains such as blockchain and reinforcement learning simulation design. Scientific Contributions: Developed frameworks for empirical evaluation of modeling language ontologies (Peira framework). Advanced decision-theoretic approaches to goal modeling under uncertainty. Pioneered model-driven methods for generating blockchain simulators and reinforcement learning environments. Conducted foundational empirical studies on the comprehensibility of contribution links and visualization alternatives in goal models. Advising and Collaboration: He has advised several researchers including Ibrahim Jaouhar, Wisal Tambosi, Mehrnaz Zhian, and Saba Zarbaf. He maintains a highly collaborative research profile with frequent co-authorship with John Mylopoulos, Shakil M. Khan, and other international researchers. He has served as a co-editor for multiple iStar workshop proceedings, indicating leadership in the goal-oriented requirements engineering community. Labs and Teams: While no specific lab name is mentioned, his work is closely associated with research groups focused on requirements engineering and conceptual modeling, likely within York University’s software engineering research cluster. His collaborations span institutions in Canada, Europe, and beyond.

• Network Security
• Privacy-Preserving Technologies
• Machine Learning for Networking
• +۵ مورد دیگر

Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.

• Market Microstructure Theory
• Digital Finance
• FinTech
• +۳ مورد دیگر

Prof. Dr. Peter Gomber is a Professor of e-Finance at the Faculty of Economics and Business Administration , Goethe University Frankfurt, since 2004. He co-chairs the Data Science Institute (efl) and holds adjunct professorships at the University of Bamberg (2004), Mannheim (2009), and Luxembourg (2018). His roles include board memberships at the Frankfurt Stock Exchange, Clearstream Banking AG, and advisory positions for European regulatory bodies. Education : Diplom-Kaufmann in Economics, University of Gießen (1999), PhD in Business Informatics. Research Interests focus on market microstructure , FinTech , electronic trading , and regulatory impacts on financial markets. His work explores algorithmic trading , liquidity dynamics , and AI-driven compliance . Publication Trends (15 most recent) emphasize digital finance , market fragmentation , regulatory analysis , and AI applications in trading and compliance. Key subfields include blockchain , high-frequency trading , and news-driven liquidity shocks . Scientific Awards : Reuters Innovation Award (2000) Hochschulpreis des Deutschen Aktieninstituts (1999) IBM SUR Grant (2007) Best Paper Awards (multiple conferences) Best Information Systems Publications Award (2020) Advising & Grants : Teaches in executive programs (Goethe Business School, Amsterdam Institute of Finance). Secured grants from public/private institutions, including a U.S. patent for market model innovation. Labs & Teams : Leads the e-Finance professorship and contributes to the Data Science Institute (efl) , fostering industry-academia collaborations with Deutsche Börse, Capveriant, and others.

Yepang Liuمشاهده پروفایل

دانشیار

• Software Testing and Analysis
• Empirical Software Engineering
• AI for Software Engineering
• +۵ مورد دیگر

Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.

• Internet of Things (IoT)
• Edge Computing
• Cloud-Edge-IO Continuum
• +۴ مورد دیگر

Carlos Enrique Palau is a prominent researcher in the field of Internet of Things (IoT), edge computing, and cyber-physical systems. His work focuses on interoperability, security, and scalability in distributed systems, particularly in industrial and smart city applications. He has contributed to frameworks for cloud-edge continuum integration, blockchain-based IoT solutions, and federated computing architectures. Key areas of research include: IoT interoperability and semantic frameworks Edge computing and distributed workload management Cybersecurity for IoT and critical infrastructure Smart port logistics and real-time data analytics Cognitive services in legacy port management systems His recent work explores: Data-as-a-Product frameworks for Industry 4.0/5.0 Autonomous workload scheduling in energy-efficient edge-cloud systems Deception mechanisms for IoT security Self-* capabilities in cloud-edge nodes Palau has collaborated extensively with institutions like Universitat Politècnica de València and international partners in projects funded by EU initiatives. His research addresses practical challenges in industrial IoT deployments, smart city infrastructure, and emergency management systems.

Christian Krupitzerمشاهده پروفایل

استاد

• Food Informatics
• Self-adaptive Software Systems
• Machine Learning
• +۴ مورد دیگر

Jun.-Prof. Dr. Christian Krupitzer is a Tenure Track Professor in Food Informatics at the University of Hohenheim's Institute of Food Science and Biotechnology, part of the Faculty of Natural Sciences. He leads the Department of Food Informatics and is a member of the Computational Science Hub (CSH). His research focuses on self-adaptive software systems, machine learning (especially edge computing), IoT technologies, and software engineering applied to food processing and agricultural systems. Education: PhD in Business Information Systems (Dr. rer. pol.), University of Mannheim (2018) M.Sc. and B.Sc. in Business Information Systems, University of Mannheim (2010–2012) High School Diploma (Abitur) from Wilhelmi-Gymnasium Sinsheim (2007) Research Interests: Krupitzer’s work integrates computational methods with food science, emphasizing adaptive systems for food quality monitoring, IoT in agriculture, and machine learning for predictive analytics. He explores edge computing’s role in real-time decision-making and secure group communication schemes for IoT networks. Publications: His recent work spans predictive maintenance in Industry 4.0, digital twins in food systems, and blockchain applications in supply chain authentication. The articles highlight trends in interdisciplinary approaches combining AI, IoT, and domain-specific challenges in food production and logistics. Awards: No scientific awards explicitly listed in the provided materials. Grants & Advising: While specific grants are unmentioned, his roles as department head and tenure-track professor suggest involvement in research funding. No formal advisee list provided, though his team includes postgraduate researchers like Dana Jox, Daniel Einsiedel, and others. Labs & Teams: Leads the Food Informatics department and collaborates with the Computational Science Hub. His team focuses on developing innovative solutions for food systems through computational methods.

Oya Beyanمشاهده پروفایل

استاد

• Biomedical Informatics
• Semantic Web Technologies
• Clinical Decision Support
• +۵ مورد دیگر

Prof. Dr. Oya Beyan is a Professor at the University of Cologne's Institute for Biomedical Informatics and a Core Scientist at the Center for Data and Simulation Science. Her research focuses on enabling FAIR (Findable, Accessible, Interoperable, Reusable) data management, distributed analytics on sensitive medical data, and data-driven innovations in healthcare. She leads projects like the PADME platform for federated machine learning and privacy-preserving analytics. Key areas include biomedical informatics, semantic web technologies, clinical decision support systems, and ethical challenges in data science. Research Interests: FAIR Data Principles & Infrastructure Privacy-Preserving Distributed Learning Explainable AI in Healthcare Semantic Interoperability Medical Data Integration Ethical & Social Implications of Data Use Notable Contributions: Development of the Personal Health Train framework for decentralized medical data analysis Leadership in EU-funded initiatives like NFDI4Health and Medical Informatics Collaborations Pioneering work on federated learning applications in oncology and rare disease research Lab & Affiliations: Prof. Beyan's work is anchored in the Institute for Biomedical Informatics and the Center for Data and Simulation Science, fostering interdisciplinary collaboration between computational science and medical research.

Moritz Petersenمشاهده پروفایل

دانشیار

• Sustainable Supply Chain Management
• Circular Economy
• Decarbonization
• +۳ مورد دیگر

Prof. Dr. Moritz Petersen is an Associate Professor of Sustainable Supply Chain Practice and Co-Director of the Center for Sustainable Logistics and Supply Chains (CSLS) at Kühne Logistics University (KLU) in Hamburg, Germany. His academic career began at Hamburg University of Technology, where he completed his doctoral studies in 2017 under Prof. Dr. Wolfgang Kersten, and he has been at KLU since 2016. Research Focus: Decarbonization of logistics, Circular Economy, Blockchain applications in supply chains, and sustainable product development Teaching: Courses on Supply Chain Sustainability, Circular Product Development, and Lean Logistics Operations across KLU’s Bachelor to MBA programs Outreach: Co-hosts the podcast “Das Gleiche in Grün?!”, collaborates on educational children’s books about logistics, and frequently speaks at industry events like the Deutscher Logistik-Kongress Research Trends from his 15 most recent articles center on: Blockchain technology’s role in sustainable logistics Decarbonization strategies across maritime and road freight Circular economy implementation through product design and waste stream analysis Behavioral and organizational barriers to sustainability Public-private partnerships in European logistics Information sharing as a CE enabler Scientific Awards: 2020 Best Paper Award, International Journal of Operations & Production Management (IJOPM) Research Projects include: CREAToR: EU Horizon 2020 project on polymer recycling GATE: German Ministry of Economy-funded GHG emissions data exchange HANSEBLOC: Blockchain applications in logistics ChainLog: Blockchain use cases Development of Logistics Competence Assessment Toolkit

Mawuli Kouami Segnonمشاهده پروفایل

پژوهشگر

• Econometrics
• Time Series Analysis
• Financial Forecasting
• +۵ مورد دیگر

Dr. Mawuli Kouami Segnon is a researcher at the Chair of Empirical Economics, School of Business and Economics, University of Münster. His work focuses on econometric modeling, financial time series analysis, and volatility forecasting across various domains including cryptocurrencies, energy markets, and macroeconomic indicators. Research interests include: Development of advanced volatility models (GARCH, multifractal, regime-switching) Applications to financial markets, energy economics, and macroeconomic policy High-frequency data analysis and mixed-frequency forecasting Count data modeling with conditional heteroscedasticity Portfolio risk management using copula and multifractal approaches Recent publications demonstrate expertise in: Geopolitical risk impacts on stock volatility Comparative analysis of realized variance measures Inflation uncertainty modeling in G7 countries Electricity price volatility in Australian markets Bitcoin market forecasting Historical economic data analysis Current projects (since 2020) involve: Innovative economic/financial time series forecasting Financial market volatility modeling Applications of multifractal structures in econometrics

Shuvendu K. Lahiriمشاهده پروفایل

پژوهشگر

• Formal Verification
• Smart Contracts
• Program Synthesis
• +۵ مورد دیگر

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.