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

Elvira Albertمشاهده پروفایل

استاد

• Program Verification
• Program Optimization
• Blockchain
• +۷ مورد دیگر

Elvira Albert is a Professor in the Department of Computer Systems and Programming at the School of Computer Science, Complutense University of Madrid, Spain. She leads the COSTA research group, which specializes in formal methods for program optimization and verification, with a strong focus on blockchain technologies and smart contracts. She holds a Ph.D. in Computer Science. Her research encompasses program verification, static analysis, and compiler construction, particularly applied to blockchain ecosystems. The COSTA group has developed influential tools including circom (for arithmetic circuit compilation), CIVER (for circuit verification), EthIR (EVM decompiler), and superoptimizers such as GASOL and SuperStack. Recent publications (2019-2024) demonstrate her expertise in smart contract safety (e.g., SAFEVM), concurrency testing, and bytecode superoptimization using constraint solvers. Her work consistently bridges theoretical formal methods with practical tool development for the blockchain industry. Albert has secured substantial funding from the Ethereum Foundation for multiple projects (GASOL, GREEN, SOPA, FORVES series, ZK-ARCKIT, GREY). She serves as an area editor for Theory and Practice of Logic Programming (TPLP) since 2019. The COSTA group, under her leadership, maintains an active research agenda in blockchain verification, zero-knowledge proofs, and formally verified compilers. Current projects include ZK-ARCKIT for arithmetic circuit analysis and FORYU for formal semantics of Yul.

Sidi Mohamed Beillahiمشاهده پروفایل

مدرس

• Formal Verification
• Programming Languages
• Smart Contracts
• +۴ مورد دیگر

