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

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.

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

دانشیار

• Molecular Programming
• Synthetic Biology
• Nanotechnology
• +۵ مورد دیگر

David Soloveichik is an Associate Professor holding the Temple Foundation Endowed Faculty Fellowship No.4 in the Chandra Family Department of Electrical & Computer Engineering at The University of Texas at Austin. He leads the Solo-Group and is affiliated with the Center for Advanced Research in Software Engineering (ARISE). He earned undergraduate and Masters degrees in Computer Science from Harvard University and a PhD in Computation and Neural Systems from Caltech, where his dissertation received the Milton and Francis Clauser Doctoral Prize. His research pioneers Molecular Programming —engineering molecular systems from first principles for synthetic biology and nanotechnology—while exploring theoretical connections between distributed computing and molecular information processing. He develops chemical kinetics-based programming languages using DNA hybridization and investigates unconventional computing models including analog, reversible, and quantum systems. Dr. Soloveichik’s major awards include: Feynman Prize in Nanotechnology (Theory) (2012) Tulip Award (2014) NSF CAREER Award (2016) Sloan Research Fellowship (2020) Schmidt Sciences Polymath Award (2023) He actively recruits graduate students and postdocs for interdisciplinary projects spanning RNA bioinformatics, DNA nanotechnology, and quantum computation. His group recently welcomed new members Tony and Hamidreza (Spring 2024) and he co-chairs the 2024 DOE/ASCR Workshop on Analog Computing for Science.

• Semantics of Programming Languages
• Lambda Calculus, Types, Proofs and Categorical Logic
• Game Semantics for Proofs and Computation
• +۲ مورد دیگر

Hanno Nickau serves as a Lecturer in the Department of Computer Science at the University of Oxford, a position he has held continuously since 2000 after joining Oxford in 1997 for an EPSRC-funded research project on Game Semantics. His academic foundation includes a Diplom in Mathematics and the first state examination for teachers (1. Staatsexamen) in Mathematics and Physics from the University of Freiburg im Breisgau, Germany, followed by a doctorate (Dr. rer. nat.) from the University of Siegen in 1996 under Prof. Dr. Dieter Spreen. Nickau's research explores foundational aspects of computation through multiple interconnected lenses: Semantics of Programming Languages Lambda Calculus, Types, Proofs and Categorical Logic Game Semantics for Proofs and Computation Computability and Complexity Theory Verification of Security Protocols His current work focuses on quantum programming languages within Oxford's Department of Computer Science, building on decades of theoretical contributions to formal methods and computational logic.

Jeffrey Grahamمشاهده پروفایل

دانشیار

• Applied Mathematics
• Computational Mathematics
• Numerical Analysis
• +۶ مورد دیگر

Jeffrey Graham is an Associate Professor in the School of Math and Computer Sciences at Susquehanna University, where he has served as Head of Mathematical Sciences since 2007. He previously held roles as Acting Head of Physics (2009–2014) and Assistant Professor (2001–2007), with earlier experience at Western Carolina University (1992–2001). PhD in Mathematics (1992), Rensselaer Polytechnic Institute MS in Mathematics (1986), Texas Tech University BS in Computer Science and Mathematics (1984), Iowa State University His research bridges mathematics and computer science, focusing on inverse problems, differential equations, and computational methods. He has pioneered educational technologies, including MATLAB GUIs and Excel-based tools, and explored intersections with music theory via group theory applications. Jeffrey’s recent publications span quantum computing (2010), financial mathematics (2014), and leadership strategies (2011), reflecting his interdisciplinary approach. His work emphasizes pedagogical innovation and computational modeling across fields. Jeffrey has secured multiple grants, including NSF travel funding (1993), Microsoft instructional lab support (1997), and NSF REU grants (2008–2010). He has served on editorial boards, curriculum committees, and search committees, demonstrating institutional leadership.

Myra Cohenمشاهده پروفایل

