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

LING Sanمشاهده پروفایل

استاد

• Number Theory
• Algebraic Geometry
• Coding Theory
• +۵ مورد دیگر

Roles and Affiliations: LING San is the Deputy President and Provost at Nanyang Technological University (NTU), Singapore, and holds the President’s Chair in Mathematical Sciences within the School of Physical and Mathematical Sciences (SPMS). He is associated with the College of Science (CoS) and has been a prominent academic leader in mathematical sciences. Education: PhD in Mathematics from University of California, Berkeley (USA, 1990) MA in Mathematics from University of Cambridge (UK, 1989) BA (First Class Honours) in Mathematics from University of Cambridge (UK, 1985) Research Interests: Focuses on algebraic number theory, coding theory, cryptography, combinatorial designs, and the arithmetic of modular curves. His work bridges pure mathematics (e.g., Galois representations) with applied domains like error-correcting codes and cryptographic protocols. Professional Service: Serves on multiple international advisory boards and committees, including the International Advisory Council of Universiti Tunku Abdul Rahman (Malaysia), VinUniversity Institutional Advisory Board (Vietnam), and ACME’s Advisory Council on Community Relations (Singapore). Active in academic governance, research policy, and interdisciplinary initiatives. Key Contributions: Pioneered advancements in quasi-cyclic codes, quantum error-correcting codes, and cryptographic schemes. His research often intersects algebraic geometry and combinatorics, yielding impactful results in information theory and secure communication. Grants and Awards: While no personal awards are explicitly stated, he has contributed to major projects and chairs committees for scientific awards (e.g., President’s Science and Technology Awards).

Gilles Bartheمشاهده پروفایل

استاد پژوهشی

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

Gilles Barthe is Research Professor (part-time) at IMDEA Software Institute and Director at Max Planck Institute for Security and Privacy. His research develops programming language techniques and verification methods for security applications, particularly cryptographic implementations and differentially private computations. Research focuses on formal methods for security proofs, including relational program verification, cryptographic protocol analysis, and privacy-enhancing technologies. Key areas include automated proofs for lattice-based cryptography, secure compilation techniques, and verifying constant-time properties against side-channel vulnerabilities. Barthe leads projects on formal verification of cryptographic standards including AES-GCM and SHA-3, and develops tools like EasyCrypt for computer-aided cryptographic proofs. Recent work addresses Spectre vulnerability mitigations and quantum program verification.

Daniel Shaddockمشاهده پروفایل

استاد

• Gravitational Astrophysics
• Laser Interferometry
• Precision Measurements
• +۳ مورد دیگر

Prof. Daniel Shaddock is a Professor in Physics at the Australian National University (ANU) and leads Australia’s participation in the GRACE Follow-on mission to map Earth’s gravity. He previously served as a Director’s Fellow at NASA’s Jet Propulsion Laboratory, contributing to the Laser Interferometer Space Antenna (LISA) mission and the Advanced LIGO project, which detected gravitational waves. As Founder and CEO of Liquid Instruments, he develops high-end test and measurement tools. His research focuses on precision laser interferometry, gravitational wave detection, and space-based instrumentation. His academic contributions include advancing interferometer control systems for LISA, suppressing frequency noise in gravitational wave detectors, and developing optical phase tracking techniques. He collaborates on projects such as the ARC Centre of Excellence for Engineered Quantum Systems and the Neutron Star Extreme Matter Observatory (NEMO). His work bridges fundamental physics with applied technologies, including quantum communication and adaptive optics for space debris tracking. Key projects include the Coherent LiDAR for self-driving vehicles, Space-Based Quantum Communications with UNSW, and a Guidestar Laser for adaptive optics. His research has produced over 300 publications, emphasizing gravitational astrophysics, laser metrology, and space instrumentation. He holds patents in FPGA-based instrumentation and optical phased arrays.

Yap Rolandمشاهده پروفایل

دانشیار

• Constraint Programming
• Optimization
• Combinatorial Problems Modelling
• +۵ مورد دیگر

Yap Roland is an Associate Professor at the School of Computing, National University of Singapore (NUS), and a member of the Institute of Operations Research and Analytics (IORA). His research focuses on constraint programming and solving, optimization, combinatorial problems, vehicle routing, and big data applications. He actively contributes to advancing methodologies in computational logic, software security, and algorithm design. His work spans theoretical foundations of constraint satisfaction (CSP/SAT) and practical applications in database systems, graph neural networks, and transportation logistics. Notable contributions include benchmarking tools like OSS-Bench for coding LLMs, novel approaches to detecting logic bugs in graph databases, and enhancing security through randomized pointer techniques. His research bridges algorithmic theory and real-world challenges in AI, cybersecurity, and efficient resource allocation. Yap Roland has published extensively in top-tier venues such as the International Conference on Principles and Practice of Constraint Programming (CP) and the International Conference on Theory and Applications of Satisfiability Testing (SAT). His recent work emphasizes scalability, fairness in machine learning, and robustness against memory errors in software systems.