Sidi Mohamed Beillahi is a Lecturer in the Department of Computer Science at the University of Toronto's Faculty of Arts and Science. He teaches courses including Principles of Programming Languages (CSC324H1S) and Algorithms and Data Structures (ECE345H1F). Previously, he served as a Teaching Assistant at both University of Paris and Concordia University for courses ranging from Automata Theory to Hardware Functional Verification. Dr. Beillahi's research focuses on developing formal verification and programming languages techniques to ensure the correctness of software systems, particularly distributed systems, concurrent programs, blockchain, and smart contracts. His work bridges theoretical computer science with practical security applications in decentralized finance. His publication record shows a clear progression from quantum circuit verification during his Master's to blockchain and smart contract security in his doctoral and postdoctoral work. Recent publications demonstrate expertise in authenticated data structures for blockchain storage, flash loan attack analysis, and formal verification of decentralized applications. Scientific Awards: ACM SIGSOFT Distinguished Paper Award (ICSE '24) ICBC Distinguished Paper Award (ICBC '22) Dr. Beillahi has advised multiple research projects in blockchain security and verification, often collaborating with Professor Fan Long and Professor Andreas Veneris at the University of Toronto. His research has been supported by prestigious fellowships including an NSERC Postdoctoral Fellowship and a Mitacs Accelerate Fellowship.

Chandrakana Nandiمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Equality Saturation
• +۵ مورد دیگر

Chandrakana Nandi is the Director of US R&D at Certora and an affiliate assistant professor in the Department of Computer Science & Engineering at the University of Washington's College of Engineering. She completed her PhD at the University of Washington working with Zachary Tatlock and Dan Grossman in the PLSE research group. Her research focuses on building tools for scaling automated formal verification to real-world programs, particularly for DeFi applications. She works extensively with equality saturation techniques (egg project) and has made significant contributions to computational fabrication through projects like Carpentry Compiler, Szalinski, and LambdaCAD. Her work bridges programming languages, compilers, and digital fabrication, creating novel tools that transform how we design and manufacture physical objects. Nandi's publication record shows a strong trajectory in programming language techniques applied to verification and fabrication. Her work on equality saturation has become foundational in the field, with the egg library enabling state-of-the-art results in compiler optimization and program synthesis. Recent work has expanded into formal verification of smart contracts, demonstrating the versatility of her research approach across different domains. Distinguished Paper Award at OOPSLA 2021 Sigplan Research Highlight for POPL 2021 As Director of US R&D at Certora, she leads research efforts on verification tools for languages like WASM and techniques to help users write formal specifications more easily using mutation testing. She has served in numerous organizational roles for major programming languages conferences including as Workshops Co-Chair for ICFP 2025 and Committee Member for PLDI Review Committee. Nandi has established herself as a leader in the intersection of programming languages and computational fabrication, with her work on equality saturation becoming particularly influential across multiple subfields of programming languages research.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods
• +۳ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

Ilya Sergeyمشاهده پروفایل

دانشیار

• Programming Languages
• Concurrency
• Type Theory
• +۷ مورد دیگر

Ilya Sergey is an Associate Professor at the National University of Singapore (NUS) School of Computing, with previous faculty appointments at University College London (2015-2018). His academic career spans multiple prestigious institutions including IMDEA Software Institute (postdoctoral position) and KU Leuven (PhD). His educational background includes a PhD in Computer Science from KU Leuven (2012), an MSc in Mathematics and Computer Science from Saint Petersburg State University (2008), and professional experience as a software engineer at JetBrains prior to academia. Sergey's research focuses on the intersection of programming language theory and practical software verification, with particular emphasis on concurrent systems , smart contracts , and program synthesis . His work bridges theoretical foundations in type theory and separation logic with practical applications in blockchain technology and Rust programming. He has developed novel techniques for verifying heap-manipulating programs, analyzing commutativity in distributed transactions, and synthesizing correct-by-construction code. Analysis of his recent publications reveals a clear trajectory toward practical verification of blockchain systems and concurrent data structures, with increasing focus on Rust programming language applications. His work demonstrates consistent innovation in mechanized reasoning techniques while maintaining relevance to real-world software challenges, particularly in the domains of smart contracts and distributed systems. Sergey maintains an active research group at NUS, as evidenced by his social media references to lab traditions and student collaborations. He frequently participates in major programming languages conferences as both author and committee member, serving in leadership roles including General Chair for ICFP 2025. His research lab follows distinctive traditions, including location-based Mattermost status updates when traveling. Sergey is deeply engaged with the programming languages community through conference organization, mentoring activities, and outreach initiatives such as nature walks for conference attendees.

Theo Tryfonasمشاهده پروفایل

دانشیار

• Smart Cities
• Cybersecurity
• Systems Engineering
• +۴ مورد دیگر

Theo Tryfonas is a Reader (equivalent to Associate Professor) in Smart Cities at the University of Bristol's School of Civil, Aerospace and Design Engineering, teaching undergraduate Engineering Design and Civil Engineering programmes alongside the MSc Computer Science. His academic qualifications include: BSc in Computer Science from the University of Crete, Greece MSc in Information Systems from Athens PhD in Informatics from Athens, sponsored by Ernst & Young His research integrates systems engineering, cybersecurity, and software development to solve urban infrastructure challenges across transportation, utilities, healthcare, and government sectors. Key focus areas include smart city resilience, critical infrastructure protection, and cyber-physical system security, with practical applications in marine safety, port security, UAV protection, and public transport systems. Recent publications demonstrate a strong interdisciplinary trend, merging blockchain, quantum sensing, and AI with urban infrastructure management, particularly in transportation security, structural health monitoring, and data-driven city planning. Professional recognition includes: Fellow of the Royal Society of Arts Chartered Professional Member of the Chartered Institute for IT (MBCS CITP) Theo provides expert witness testimony and continuing professional development courses while teaching across multiple programmes. His industry background includes programming at Ulysses Systems and consultancy/auditing at Ernst & Young, though specific student advising details and grant information are not publicly documented. No dedicated research labs or specialized teams are referenced in available materials.

Istvan Davidمشاهده پروفایل

استادیار

• Digital Twins
• Model-Driven Engineering
• Sustainability
• +۷ مورد دیگر

Istvan David is an Assistant Professor of Software Engineering at McMaster University's Faculty of Engineering, Department of Computing and Software, where he leads the Sustainable Systems and Methods Lab (SSM) and works as a researcher in the McMaster Centre for Software Certification (McSCert). His work bridges the gap between model-driven engineering, digital twins, and sustainability in systems engineering. Dr. David's research interests focus on digital twins , model-driven engineering , sustainability in computing, cyber-physical systems , and collaborative modeling . His lab develops novel reinforcement learning techniques , digital twin architectures , and modeling and simulation methods with a strong emphasis on sustainability as both a system characteristic and an engineering principle. His recent publications reveal a strong trend toward integrating digital twin technology with sustainability concerns, particularly in automotive systems, smart farming, and resource-efficient software engineering. The research spans from foundational modeling techniques to applied solutions addressing the four essential sustainability dimensions of technical systems: technical (long-term usage), economic (financial viability), environmental (reduced impact), and social (elevated utility). Scientific Awards: Best Practice Paper Award at MODELS Best Paper 2024 Runner-up in the Journal of Computer Languages Dr. David actively mentors students including PhD candidate Xiaoran (Sharon) Liu, and has supervised undergraduate researchers like Adwita Kashyap and Kyanna Dagenais. He has secured multiple research grants supporting work on sustainable systems and digital twin technologies, with applications in automotive engineering, smart farming, and resource-efficient computing. His lab collaborates with industry partners and academic institutions worldwide, including VU Amsterdam and University of Montréal. The Sustainable Systems and Methods Lab focuses on the vision of 'sustainable systems by sustainable methods,' addressing the growing problem of unsustainable systems engineering practices. The lab's work on bipartite sustainability aims to both build sustainable systems and develop systems using sustainable methods.

Jingyue Liمشاهده پروفایل

استاد

• Software Engineering
• Software Security
• Software Engineering and AI
• +۲ مورد دیگر

Jingyue Li is a Professor in the Department of Computer Science at the Norwegian University of Science and Technology (NTNU), within the Faculty of Information Technology and Electrical Engineering. She earned her Ph.D. in Software Engineering from NTNU in 2006 and has extensive industrial experience including positions at IBM and DNV Research and Innovation. Her educational background includes: Ph.D. in Software Engineering from NTNU (2006) Professor Li's research spans several key areas in software engineering with a focus on both theoretical and practical applications. Her work bridges traditional software engineering practices with emerging technologies, particularly in the domain of security and blockchain systems. She has conducted extensive empirical research and applied design science methodologies to develop innovative tools and approaches. Her recent publications demonstrate a strong trend toward blockchain technologies, software security, and the intersection of AI with software engineering. The research shows increasing focus on practical applications of blockchain in decentralized autonomous organizations, consensus protocols, and security vulnerabilities in smart contracts. There's also significant work on integrating security practices into DevOps (DevSecOps) and applying machine learning techniques to software engineering problems. Professor Li has received recognition through her leadership roles in major conferences: General Chair for FSE 2025 (The ACM International Conference on Foundations of Software Engineering) Member of the EASE (International Conference on Evaluation and Assessment in Software Engineering) steering committee In terms of research leadership, Professor Li has served as Principal Investigator (PI) or Key Scientist on numerous research projects including TRACE4EU (2023-2025), PaaSforChain (2020-2023), CyberSmart (2017-2020), and several others focused on blockchain, security, and software engineering. She has also conducted research visits to institutions including University College London, University of Washington, Hiroshima University, and Peking University. Her research group appears to be actively engaged in both theoretical and applied research, with strong industry connections through projects like CyberSmart and SecureCyber that address real-world challenges in cybersecurity and smart city infrastructure.

Jukka Rantanenمشاهده پروفایل

استاد

• Process Analytical Technology (PAT)
• Pharmaceutical Manufacturing
• Solid-state Chemistry
• +۴ مورد دیگر

Jukka Rantanen serves as Professor and Head of the Department of Pharmacy within the Faculty of Health and Medical Sciences at the University of Copenhagen. Since joining the faculty in 2006 after postdoctoral training at Purdue University, he has established leadership roles including Chairman of the EUFEPS QbD and PAT Sciences Network Steering Committee and membership in the European Pharmacopoeia Commission's Process Analytical Technology Working Party. Education: Docent in Physical Pharmacy, University of Helsinki (2001) PhD in Pharmacy, University of Helsinki (2001) Research Focus: Professor Rantanen pioneers Process Analytical Technology (PAT) and innovative pharmaceutical manufacturing , with expertise spanning solid-state chemistry , crystallization science , and data-driven drug production . His work bridges additive manufacturing (3D printing of combination drugs), blockchain security for medications , and advanced granulation processes , driving industry adoption of Quality by Design principles. Research Trends: Recent publications (2023-2025) demonstrate intensified focus on computational approaches (CSD data mining for hydrate prediction), personalized medicine stability challenges, and manufacturing robustness. His team actively develops blockchain-based authentication systems while optimizing twin-screw granulation parameters for commercial-scale production. Scientific Recognition: APV Research Award for Outstanding Achievements in Pharmaceutical Sciences (2016) Academic Leadership: With supervision of 40+ PhD students and editorial roles at leading pharmaceutical journals, Rantanen shapes next-generation scientists. His research attracts significant industry funding through collaborations with 20+ international companies, particularly in solid-state chemistry consulting and litigation support. Former service on Denmark's Council for Independent Research (2013-2018) highlights policy influence. Research Infrastructure: Leads a multidisciplinary team at Copenhagen investigating real-time process monitoring, crystallization control, and 3D-printed drug products. Current projects include EUFEPS network initiatives advancing PAT implementation across European pharmaceutical manufacturing facilities.

Apostolos Ampatzoglouمشاهده پروفایل

دانشیار

• Technical Debt
• Reverse Engineering
• Software Maintainability
• +۵ مورد دیگر

Apostolos Ampatzoglou serves as Associate Professor in the Department of Applied Informatics at the University of Macedonia, where he leads research in software engineering with particular emphasis on technical debt management and software quality. Previously, he held an Assistant Professor position at the University of Groningen (2013-2016) and maintains active collaborations across European research initiatives. His academic credentials include a PhD in Software Engineering from Aristotle University of Thessaloniki (2013), MSc in Computer Systems from the University of Macedonia (2005), and BSc in Informatics from the Technological Education Institute of Thessaloniki (2003). Dr. Ampatzoglou's research program centers on technical debt quantification, reverse engineering, and software maintainability. He pioneered financial models for technical debt management and developed metrics for assessing ripple effects in software systems. His work bridges theoretical foundations with industrial applications through projects like SDK4ED and SmartCLIDE, focusing on energy-efficient development and cloud service engineering. Current investigations explore machine learning applications for vulnerability prediction and technical debt prioritization. His extensive publication record reveals strong trends in applying AI to software quality assurance, with recent work emphasizing transformer models for vulnerability detection and explainable AI for technical debt identification. He actively investigates energy-aware development practices and service-oriented architecture patterns in cloud environments. Notable recognitions include: Top-7 reviewer for Journal of Systems and Software (2022) Best paper awards at IGSCC'21, ICSR'18, and EASE'17 18th most active Consolidated Researcher in Software Engineering (2013-2020) 3rd most active Early Stage Researcher (2010-2017) Multiple personal research grants from National Scholarships Association He has successfully supervised PhD candidates including Dr. Areti Ampatzoglou (Best PhD Thesis Award, University of Groningen) and Dr. Elvira-Maria Arvanitou (VERSEN Institute award). His research is funded through major European projects such as SDK4ED, SmartCLIDE, and SKILLAB, with recent grants exceeding €2M in total funding. Current work focuses on FAIR data implementation and skills gap analysis in European labor markets. As leader of the Software Engineering Lab at the University of Macedonia, he directs a 15+ member team working on technical debt management tools, cloud development environments, and XR applications for warehouse management. The lab maintains strong industry partnerships with technology clusters in Thessaloniki and participates in the Eclipse Foundation ecosystem.

• Deception detection
• Legal psychology
• Human resilience
• +۶ مورد دیگر

Bennett Kleinberg is an Associate Professor in Behavioural Data Science at the Department of Methodology and Statistics at Tilburg University (The Netherlands) and the Department of Security and Crime Science at University College London (UK). His academic journey includes a PhD from the Department of Psychology at the University of Amsterdam and a previous position at the UCL Dawes Centre for Future Crime. Professor Kleinberg's research revolves around the interplay between psychological research and computational methods to study human behaviour. His work addresses two key questions: How can computational methods enhance our understanding of the human mind and behaviour? And how can psychological research methods inform our understanding of computational model behaviour? His substantive research interests include deception detection and legal psychology, human resilience, and machine behaviour. In the Computational Psychology and Computational Methods (CPCM) Lab, his team collects data through psychological experiments and applies techniques from natural language processing, adversarial machine learning, and statistical modeling to better understand human behavior. His recent publications (2023-2025) demonstrate a strong interdisciplinary focus, spanning psychology, computer science, criminology, and AI research. Key trends include the application of computational methods to deception detection, analysis of large language models, and examination of human-AI interactions. His work often bridges theoretical psychological concepts with practical computational approaches, resulting in publications in high-impact journals across multiple disciplines. Scientific publications that use promotional language receive more citations Verbal deception detection enhanced through adversarial attacks Computational text analysis for identifying embedded lies Analysis of cognitive phenomena in large language models Applications of NLP to legal and security contexts Professor Kleinberg actively supervises students through limited positions to ensure close mentorship quality. His teaching responsibilities include the joint BSc in Data Science and the innovative MSc programme 'AI for Psychological Research.' The Computational Psychology and Computational Methods Lab offers structured pathways for PhD students, thesis projects, and research internships (minimum 6 months), with all projects required to align with the lab's core focus on computational methods to study human behavior and psychology.

Tony Wongمشاهده پروفایل

استاد

• Aeronautics and Aerospace
• Intelligent and Autonomous Systems
• Industrial Internet of Things
• +۳ مورد دیگر

Tony Wong is a Professor in the Department of Systems Engineering at École de technologie supérieure (ÉTS), specializing in aeronautics, autonomous systems, and industrial automation. He holds affiliations with three key research laboratories: the Control and Robotics Laboratory (CoRo), LARCASE (Aeronautical Research), and SYNCHROMEDIA (Multimedia Communication). His work bridges theoretical optimization and practical applications, particularly in UAV design, renewable energy, and blockchain logistics. Research interests span: Aeronautics/Aerospace : Morphing wing optimization, computational fluid dynamics, UAV performance enhancement. Intelligent Systems : Robotic automation, machine learning for predictive maintenance, low-code industrial solutions. Sustainable Technologies : Hybrid energy systems, IoT for resource optimization, edge computing deployments. Dr. Wong mentors 47+ graduate students, with recent projects including wind-tunnel validations of morphing wings, AI-driven supply chains, and solar energy forecasting. His publication record (31+ journal articles since 2021) demonstrates consistent contributions to aerodynamic design and computational intelligence. While no awards are documented, his leadership in collaborative labs underscores institutional recognition. Laboratory engagements focus on experimental validation and industrial partnerships, utilizing ÉTS facilities like the Price-Païdoussis Wind Tunnel and advanced flight simulators. Current projects prioritize sustainability, including aerodynamic drag reduction and blockchain-enabled cost optimization.

Theodosis Mourouzisمشاهده پروفایل

استادیار

• Information Security
• Cryptography
• Blockchain
• +۴ مورد دیگر

Dr Theodosis Mourouzis serves as an Assistant Professor of Information Management at the University of Nicosia and directs the MSc in Business Intelligence and Data Analytics program within the Department of Information Technologies. Academic Background: PhD in Information Security and Cryptography from University College London (UCL) MSc in Advanced Studies in Mathematics from University of Cambridge BA/MA in Mathematics from University of Cambridge Research Expertise: Dr Mourouzis specializes in information security with deep technical focus on cryptography (including symmetric/asymmetric cryptanalysis) and blockchain ecosystems . His work spans theoretical cryptanalysis of algorithms like GOST and SIMON to practical implementations such as privacy-preserving healthcare blockchain solutions. Current research emphasizes efficient blockchain design and security evaluation frameworks. Publication Trends: His 14 publications (2011-2021) reveal an evolution from foundational cryptanalysis (differential/algebraic attacks on ciphers) toward applied blockchain systems. Key thematic clusters include cryptographic security evaluation (35% of works), blockchain innovation (40%), and authentication systems (25%), demonstrating consistent technical rigor across theoretical and implementation challenges. Academic Leadership: As MSc Director, he oversees program development bridging technical cryptography research with business intelligence applications, indicating strong curriculum design capabilities and industry-academia translation focus.

• E-commerce
• Service Science
• Empirical Analysis
• +۳ مورد دیگر

Professor Zhou Yanjun is a faculty member at the Department of Management Information Systems, College of Commerce, National Chengchi University. He has been serving as a Professor since February 2024, after previously holding the positions of Associate Professor (2018-2024) and Assistant Professor (2013-2018) at the same institution. Professor Zhou received his PhD in Information Management from Arizona State University (2008-2013), a Master's degree in Information Management from Carnegie Mellon University (2006-2007), and his Bachelor's degree in Information Management from National Chengchi University (2000-2004). His research focuses on e-commerce, service science, empirical analysis, and quantitative analysis. Professor Zhou has published extensively in top-tier journals in information systems, operations management, and decision sciences. His work often bridges theoretical frameworks with practical applications in digital business environments, with particular emphasis on leveraging data analytics to solve complex business problems in retail and e-commerce contexts. Professor Zhou's research demonstrates a strong integration of machine learning techniques with traditional business theories, resulting in innovative approaches to problems such as customer retention, online review helpfulness, and resource allocation optimization. His work has significant implications for both academic theory development and practical business applications. United Microelectronics Corporation Management Science Paper Award - Honorable Mention Ministry of Education Special Outstanding Talent Award National Chengchi University Distinguished Professor Wu Ta-You Memorial Award - Ministry of Science and Technology Multiple Teaching Excellence Awards from College of Commerce Professor Zhou has successfully led multiple research projects funded by the Ministry of Science and Technology, focusing on personalized marketing optimization, data matrix simplification, and emotional arousal in online reviews. He has advised numerous graduate students and contributed to the academic community through editorial service and conference participation. Professor Zhou is actively involved in several research laboratories at National Chengchi University, including the Intelligent Financial Management and Smart Contract Laboratory, the Electronic Business and Service Science Laboratory, and the Digital Innovation Management Research Laboratory, where he applies advanced analytics to solve real-world business problems.

• Blockchain and smart contracts
• Open API technology and security
• Social big data analysis
• +۳ مورد دیگر

陳恭 is a Professor at the Department of Information Management, College of Business, National Chengchi University. With expertise spanning blockchain technology, information security, and software engineering, he has established himself as a leading academic in Taiwan's fintech research community. His work bridges theoretical computer science with practical business applications, particularly in digital finance and secure information systems. Dr. 陳恭 earned his PhD in Computer Science from Yale University (1989-1994), following Bachelor's and Master's degrees from National Taiwan University. His academic journey at National Chengchi University spans over two decades, progressing from Associate Professor to his current position as Professor, with significant administrative roles including Department Chair and Director of the Computer Center. Professor 陳恭's research primarily focuses on blockchain and smart contracts, Open API technology and security, social big data analysis, and programming languages. His work demonstrates a clear evolution from foundational programming language research to cutting-edge blockchain applications. He has made significant contributions to secure multi-party computation, aspect-oriented programming, and blockchain-based systems, with publications in top journals and conferences across computer science, public administration, and business innovation. An analysis of Professor 陳恭's recent publications (2016-2024) reveals a strong concentration on blockchain technology and its financial applications, particularly in smart contracts, consensus algorithms, and secure data dissemination. His research increasingly integrates with IoT systems and demonstrates practical applications in financial technology, showing a clear trajectory from theoretical foundations to real-world business solutions. His notable achievements include: Senior Excellent Teacher (20 years) from National Chengchi University Multiple Distinguished Professor appointments Special Outstanding Talent Award from the National Science Council Multiple Internationalization Excellent Research Awards Professor 陳恭 has secured numerous research grants from both governmental agencies like the Ministry of Science and Technology and private sector organizations including financial institutions and technology companies. His projects often focus on blockchain applications, fintech innovation, and information security, demonstrating strong industry-academia collaboration. He is actively involved in establishing National Chengchi University as a leading center for blockchain research in Taiwan, contributing to research centers focused on fintech innovation and digital transformation. His work has fostered significant collaborations between academia and industry in the rapidly evolving field of digital finance.