استاد

• Software Testing
• Configurable Software
• Search-based Software Engineering
• +۳ مورد دیگر

Myra Cohen is a Professor and the Lanh and Oanh Nguyen Chair in Software Engineering in the Department of Computer Science at Iowa State University. Previously, she held the position of Susan J. Rosowski Professor at the University of Nebraska-Lincoln where she was a member of the ESQuaReD software engineering research group. She serves on the ASE Steering Committee and has held leadership roles including general chair of ASE 2015 and program co-chair for ICST 2019 and ESEC/FSE 2020. Dr. Cohen earned her Ph.D. from the University of Auckland, New Zealand, her M.S. from the University of Vermont, and her B.S. from the School of Agriculture and Life Sciences at Cornell University. Her academic journey includes lecturing positions at both the University of Auckland and University of Vermont during her graduate studies. Her research spans several interconnected domains focused on software quality and assurance. A significant portion of her work addresses software testing challenges in highly-configurable systems, where she applies search-based techniques and combinatorial designs to create efficient test suites. More recently, her research has expanded into innovative areas including software testing for biological systems, quantum computing applications, and security testing through genetic improvement techniques. Her work demonstrates a consistent theme of addressing complex verification challenges through creative application of formal methods and automated techniques. Analysis of her recent publications reveals a growing focus on emerging domains including quantum software testing, molecular/biological computing systems, and assurance cases for safety-critical systems. She has increasingly incorporated AI techniques, particularly large language models, into traditional software engineering problems while maintaining her foundational work in configurable systems and metamorphic testing. NSF CAREER award recipient AFOSR Young Investigator Award recipient ACM Distinguished Scientist Recipient of 4 ACM Distinguished Paper awards Dr. Cohen has served as chair and committee member for numerous conferences including ASE, ICSE, ISSTA, ESEC/FSE, and ICST. She has mentored numerous students through the doctoral symposiums and student research competitions at major software engineering conferences. Her research has been supported by significant grants including those from NSF and AFOSR. She leads the LaVA-OPs (Laboratory for Variability-Aware Assurance and Testing of Organic Programs) research group at Iowa State University, which focuses on testing challenges in biological and organic computing systems.

• Cybersecurity and Privacy
• Artificial Intelligence
• Distributed Computing
• +۶ مورد دیگر

Dr. Keshav Sood is a Senior Lecturer at Deakin University's School of Information Technology, where he leads research in cybersecurity, AI, and next-generation networks. His affiliations include roles as Graduate Research Coordinator and South Asia Country Coordinator. He completed his PhD at Deakin University and a post-doctoral fellowship at the University of Newcastle. Research Interests: Dr. Sood focuses on securing distributed systems, with emphasis on: Federated learning for intrusion detection in IoT/5G networks Biometric privacy in immersive technologies (VR/AR) RF fingerprinting for IoT device authentication Quantum-resistant software-defined networks Adversarial robustness in voice authentication systems His publications consistently explore AI-driven security frameworks, with recent work addressing data sparsity in IoT sensors, cross-domain IIoT authentication, and phishing mitigation using large language models. Awards: Professor of IT Award (2016) IEEE TNSE Excellent Reviewer (2023) Deakin HDR Supervision Award (2023) Course Team Award for Industry Certification Alignment (2021) Supervision & Grants: Dr. Sood currently advises 8 graduate researchers and has secured $655,313 in competitive funding. Key projects include: Smart Farming Cyber Resilience (DFAT Maitri Grant) Secure Access for Critical Infrastructure (Cyber CRC) IoT Data Integrity for Defense Systems (Australian Defence) He leads the Deakin Cyber Research and Innovation Centre, focusing on scalable security solutions for industry partners.

• Concurrency Programming
• Quantum Computing
• Database Systems
• +۵ مورد دیگر