Jack W. Davidsonمشاهده پروفایل

استاد

• Computer Security
• Cybersecurity
• Programming Languages
• +۶ مورد دیگر

Jack W. Davidson is a Professor of Computer Science at the University of Virginia’s School of Engineering and Applied Science, where he also directs the Cyber Defense Program. He joined the faculty in 1981 after earning his Ph.D. from the University of Arizona. His research focuses on cybersecurity, compilers, programming languages, and resilient systems. He leads major grants like the DARPA-funded Double Helix project and the Air Force-funded Trusted and Resilient Mission Operation initiative. Education: Ph.D., Computer Science, University of Arizona, 1981 M.S., Southern Methodist University, 1977 B.A.S., Southern Methodist University, 1975 Research Interests: Cybersecurity and risk management Compiler design and binary analysis High-performance computing and cloud systems Secure embedded systems and resilient architectures Awards and Recognition: ACM Distinguished Service Award (2010) ACM Fellow (2008) IEEE Taylor L. Booth Education Award (2008) 2023 Outstanding Contribution to ACM Award Leadership and Grants: Davidson chairs ACM’s Digital Library Board and co-authored best-selling textbooks on programming. His grants total over $7M, including DARPA and Air Force projects. He advises the UVA Cyber Defense Team, which has won three national championships. Labs/Teams: Leads the Cyber Defense Program and collaborates on initiatives like the International Summer Schools on Information Security and Software Protection (ISSISP).

• Software Engineering
• Cybersecurity
• Static Analysis
• +۶ مورد دیگر

Rahul Gopinath is a Lecturer in the School of Computer Science at the University of Sydney. His research focuses on the intersection of Software Engineering and Cybersecurity, particularly in static and dynamic program analysis to enhance software reliability, security, and maintainability. Prior to his current role, he was a postdoctoral researcher at CISPA Helmholtz Center for Information Security in Germany and earned his Ph.D. in 2017 from Oregon State University, USA. He is a co-author of the influential textbook *Fuzzing Book*, which serves as a foundational resource for students entering the field of fuzzing. His research interests span static and dynamic analysis techniques, specification mining, fuzzing, parsing, grammar inference, mutation analysis, and automatic program repair. Rahul Gopinath’s recent work includes developing FormatFuzzer for binary file format testing, advancing input grammar mining techniques, and exploring capability-based access control systems. He actively contributes to international conferences such as ICSE, ISSTA, and FSE, and his publications address challenges in mutation analysis, test adequacy, and empirical software engineering. Current research supervision includes a project titled *Evaluating Fast Virtual Machine Implementation Techniques for Fuzzing* with student Jack LUO. His work has been recognized through collaborations and presentations at leading institutions, reflecting his commitment to advancing automated software testing and security practices.

Yuyan Baoمشاهده پروفایل

استادیار

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

Yuyan Bao is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University, affiliated with the School of Computer and Cyber Sciences. His research focuses on programming languages, formal methods, and software security, particularly in developing frameworks for program correctness and security verification. He holds a Ph.D. in Computer Science from the University of Central Florida (2017), a ME from Beihang University (2007), and a BE from Beijing University (2003). Education: Ph.D., Computer Science, University of Central Florida, 2017 ME, Computer Software Engineering, Beihang University, 2007 BE, Computer Science, Beijing University, 2003 Research interests include formal verification, higher-order functional programming, domain-specific languages, and secure multi-party computation. Recent work emphasizes reachability types for aliasing and separation tracking, and graph intermediate representations for optimization in impure languages. His projects include HACCLE for secure MPC and collaborations on cryptographic API misuse detection. His publications span formal methods, type systems, and security analysis, with a focus on practical applications of theoretical frameworks. He serves on the Faculty Search Committee and as a Journal Editor for Computer Software and Media Applications.

• Cybersecurity
• Software Security
• Formal Methods
• +۵ مورد دیگر

Mila Dalla Preda is an Associate Professor at the University of Verona's Department of Computer Science, affiliated with the College of Science and Engineering. She holds multiple institutional roles including membership in the Faculty Board of PhD in Computer Science, Computer Science Teaching Committee, and Commissione AQ Ricerca. Her work focuses on software security, code protection, and formal methods. Research interests include static program analysis, formal software security, and semantic-based obfuscation techniques. She leads projects like 'Securing sOFTWARE Platforms' (2024) and 'BinTrace: Binary Similarity Analysis' (2020). Key contributions involve malware detection, program similarity analysis, and blockchain security through tools like Ethersolve. Active in teaching, she instructs courses on Compilers, Software Security, and Data Privacy across undergraduate and graduate programs. Her lab affiliations include the SPY Laboratory (Formal Methods) and collaborates with spin-off companies like 3Dflow s.r.l. and eVS embedded Vision Systems s.r.l.

