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

François Pottierمشاهده پروفایل

پژوهشگر

• programming languages
• functional programming
• type systems
• +۵ مورد دیگر

François Pottier is a senior researcher at Inria in Paris, France, where he leads the Cambium research team. He is affiliated with the Gallium research group and has maintained an active research profile spanning several decades in programming languages and formal methods. His research focuses on programming languages , particularly functional programming and OCaml, type systems design and implementation, program verification using separation logic, and compiler construction . His work bridges theoretical foundations with practical implementation, evidenced by numerous open-source software tools he has developed. Pottier's publication record shows consistent contributions to top programming languages conferences (POPL, ICFP, ESOP) with recent work emphasizing separation logic frameworks, resource analysis, and formal verification of OCaml systems. His research demonstrates a clear trajectory from foundational type theory toward practical verification techniques for real-world programming languages. He has advised numerous PhD students including Remy Seassau, Tiago Soares, Clément Allain, and Alexandre Moine, among others, many of whom have gone on to research positions at institutions like New York University, Imperial College London, and Inria itself. Pottier maintains active service roles in the programming languages community as a member of IFIP Working Group 2.8 on Functional Programming and IFIP Working Group 2.16 on Language Design, and serves on program committees for major conferences including upcoming roles for JFLA 2026 and ITP 2026. He leads the Cambium research team at Inria, which focuses on programming language theory and implementation, particularly around OCaml and formal verification. The team develops both theoretical frameworks and practical tools that have influenced the broader programming languages ecosystem.

Ayana T. Arceمشاهده پروفایل

دانشیار

• Particle Physics
• High Energy Physics
• Collider Physics
• +۵ مورد دیگر

Ayana T. Arce serves as Associate Professor of Physics within the Department of Physics at Duke University's Trinity College of Arts & Sciences, a position she has held since 2016 after advancing from Assistant Professor (2010-2016). Her research centers on experimental particle physics using the ATLAS detector at CERN's Large Hadron Collider, focusing on phenomena beyond the Standard Model including Higgs boson properties and jet substructure analysis. Education: Ph.D. in Physics, Harvard University (2006) B.S. in Physics, Princeton University (1998) Research Focus: Dr. Arce's work bridges theoretical predictions and experimental verification through precision measurements of proton-proton collisions. Her expertise spans trigger system development, heavy resonance searches, and calibration of large-radius jets—critical for identifying new physics signatures. She actively contributes to advancing analysis techniques for boosted objects and diboson resonances. Publication Trends: Her 15-year publication record (2008-2024) demonstrates consistent leadership in ATLAS collaboration efforts, evolving from foundational detector studies to cutting-edge Run 3 trigger systems. Recent work emphasizes real-time data processing for high-luminosity operations while maintaining rigorous statistical validation of Standard Model predictions. Grant Funding: Secured major support including: National Science Foundation REU Sites (2022-2027, 2018-2022, 2015-2019, 2009-2015) for undergraduate nuclear physics research Department of Energy grant (2013-2025) for High Energy Physics at Duke Brookhaven National Laboratory project (2024-2025) for ITK Module Assembly Collaborations: As a core ATLAS collaboration member at CERN, she participates in international data analysis working groups and contributes to detector upgrade projects for future LHC runs. Her external relationship with CERN is formally documented through Duke University's conflict of interest management system.

Andreas Abelمشاهده پروفایل

مدرس ارشد

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

Andreas Abel is a Senior Lecturer at the Department of Computer Science, Gothenburg University, with a focus on Programming Languages, Logic, and Type Theory. His work includes contributions to dependently typed programming, functional programming, lambda calculus, and formal verification. Research Interests Programming Languages Logic Types Projects Principal Investigator for Modal Dependent Type Theory (Vetenskapsrådet grant 2020-2024) Editor of the Theoretical Pearls column in the Journal of Functional Programming Senior developer of the dependently-typed language Agda His recent publications span graded type theory, normalization by evaluation, strong normalization, and formal verification using Agda. Key collaborations include Jean-Philippe Bernardy and Thierry Coquand. Scientific Awards Vetenskapsrådet grant 2020-2024 VR Grant 2014-04864 He has supervised numerous projects, developed software tools like the Backus Naur Form Compiler (BNFC), and contributed to international conferences as a PC member and author.

• Compilers
• Computer Architecture
• High-Level Synthesis
• +۵ مورد دیگر