Bartosz Zieliński is a Lecturer in the Department of Computer Science within the Faculty of Physics and Applied Computer Science at the University of Lodz. His academic work spans multiple disciplines including quantum computing, database systems, concurrency programming, and formal methods. He maintains an active research profile with numerous publications in prestigious journals and conferences. His research interests focus on the intersection of theoretical computer science and practical applications. Zieliński has made significant contributions to quantum geometry, particularly in noncommutative geometry and quantum spheres, while also exploring database theory through allegories and formal concept analysis. His work on concurrency programming, especially in Python, demonstrates practical applications of theoretical concepts in modern software development. Analysis of his publications reveals a strong pattern of interdisciplinary research connecting mathematics with computer science. His early work focused on quantum computing and noncommutative geometry, while more recent publications emphasize database systems, access control mechanisms, and programming language theory. This evolution shows a trajectory from pure mathematical research toward more applied computer science topics with practical security and database implications. Zieliński actively contributes to the academic community through publications in journals such as Journal of Noncommutative Geometry, Axioms, and various conference proceedings. His blog demonstrates engagement with practical programming topics, particularly concurrency in Python and Windows systems programming. As a faculty member, Zieliński teaches in the Department of Computer Science, with documented office hours on Tuesdays from 12:00-14:00. His technical blog showcases expertise in Python concurrency, Windows systems programming, and PowerShell scripting, indicating a strong practical component to his teaching approach alongside his theoretical research.

• ontology
• formal ontology
• topological ontology
• +۴ مورد دیگر

Dr. hab. Janusz Kaczmarek serves as an Associate Professor in the Department of Logic and Methodology of Sciences within the Faculty of Philosophy and History at the University of Lodz. His academic work spans ontology, logic, and philosophical anthropology, where he contributes to both theoretical frameworks and practical applications in these interconnected fields. His research focuses on formal ontology (particularly topological ontology), examining Wittgensteinian ontology of logical atomism, various forms of atomism and substantialism, category theories, and property theories. In logic , he explores theories of judgment in the logical sense, modal and temporal logics in ontological versions. His work in philosophical anthropology centers on essential and existential views of the human being, the problem of will, cognition structures, ethical problems, and ontic foundations of philosophical anthropology. His 15 most recent publications reveal a consistent focus on topological structures in formal ontology, Wittgensteinian frameworks, modal logic applications, and anthropological foundations. The research demonstrates interdisciplinary connections between mathematical logic, metaphysical structures, and humanistic inquiry, with particular emphasis on how formal systems can illuminate philosophical questions about being, knowledge, and human existence. Dr. Kaczmarek actively contributes to academic life through teaching ontology, philosophy (for PhD students), cognitive science, analytical philosophy, philosophical anthropology, and logic to students across all degree levels including ERASMUS participants. He co-organizes significant academic events including the Non-Classical Logics conferences, World Logic Day celebrations, and Ontological Workshops. Currently, he leads two major research initiatives: 'Atom. Substance. System. Research in topological ontology' funded by the National Science Center (NCN), and 'Non-Classical Logics. Theory and Applications' within the ministerial 'Excellent Science' program. His office is located in room 304 at William H. Lindleya 3 in Łódź, with regular office hours on Wednesdays.

Michael Pradelمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Bug Detection
• +۵ مورد دیگر