Zhiyuan Yanمشاهده پروفایل

استاد

• Coding Theory
• Wireless Communications
• VLSI Design
• +۴ مورد دیگر

Zhiyuan Yan is a Professor and Associate Chair in the Department of Electrical and Computer Engineering at Lehigh University. He holds a B.E. from Tsinghua University and M.S./Ph.D. degrees from the University of Illinois at Urbana-Champaign. His research focuses on coding theory, VLSI design, wireless communications, and embedded systems. He is a Senior Member of the IEEE and received the NSF CAREER Award in 2011. Educational Background: B.E., Electrical Engineering, Tsinghua University M.S., Electrical Engineering, University of Illinois at Urbana-Champaign Ph.D., Electrical Engineering, University of Illinois at Urbana-Champaign Research Interests: His work spans coding theory (including polar codes and LDPC codes), VLSI implementations for communication systems, and cybersecurity through physical unclonable functions (PUF). He explores neuromorphic computing, memristive neural networks, and hardware-efficient error correction techniques. His contributions include efficient decoder architectures and distributed storage solutions. Scientific Awards: 2011: NSF CAREER Award Advising & Grants: While specific student names aren't listed, his research has been supported by multiple grants. His lab focuses on collaborative projects between academia and industry, emphasizing practical implementations of theoretical advancements. Lab & Teams: His research team develops cutting-edge VLSI systems, neural network accelerators, and secure communication protocols. Collaborations include work on memristive hardware and neuromorphic computing architectures.

Volker Skwarekمشاهده پروفایل

استاد

• Cybersecurity
• Distributed Systems Security
• IoT and Sensor Networks
• +۳ مورد دیگر

Prof. Volker Skwarek is a Professor for Technical Informatics at the Department of Industrial Engineering and Management, Hamburg University of Applied Sciences. He leads the research group DLT³-Hamburg and heads the research and transfer center for digital business processes. His work focuses on cybersecurity in distributed systems, IoT security, and blockchain applications in industrial environments. He has held leadership roles including Deputy Head of the Department HWI and coordinates the graduate focus area 'Information Science'. Research interests include ultra-low-power IoT systems, self-sovereign identity frameworks, and secure blockchain-sensor integrations. Prof. Skwarek has authored over 30 peer-reviewed articles, 2 books, and multiple patents. He actively contributes to international standardization of blockchain technologies and serves on editorial boards for distributed ledger journals. His projects span smart grid security, decentralized energy trading systems, and forensic blockchain analysis. Notable projects include WaterGridSense 4.0 (smart grid resilience), LegalBlock (legal frameworks for smart contracts), and TrustedCamApp (secure video streaming in sensor networks). He emphasizes practical applications alongside theoretical advancements, collaborating closely with industry partners to address real-world challenges in digital security and automation. Prof. Skwarek holds national/international awards for research and education innovation. His teaching includes courses on technical informatics, programming in C, and cybersecurity fundamentals. He advocates for continuous professional development through academic-industry partnerships and standardization initiatives.

• Hardware Design for Network Devices
• Fault Tolerance
• Error Correction Codes
• +۳ مورد دیگر

Salvatore Pontarelli is a Researcher at CNIT (Italian National Inter-University Consortium for Telecommunications), affiliated with the University of Rome Tor Vergata. He holds a Master's in Electronic Engineering from the University of Bologna (2000) and a PhD in Microelectronics and Telecommunications from the University of Rome Tor Vergata (2003). His work focuses on hardware design for network devices, fault tolerance, error correction codes, and high-speed packet processing. He contributed to EU-funded projects and received a CISCO Research Award (2011) for work on Bloom filters and Ternary CAM. Research interests include hash-based structures (e.g., Bloom filters, hash tables), stateful programmable data planes, and FPGA-based network intrusion detection systems. He led the Defect and Fault Tolerance Group (DFTGroup) under Prof. Adelio Salsano and has extensive experience in collaborative projects with academic and industry partners. Publications highlight innovations in flow monitoring, data plane optimization, and efficient memory management. His work often bridges theoretical algorithms (e.g., cuckoo hashing) with practical hardware implementations, emphasizing real-world applications in networking and telecommunications.

Arne Winterhofمشاهده پروفایل

پژوهشگر

• Finite Fields
• Number Theory
• Coding Theory
• +۵ مورد دیگر