Scott Mahlke is a Professor and Associate Chair in the Department of Electrical Engineering and Computer Science at the University of Michigan's College of Engineering. He is affiliated with both the Advanced Computer Architecture Laboratory and the Software Systems Laboratory. Dr. Mahlke joined the University of Michigan in 2001 after completing his Ph.D. at the University of Illinois and working at HP Laboratories. Ph.D., University of Illinois Former Researcher, HP Laboratories Dr. Mahlke's research spans compilers, computer architecture, and high-level synthesis, with particular focus on overcoming challenges in performance, power consumption, and reliability for next-generation computer systems. His work integrates hardware and software co-design approaches to address fundamental limitations in modern computing platforms. His research has evolved from traditional compiler and architecture topics toward increasingly incorporating machine learning acceleration, autonomous systems, and reliability engineering. Analysis of his recent publications (2021-2025) reveals a strong trend toward hardware-software co-design for emerging workloads, particularly in autonomous systems, neural network acceleration, and reliability-aware computing. His work demonstrates consistent innovation in bridging compiler technology with architectural innovations to solve real-world performance and efficiency challenges. Dr. Mahlke has received significant recognition for his contributions to the field: National Science Foundation CAREER Award (2003) for "Compiler-Directed Synthesis of Application Specific Processors" Morris Wellman Faculty Development Assistant Professor appointment (2004) ISCA Most Influential Paper Award (2006) for the 1991 paper "IMPACT: An Architectural Framework for Multiple Instruction Issue Processors" Young Alumni Award from the University of Illinois ECE Department (2007) As an educator, Dr. Mahlke has taught core computer systems courses including EECS 370 (Introduction to Computer Organization), EECS 483 (Compiler Construction), and EECS 583 (Advanced Compilers) since joining Michigan. His teaching philosophy follows Yale Patt's 10 commandments for teaching, emphasizing understanding over memorization, genuine respect for students, and taking responsibility for course content. He has received mixed but generally positive student evaluations, with students noting both his deep subject matter expertise and areas for improvement in lecture delivery. Dr. Mahlke maintains active research leadership through his affiliations with the Advanced Computer Architecture Laboratory and Software Systems Laboratory, where his team continues to explore innovative approaches to compiler and architecture challenges in modern computing systems.

Ruozhou Yuمشاهده پروفایل

استادیار

• Computer Networks
• Distributed Systems
• Cybersecurity
• +۱۰ مورد دیگر

Ruozhou Yu is an Assistant Professor in the Department of Computer Science and a Courtesy Assistant Professor in the Department of Electrical and Computer Engineering at NC State University. His research focuses on computer networks, distributed systems, and cybersecurity , with applications to quantum networking, blockchain, IoT, cloud/edge computing, and machine learning . He earned his PhD in Computer Science from Arizona State University (2019) and his BS from Beijing University of Posts and Telecommunications (2013). Education: PhD, Computer Science, Arizona State University, 2019 BS, Computer Science, Beijing University of Posts and Telecommunications, 2013 Yu's research spans quantum internet (high-fidelity entanglement distribution, satellite-assisted quantum networks), blockchain technologies (payment channel networks, smart contracts, layer-2 security), and edge computing (resource provisioning, SLA verification, market design). He also explores machine learning in distributed systems (LLM fine-tuning on graphs) and network security (data delay attacks, Byzantine-robust federated learning). His recent publications (2024–2025) emphasize quantum networking (LACE, QuESat), edge computing SLAs (VeriEdge, WolfPack), and blockchain security (Thor, Fence). Articles like AdaOrb (PerCom 2025) and Physics-Informed Scheduling (RTAS 2025) highlight cross-domain innovations. Awards & Recognition: NSF CAREER Award (2021) IEEE TNSE Excellent Editor Award (2024) IEEE INFOCOM Distinguished TPC Member (2024, 2022, 2020) Yu supervises PhD and Master's students in quantum networking (Huayue Gu), blockchain (Xiaojian Wang), and edge computing (Zhouyu Li). He serves as Associate Editor for IEEE Transactions on Network Science and Engineering and Area Editor for Elsevier Computer Networks .

Paul Corazzaمشاهده پروفایل

استاد

• Set Theory
• Mathematical Logic
• Large Cardinals
• +۵ مورد دیگر