Michael Pradel is a full professor in the Computer Science Department at the University of Stuttgart and faculty member at CISPA Helmholtz Center for Information Security (effective September 2025), where he leads the Software Lab. He is also affiliated with the International Max Planck Research School for Intelligent Systems and the Stuttgart ELLIS Unit, reflecting his interdisciplinary research approach. His research interests focus on software engineering, particularly program analysis, bug detection, and the application of machine learning to developer tools. Pradel's recent work increasingly explores LLM-based approaches for program repair, code analysis, and automated software development, as evidenced by projects like RepairAgent and ExecutionAgent. Pradel's publication record shows a clear trend toward integrating AI techniques with traditional software engineering methods, with recent papers focusing on LLM applications for program repair, change validation, and quantum software analysis. His work bridges theoretical foundations with practical tool development, as seen in frameworks like DyLin for Python analysis and LintQ for quantum programs. Ernst-Denert Software Engineering Award Emmy Noether grant (1.3 million Euro) by the DFG ERC Starting Grant (1.5 million Euro) Multiple ACM SIGSOFT Distinguished Paper Awards ACM Distinguished Member recognition Pradel actively mentors PhD students, with recent graduates including Matteo (specializing in quantum software) and Luca (focusing on software evolution). His group has received significant funding and maintains strong industry connections, including past sabbaticals at Facebook. He serves in leadership roles for major conferences, including PC co-chair for FSE 2027, demonstrating his standing in the software engineering community. The Software Lab maintains active collaborations with institutions worldwide, including CMU, Google, KAIST, and several European universities.

Federico Olimpieriمشاهده پروفایل

استادیار

• Type Theory
• Linear Logic
• Lambda Calculus
• +۳ مورد دیگر

Federico Olimpieri serves as Junior Professor of Computer Science at Aix-Marseille University, affiliated with the Laboratoire d'Informatique et Systèmes (LIS). His research bridges theoretical computer science, mathematical logic, and category theory through the lens of the Curry-Howard-Lambek correspondence. His research program focuses on linear logic, lambda calculus, category theory, semantics of programming languages, and type theory . Olimpieri investigates how categorical structures model computational phenomena, with particular emphasis on denotational semantics and proof-theoretic foundations. His work connects abstract mathematical frameworks to practical programming language design. Recent publications (2021-2025) reveal a clear trajectory: evolving from foundational work on intersection types and Taylor expansions toward advanced applications in linear logic, multicategorical structures, and quantum software semantics. His output demonstrates consistent contributions to top venues including LICS, CSL, and POPL, with growing emphasis on categorical methods for concurrency and quantum computation. Olimpieri actively participates in significant research projects including EPIQ (Quantum Software) at LIS, following prior engagements at the University of Leeds and LIPN. He teaches core computer science curriculum from bachelor to master's levels and supervises undergraduate research projects. Based at LIS in Marseille, his work contributes to France's theoretical computer science community through international collaborations spanning Italy, the UK, and multiple French institutions. His research lab focuses on developing mathematical foundations for next-generation programming paradigms.

Fedor Aleksandrovich Buzaevمشاهده پروفایل

مدرس

• Physics-informed neural networks
• Computer Vision
• Machine Learning
• +۳ مورد دیگر

Fedor Aleksandrovich Buzaev is a Lecturer and Junior Research Fellow at the Faculty of Computer Science of the National Research University Higher School of Economics (HSE), where he also serves as a postgraduate student in his second year of study. He began his work at HSE in 2024 and is affiliated with both the Institute of Artificial Intelligence and Digital Sciences and the Department of Big Data and Information Retrieval. His educational background includes a Master's degree in Applied Mathematics and Computer Science from HSE (2023) and a Bachelor's degree in Electric Power Engineering and Electrical Engineering from MPEI (2020). Buzaev's research focuses on the intersection of physics and machine learning, particularly in developing physics-informed neural networks for solving complex scientific problems. His work spans several key areas including climate prediction, computational physics, and the solution of partial differential equations. He has made significant contributions to optimizing neural network architectures for scientific computing applications, with a particular emphasis on solving the nonlinear Schrödinger equation and other physics-based problems. His professional experience includes working as a deep learning researcher at Zvuk.com (since December 2024), a junior researcher at the Research and Educational Laboratory of Big Data Analysis Methods (since June 2023), and previous positions at Huawei RRI, JuniStat, and EdisonLab. He teaches the "Machine Learning 1" course at HSE and has expertise in multiple programming languages and research methodologies. Buzaev is currently working on his dissertation with the approved topic "Climate prediction using physically-informed neural networks" under the supervision of Fedor Dmitrievich Ratnikov. His research demonstrates a strong commitment to advancing the application of machine learning techniques in scientific domains, particularly where physical constraints and equations guide the learning process.