Arne Winterhof is a Senior Fellow at the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences. He holds the title of University Lecturer (Univ.-Doz.) and has extensive experience in academic leadership, including project leadership roles in multiple FWF-funded research projects. His primary affiliation is with RICAM's Applied Discrete Mathematics and Cryptography group. Winterhof earned his Diploma (summa cum laude) and PhD (summa cum laude) in Mathematics from TU Braunschweig (1994, 1996) and completed his Habilitation at the University of Vienna in 2001. He has held positions at institutions such as Temasek Laboratories (National University of Singapore) and has been a Senior Scientist and Fellow at RICAM since 2003. In 2016, he declined a Full Professorship offer at the University of Rostock. His research focuses on Finite Fields, Number Theory, Coding Theory, Cryptology, Combinatorics, and Cryptography. He has received prestigious awards, including the Edmund and Rosa Hlawka Prize (2004) and the Austrian Mathematical Society Advancement Award (2010). He serves on editorial boards for journals like Finite Fields and Their Applications and Cryptography and Communications . Winterhof has led numerous research projects, including Generalized Cyclotomic Mappings of Finite Fields (2025–2027) and On the Hierarchy of Measures of Pseudorandomness (2014–2018). His work emphasizes pseudorandom sequence design, cryptographic applications, and theoretical foundations in discrete mathematics.

• Discourse Analysis
• Gender Studies
• Applied Linguistics
• +۱۰ مورد دیگر

Eva-Maria Graf is an Associate Professor at the University of Klagenfurt, affiliated with the Institute of English and American Studies. She serves as a member of the curriculum commission for Gender Studies and contributes to research and teaching in discourse analysis, gender studies, applied linguistics, and coaching research. Institute of English and American Studies, University of Klagenfurt Curriculum Commission for Gender Studies Her research focuses on the intersection of language, communication, and professional practices, particularly in coaching and psychotherapy . She investigates how discourse structures shape power dynamics, emotional management, and change processes, with a strong emphasis on gender studies and interdisciplinary collaboration . The 15 most recent publications highlight her work on questioning sequences in coaching, discourse analysis of professional helping practices, and gendered language use. Her articles span topics from particle usage in Dutch coaching to methodological frameworks for analyzing coaching interactions, reflecting her commitment to bridging linguistics, psychology, and organizational studies . While no scientific awards are explicitly listed, her extensive publication record (35,672 entries) and involvement in multiple research projects (e.g., Erasmus+ education initiatives, FWF-funded studies) underscore her academic impact. She supervises doctoral research and contributes to knowledge transfer through workshops and collaborative projects.

Morgan Fouesneauمشاهده پروفایل

پژوهشگر

• Astrophysics
• Data Science
• Machine Learning
• +۶ مورد دیگر

Morgan Fouesneau is an Astrophysicist and Senior Data Scientist at the Max Planck Institute for Astronomy (MPIA), holding a tenure position since 2021. He leads the Astronomy Data Science Department, focusing on advancing data-driven approaches in astrophysics. His roles include supporting cutting-edge research, developing foundational coding skills, and fostering collaborations in data science. Education: PhD in Astrophysics, University of Strasbourg (2010) Master's in Astrophysics, University of Strasbourg (2007) Engineer degree in Fundamental Physics, Télécom Physique Strasbourg (2007) Research Interests: Fouesneau's work bridges astrophysics and data science, emphasizing large-scale data analysis (terabyte datasets), machine learning applications, and probabilistic modeling. Key areas include star formation in galaxies, Galactic structure, and cosmological context through chemical patterns. He contributes to major projects like Gaia and 4MOST, leading software development and parameter estimation. Recent Projects: Validation of Gaia astrophysical parameters (CU8 team) 4MOST classification pipeline development (4CP) Bayesian Extinction and Stellar Tool (BEAST) Labs/Teams: Part of the Data Science Group at MPIA, contributing to interdisciplinary collaborations in nuclear physics, solar weather, and organic solar cell modeling.

David W. Hoggمشاهده پروفایل

استاد

• Observational Cosmology
• Galaxy Kinematics
• Exoplanet Detection
• +۲ مورد دیگر

David W. Hogg is Professor of Physics and Data Science at New York University's Center for Cosmology and Particle Physics, with joint appointments at the Flatiron Institute's Center for Computational Astrophysics and the Max-Planck-Institut für Astronomie. His research focuses on observational cosmology, galactic astronomy, and exoplanet discovery, emphasizing the development of engineering systems for large-scale astrophysical projects. Hogg's research bridges cosmology, galactic dynamics, and exoplanet science. He develops novel data analysis methods for astronomical datasets and pioneers citizen science initiatives like Astrometry.net to incorporate amateur astronomy data into scientific research. His work emphasizes open science practices, making algorithms, code, and research diaries publicly accessible. Recent publications demonstrate his work on exoplanet detection in binary systems and computational methods for spectral data processing. His research consistently addresses fundamental astrophysical questions through innovative computational approaches. Hogg actively mentors graduate students and postdoctoral researchers in astrophysics and data science. He leads research groups exploring machine learning applications in astronomy and maintains collaborations with international institutions including the Max Planck Society.