Dr. Paul Corazza is a Professor of Computer Science and Mathematics at Maharishi University of Management (MUM). He holds a BA from Maharishi International University, an MS and PhD from Auburn University. His research explores the intersection of foundational mathematics (set theory, large cardinals, lambda calculus) with Maharishi Vedic Science principles, particularly the dynamics of wholeness and self-referral systems. Dr. Corazza's work includes pioneering the Wholeness Axiom, which addresses large cardinal foundations through self-referential embeddings. He also contributes to software engineering, designing rules engines for industries like insurance and localization frameworks for tech companies. Education: BA: Maharishi International University MS/PhD: Auburn University Research interests span set theory's infinitary structures, algorithmic foundations rooted in self-referral principles, and applications of Vedic Science to computational models. His work bridges abstract mathematics and practical software systems, emphasizing holistic computational frameworks inspired by universal dynamics. Dr. Corazza has over 15 years of industry experience, including roles at Google and e-Trade, focusing on large-scale software engineering and rules engines. He has authored over 15 papers in mathematical logic and a textbook on logic and computability. Key Contributions: Wholeness Axiom for large cardinal foundations Fixed-point principles in lambda calculus Design of enterprise rules engines using Jess language

Kaushik Mallikمشاهده پروفایل

استادیار

• Controller Synthesis for Dynamical Systems
• Combinatorial Games on Graphs
• Algorithmic Fairness in AI
• +۴ مورد دیگر

Kaushik Mallik is an Assistant Professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods for ensuring safety and trustworthiness of AI systems, combining game theory, control theory, and machine learning. He holds a PhD in Computer Science from the Max Planck Institute for Software Systems (2022), an M.Tech in Systems and Control from IIT Roorkee (2015), and a B.Tech in Electrical Engineering from Meghnad Saha Institute of Technology (2012). His work addresses challenges in controller synthesis for cyber-physical systems, bidding games, and algorithmic fairness monitoring. Education: PhD in Computer Science, Max Planck Institute for Software Systems, Germany (2022) M.Tech in Systems and Control, IIT Roorkee (2015) B.Tech in Electrical Engineering, Meghnad Saha Institute of Technology (2012) Research Interests: Formal synthesis of safe AI systems Algorithmic fairness in decision-making algorithms Bidding games and stochastic control Symbolic control for cyber-physical systems His current projects include runtime fairness monitoring tools and theoretical advancements in auction-based scheduling algorithms. Key Achievements: Winner of the 2023 ETAPS Doctoral Dissertation Award Recipient of the DAAD IIT Master-Sandwich Programme Scholarship Lead developer of tools like Mascot-SDS and BOCoSy for symbolic control Ongoing research explores resilient abstraction-based controllers and fairness watchdog systems for AI applications.

• Systems
• Concurrency
• Memory Management
• +۵ مورد دیگر

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +۵ مورد دیگر

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

Josep Casanovasمشاهده پروفایل

استاد

• Modelling and Simulation
• Internet and Information Systems
• Urban Mobility
• +۴ مورد دیگر

Josep Casanovas is a Full Professor at the Statistics and Operations Research Department of the Technical University of Catalonia (UPC), affiliated with the Barcelona School of Informatics. He previously served as head of inLab FIB (2012-2020) and as dean (1998-2004) and vice-rector (2006-2011) of UPC, leading strategic initiatives in university governance and ICT policies. His research focuses on Modelling and Simulation , Internet and Information Systems , and Urban Mobility . He has led projects for the European Union, including C-ROADS Spain, REMEDiAL, and ECHORD++, addressing intelligent transport, software automation, and robotic innovation. Recent publications highlight his work on agent-based simulation for urban health, deep learning applications in traffic and energy savings, and wildfire management tools . He co-directs LogiSim and coordinates the Severo Ochoa Research Excellence Program at the Barcelona Supercomputing Center (BSC-CNS).

Quentin Stiévenartمشاهده پروفایل

پژوهشگر

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

Veronika Kuchtaمشاهده پروفایل

استادیار

• Post-Quantum Cryptography
• Mathematical Cryptography
• Blockchain Security
• +۳ مورد دیگر