Bas Spittersمشاهده پروفایل

دانشیار

• Homotopy Type Theory
• Formal Verification
• Blockchain
• +۶ مورد دیگر

Bas Spitters is an Associate Professor at the Department of Computer Science, Aarhus University, Denmark. He leads the Concordium Blockchain Research Center and the Blockchain workpackage in Digit , and contributes to Aarhus University's Quantum Campus initiative. His research spans Homotopy Type Theory , Formal Verification , and High-assurance cryptographic software . He develops proof assistants like Coq for applications in probabilistic programming , blockchain security , and quantum computing . Recent article trends focus on verified compilation (CertiCoq-Wasm), smart contract certification (ConCert), and applications of HoTT to probabilistic and blockchain systems. Key keywords include Formal Methods , Blockchain , Quantum Computing , and Cubical Type Theory . Scientific awards and grants: AFOSR grant (2018-2021) for Homotopy Type Theory in probabilistic computation Villum Foundation grant (2015-2019) for Guarded Homotopy Type Theory NWO VENI grant (2010-2013) for Reasoning and Computing DIAMANT researcher grant Advising and collaboration: Advised PhD students: Benjamin Salling Hvass, Jakob Botsch Nielsen, Andreas Aagaard Lynge, Soren Eller Thomsen, Martin Bidlingmaier Collaborated on computer-verified exact analysis, smart contracts, and quantum logic Organized workshops: TYPES workshop , HACS , and DMV Mini-Symposium

John Wickersonمشاهده پروفایل

مدرس ارشد

• concurrency semantics
• FPGAs
• GPUs
• +۵ مورد دیگر

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

Steve Zdancewicمشاهده پروفایل

استاد

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

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

Sathish Kumarمشاهده پروفایل

دانشیار

• Cybersecurity
• Machine Learning
• Distributed Systems
• +۶ مورد دیگر

Sathish Kumar is an Associate Professor in the Department of Electrical Engineering and Computer Science at Cleveland State University's Washkewicz College of Engineering. He serves as Director of the Intelligent Secure Cyber-Systems Analytics and Applications Research (ISCAR) Lab and holds editorial positions with PLOS One, IEEE Access, and Nature Scientific Reports. With over a decade of industry experience prior to joining academia in 2013, Dr. Kumar has established himself as a prominent researcher in cybersecurity and emerging technologies. Dr. Kumar's research spans Cybersecurity, Machine Learning, Distributed Systems, and Quantum Computing, with applications in Intelligent Cyber Physical Social Systems, Smart Cities, Blockchain, Disaster Resilience, and Health Informatics. His work demonstrates a consistent focus on practical security solutions for emerging technologies, particularly in IoT and IIOT environments. Recent publications show increasing emphasis on quantum machine learning applications and reinforcement learning approaches to security challenges. His research program has attracted significant funding, including multiple NSF grants as PI and Co-PI, CDC and NIH funding for public health applications, and industry partnerships. Dr. Kumar has published over 80 technical papers and co-edited a book on IoT security challenges. His editorial roles with major journals reflect his standing in the research community. National Science Foundation Grant ($799,985) as PI for quantum sensor research (2022-2025) National Science Foundation Grant ($434,431) as Co-PI for HPC infrastructure (2022-2025) Multiple additional NSF, CDC, and industry-funded projects Dr. Kumar actively mentors students at all levels, currently supervising multiple PhD students, postdoctoral researchers, and undergraduate honors students. His lab provides opportunities for students to engage in cutting-edge research with practical applications in cybersecurity and emerging technologies, supported by substantial external funding that ensures resources for student participation.