Dr. Veronika Kuchta is an Assistant Professor at Florida Atlantic University's Department of Mathematical Sciences, specializing in post-quantum cryptography and its applications to blockchain. She holds a PhD in applied cryptography from the University of Surrey (2016) and has held roles including Honorary Research Fellow at The University of Queensland (UQ) School of Mathematics and Physics (2020–2022), Research Fellow at Monash University (2018–2020), and postdoc at Université libre de Bruxelles (2016–2018). Education: PhD in Applied Cryptography, University of Surrey, UK (2016) Diploma in Mathematics, Heidelberg University, Germany (2010) Research Interests: Her work focuses on constructing quantum-resistant cryptographic primitives, including lattice-based schemes, zero-knowledge proofs, and their integration into real-world systems like blockchain. She explores topics such as post-quantum verifiable random functions, cryptographic accelerators, and privacy-preserving authentication protocols. Key Projects: Formal Verification of Post-Quantum Cryptographic Primitives (UQ Cyber Seed Funding, 2021–2023) Algorand Centre of Excellence on Sustainability Informatics (2022–2023) Grants & Funding: Noted for contributions to blockchain security and lattice-based protocols, her work is supported by industry and institutional grants, including the Monash University Open Grant for the Algorand Centre of Excellence. Labs/Teams: Collaborates with interdisciplinary teams on cryptographic protocol design and hardware-accelerated cryptography (e.g., TPU-based cryptographic acceleration).

Stefanie Jasserمشاهده پروفایل

پژوهشگر

• Security by Design in Software Engineering
• Security in Software Architectures
• Architectural Constraints for Security and Conformance Checking
• +۳ مورد دیگر

Stefanie Jasser, MSc, is a researcher in the Software Engineering and Construction Methods (SWK) group at the University of Hamburg, Department of Informatics. Her work focuses on integrating security into software architecture design and evolution, with a particular emphasis on modeling security constraints and ensuring conformance. Her research interests include: Security by Design in Software Engineering Architectural Constraints for Security Secure Software Evolution Mitigating Code Vulnerabilities Her publications highlight trends in architectural security rules, legacy system protection, and constraint-based approaches to software development. She also contributes to teaching roles in software engineering and architecture at both University of Hamburg and NORDAKADEMIE.

Christoph Lüthمشاهده پروفایل

استاد

• Advanced Systems Engineering
• Program Correctness
• Formal Methods
• +۵ مورد دیگر

Christoph Lüth is a Professor of Computer Science at the University of Bremen and Deputy Head of the Cyber-Physical Systems research group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. He has been affiliated with DFKI since 2006 and focuses on constructing provably correct software through theoretical foundations and practical tool development. Doctorate from University of Edinburgh Habilitation from University of Bremen His research spans advanced systems engineering , formal methods , and functional programming , with applications in robotics and hardware security. Recent work emphasizes open-source chip design , post-quantum cryptography , and memory protection for RISC-V architectures . Lüth contributes to projects like PROTECT (cybersecurity resilience), EASEPROFIT (post-quantum secure protocols), DI-OCDCPro (open-source chip design education), and SIGN-HEP (hardware security modules). He has authored over eighty scientific papers. At the University of Bremen, he teaches courses on functional programming , programming languages , and formal methods .

Eugene H. Spaffordمشاهده پروفایل

استاد

• Information Security
• Cybersecurity
• Computer Forensics
• +۲ مورد دیگر

Dr. Eugene H. Spafford ("Spaf") is a Distinguished Professor in the Department of Computer Sciences at Purdue University, serving since 1987. He holds courtesy appointments in Philosophy, Communication, Electrical and Computer Engineering, Nuclear Engineering, and Political Science. As founder and Executive Director Emeritus of CERIAS and the COAST Laboratory, he has shaped information security research and education. His research centers on information security, computer crime investigation, and information ethics. Spafford's work in cybersecurity, computer forensics, and computing ethics has established him as a leading figure in the field. He emphasizes practical security solutions and ethical considerations in technology. Recent publications address cybersecurity myths, deception-based security techniques, and password security, alongside memorials for computing pioneers. This blend reflects his dual focus on advancing security research and preserving the field's history. Spafford has advised numerous graduate students and secured significant funding for CERIAS, fostering interdisciplinary collaboration. He currently serves as Editor-in-Chief of Computers & Security and on the board of the Computing Research Association. Leading CERIAS, Spafford built one of the world's premier academic centers for information assurance, integrating expertise from computer science, engineering, and social sciences to address complex security challenges.