جستجوی استاد راهنمای دانشگاهی

Eugene Starkمشاهده پروفایل

استاد

• Operating Systems
• Programming Language Semantics
• Concurrency Theory
• +۳ مورد دیگر

Eugene Stark is a Professor in the Department of Computer Science at Stony Brook University, affiliated with the College of Engineering and Applied Sciences. His work focuses on theoretical foundations and practical applications in systems and programming languages. Educational Background: He earned his Ph.D. in Computer Science from the Massachusetts Institute of Technology (MIT) in 1984. Research Interests: His primary areas include Operating Systems, Programming Language Semantics, Concurrency Theory, Distributed Algorithms Verification, and Functional Programming Languages. He explores formal methods to ensure correctness and efficiency in complex systems, leveraging category theory for rigorous semantic frameworks. His work often addresses challenges in indeterminate dataflow networks and probabilistic models. Publications Overview: Stark’s recent articles emphasize categorical structures (e.g., residuated transition systems, bicategories) and probabilistic I/O automata. They reflect a trajectory from foundational theory to tool development for concurrent system analysis. Academy of Teaching Scholars award Department Award for Undergraduate Teaching (2000) Advising & Grants: No formal advisees are listed in current records. His research projects include the Probabilistic I/O Automata framework, CARA Infusion Pump specifications, and SAMSON Network Memory Server initiatives. Grants and funding details are not explicitly mentioned. Labs/Teams: He is associated with the Laboratory for 體魯 Institute of (1988), though the lab name’s full English title remains unclear. Collaborations likely extend to interdisciplinary projects involving formal methods and systems engineering.

Michael S. Branickyمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Internet of Things
• Artificial Intelligence
• +۵ مورد دیگر

Michael S. Branicky is Professor of Electrical Engineering & Computer Science (EECS) at the University of Kansas School of Engineering. Previously serving as KU's Dean of Engineering from July 2013 to June 2018, he maintains active research leadership following his tenure as professor and chair at Case Western Reserve University (CWRU) since 1996. His research spans Cyber-Physical Systems/IoT , Artificial Intelligence , Machine Learning , and Robotics , with particular expertise in switched and hybrid control systems. His work bridges theoretical control theory with practical applications in rehabilitation engineering and autonomous systems, evidenced by his h-index of 40 and nearly 17,000 citations. Recent publications demonstrate strong focus on reinforcement learning for human-robot interaction and cyber-physical systems. His editorial leadership in IEEE Transactions reflects his standing in the CPS community. Notable funding includes NSF awards for Active Sensing in Deformable Environments and CPS Week support. Fellow, IEEE (2016) NSF Director's Award for Collaborative Integration (2012) NSF Director's Superior Accomplishment Award (2010) Walter R. Fried Memorial Best Paper Award (2010) Multiple teaching awards at CWRU and Case School of Engineering Branicky leads significant research initiatives including the IUCRC Center for High-Assurance Secure Systems and IoT (CHASSI) and NRT-HDR: Internet of Catalysis. His laboratory work focuses on image-guided interventions and deformable environment mapping, supported by over $1 million in NSF funding.

Dhrubajyoti Goswamiمشاهده پروفایل

دانشیار

• High-Performance Scientific Computing
• Parallel and Distributed Computing
• Blockchain Sharding
• +۳ مورد دیگر

Dhrubajyoti Goswami is an Associate Professor and Graduate Program Director in the Department of Computer Science and Software Engineering at Concordia University, Montreal. He holds a PhD from the University of Waterloo, with prior degrees from McGill University and the Indian Institute of Science. His research focuses on high-performance computing, parallel algorithms, and distributed systems, with recent work emphasizing blockchain sharding and fault tolerance in distributed environments. Dr. Goswami teaches courses such as Operating Systems, Parallel Programming, and Distributed Systems, reflecting his expertise in system software and parallel computing. His publications span conferences like IEEE SBAC-PAD, IEEE ICBC, and IEEE ISPDC, addressing challenges in GPU computing, scalable algorithms, and blockchain optimization. He has secured grants including NSERC Discovery and CFI funding, supporting research in high-performance systems. Dr. Goswami’s advisory work includes supervising over 20 graduate and undergraduate students, with notable contributions in areas like efficient matrix multiplication on GPUs, hierarchical blockchain architectures, and fault-tolerant distributed systems. His professional memberships include IEEE Senior Member status.

Farzaneh Derakhshanمشاهده پروفایل

استادیار

• Concurrency
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology. She received her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Prof. Frank Pfenning and completed a postdoctoral fellowship at CMU with Profs. Limin Jia and Stephanie Balzer. Her research focuses on formal methods for concurrent and secure systems. Education: Ph.D. in Pure and Applied Logic, Carnegie Mellon University (2021) Dr. Derakhshan's research explores logical foundations for concurrent program design, emphasizing correctness guarantees (safety, reactivity) and security properties (fault tolerance, side-channel protection). Current projects include modal logics for under/over-approximation, relational logic for GPU security, type systems for intermittent computing, and behavioral types for security enforcement. Her work bridges theoretical logic with practical systems challenges. Recent publications (2021-2025) reveal strong thematic continuity in concurrency, security, and formal verification. Key trends include session-typed process models for secure communication, modal type systems for intermittent computing, and logical frameworks for program assurance. These contributions demonstrate consistent innovation at the intersection of programming languages, logic, and cybersecurity. Scientific Awards: No scientific awards are mentioned in the provided text. Advising and Research Funding: Current Students: PhD: Godha Pallavi Bhogadi, Myra Dotzel, Lang Liu; Master's: Akash Madhu Former Students: Narasimha Karthik G. (MS), Griffin Colomer (BSc) Grants: NSF SaTC CORE #2350217: "Mixed Assurance Reasoning via Modal Logic" (2024) Dr. Derakhshan leads an active research group focused on programming language security, collaborating with Carnegie Mellon University researchers. She co-organizes community initiatives including the 2026 Dagstuhl Seminar on Behavioural Types for Resilience and serves on multiple program committees for top programming languages conferences.

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

استادیار

• Computer Science
• Embedded Systems
• Fault Tolerance
• +۳ مورد دیگر

Federico Reghenzani is an Assistant Professor at Politecnico di Milano in the Department of Electronics, Information and Bioengineering. His research focuses on computer science, embedded systems, fault tolerance, high-performance computing, real-time systems, and compiler technology. He leads the HEAP Lab where his team investigates reliability engineering and hardware-software co-design for safety-critical applications. Reghenzani's research examines software-based approaches to hardware fault tolerance, compiler technologies for reliability enhancement, and resource management in high-performance computing environments. His work has significant applications in aerospace systems, real-time embedded platforms, and next-generation computing architectures. His publications demonstrate a consistent focus on improving system reliability through compiler techniques, fault injection methodologies, and hardware-software co-design. The research spans theoretical frameworks, practical implementations, and experimental validation across diverse computing environments.

• Database Management Systems
• Query Processing and Optimization
• Approximate Query Processing
• +۶ مورد دیگر

Dr. Feng (George) Yu is an Associate Professor of Computer Science and Information Systems at Youngstown State University in Youngstown, Ohio. He serves as the Campus Champion of NSF Extreme Science and Engineering Discovery Environment (XSEDE) at YSU and has been collaborating with XSEDE and Pittsburgh Supercomputing Center since 2014 to bring national workshop series on High-Performance Computing to YSU. Ph.D. in Computer Science, Southern Illinois University (2013) M.S. in Pure Mathematics, Shandong University (2008) B.S. in Information and Computation Science, Northeastern University (2005) Dr. Yu's primary research focuses on database management systems, particularly Approximate Query Processing (AQP) for big data analytics. His work spans multiple areas including Cloud Computing , Blockchain , NoSQL Databases , and Bioinformatics . His recent research has centered on error assessment for AQP using bootstrap sampling techniques, as evidenced by his 2024 publications AQPrius and Error Assessment for Multi-Join AQP . He has also made significant contributions to plant genomics through alternative splicing analysis in various crops. His publication trends show a consistent focus on query processing and optimization, with a recent shift toward more sophisticated error estimation techniques in approximate query processing. His work bridges theoretical database research with practical applications in bioinformatics and educational technology, as seen in his 2024 paper on computing curriculum accessibility for students with ASD. Best of QUEST 2024 Finalist (Faculty Advisor) Research Professorship (2023, 2022, 2019, 2018) Distinguished Professor in Scholarship (2020) Best Paper Award at International Conference on Software Engineering and Data Engineering (2019) Faculty Membership in The Honor Society of Phi Kappa Phi (2022) Dr. Yu actively mentors undergraduate researchers, having advised students including Govardhan Gula for the BEST of QUEST project on accelerating bootstrap resampling, and led a CREU-funded project on recommender systems with undergraduate researchers Alyssa Adams, Olivia Bindas, Maddie Cope, and Elizabeth Durflinger. His research has been supported by external funding sources including Amazon Inc. and the Computer Research Association. He directs the YSU Data Lab , which focuses on data-oriented sciences and operates multiple high-performance research clouds including Sarah Cloud and YSU STEM Cloud. The lab conducts cutting-edge research in approximate query processing, blockchain, and heterogeneous cloud infrastructure.

• Bayesian statistics
• Hierarchical modeling
• Image analysis for super-resolution microscopy
• +۴ مورد دیگر

Dr. Miguel Juarez is a Lecturer in Statistics at the University of Sheffield's School of Mathematical and Physical Sciences. He holds a PhD in Mathematical Sciences from Universidad de Valencia (2004), an MSc in Economics from CIDE (Mexico), and a BSc in Actuarial Sciences from ITAM (Mexico). His research focuses on Bayesian hierarchical modeling for panel/longitudinal data with applications in biology, medicine, and econometrics. Key projects include the STriTuVaD initiative for integrating computer simulations with clinical trials and developing models for super-resolution microscopy image analysis. He has contributed to advancing in silico trial methodologies through the UISS-TB simulator and works on objective Bayesian methods for non-Gaussian data. Professional activities include teaching MAS2010 Statistical Inference and Modelling. His recent work emphasizes accelerating tuberculosis vaccine development via augmented clinical trials and establishing credibility frameworks for in silico trials. He collaborates with interdisciplinary teams in systems biology and biomedical informatics. Research outputs span Bayesian statistical theory, computational epidemiology, and medical technology innovation. Notable collaborations include the Warwick Systems Biology Centre and EU-funded H2020 projects.

• High-Performance Computing
• Parallel Programming
• Computer Architecture
• +۳ مورد دیگر

Prof. Dr. rer. nat. Matthias S. Müller is a Universitätsprofessor and Director of the IT Center at RWTH Aachen University. His research focuses on High-Performance Computing (HPC), parallel programming models, correctness verification, energy-aware computing, and tools for distributed systems. He leads the High-Performance Computing group, contributing to advancements in HPC resource management, runtime systems, and sustainable computing practices. Key areas of expertise include MPI and OpenMP correctness checking, static and dynamic analysis techniques, performance optimization for heterogeneous architectures, and energy footprint modeling. Müller has extensively collaborated on projects like MUST (MPI correctness tool), OMPT tools, and frameworks for analyzing hybrid parallel applications. His work bridges theoretical computer science with practical implementation challenges in large-scale computing environments. Notable contributions include developing methods for data race detection in Remote Memory Access (RMA) programs, latency-aware power management models, and educational frameworks for HPC lab courses. His research often emphasizes tool development, runtime systems, and interdisciplinary applications of HPC across engineering domains. Müller's lab is part of RWTH Aachen's IT Center, which provides infrastructure and expertise for computational research. He actively publishes in top-tier conferences and journals, addressing challenges in parallel programming, energy efficiency, and distributed computing systems.

Timo Hönigمشاهده پروفایل

استاد

• Operating Systems
• System Software
• Energy-Aware Computing Systems
• +۳ مورد دیگر

Prof. Timo Hönig is a Professor leading the Bochum Operating Systems and System Software (BOSS) Research Group at Ruhr-Universität Bochum (RUB). Previously, he served as an Assistant Professor at Friedrich-Alexander-University Erlangen-Nürnberg (FAU), where he was part of Department of Computer Science 4. His research focuses on Energy-Aware Computing Systems, Operating Systems, and System Software design with applications in embedded and real-time systems. Key research projects include the DFG Collaborative Research Center/TR 89 (Invasive Computing) and the DFG SPP 1914 (Latency- and Resilience-Aware Networking). He has received notable awards such as the SOSP SRC Gold Medal (2019) and the ISORC Best Paper Award (2017). He actively contributes to conferences like ACM EuroSys and USENIX ATC, and has led initiatives like the Albatross runtime system for energy-efficient HPC clusters. Teaching includes courses on Energy-Aware Computing and Operating Systems Technology. His work bridges theoretical system software design with practical applications in energy efficiency and heterogeneous architectures. The BOSS group explores future system software challenges for many-core and NVM-based systems.

• High-performance computing
• Modelling of Acoustic Wave devices
• Embedded system design
• +۳ مورد دیگر

Dr. Glenn Matthews is a Senior Lecturer in the School of Engineering at RMIT University, specialising in Electrical and Computer Engineering. He holds positions in both academic and research capacities, including Principal Investigator roles at CSIRO and Smart Services CRC. His teaching responsibilities include coordinating undergraduate courses such as Introduction to Engineering Computing and Engineering Design modules. Dr. Matthews' research focuses on high-performance computing, acoustic wave device modeling using Finite Element Method (FEM), and embedded system design. Notable projects include developing FEM software for SAW device analysis and investigating asynchronous computing architectures for high-throughput systems. He has supervised numerous research projects spanning machine learning applications in clinical analysis, gas sensing technologies, and neuromorphic learning. His work integrates hardware-software co-design principles, with contributions to radar SLAM systems, mercury vapor sensors, and neural network frameworks like SwiftSpike. Dr. Matthews collaborates with industry partners through ARC Linkage Grants and maintains affiliations with IEEE and DSP/Embedded Systems groups. His research outputs include over 20 peer-reviewed articles, with impactful contributions to sensor technology, circuit design, and biomedical applications.

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Formal Verification
• +۳ مورد دیگر

Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania, with appointments in the School of Engineering and Applied Science. A Fellow of the ACM, his research spans programming languages, formal verification, and security-privacy technologies. He directs the DeepSpec project on verified systems infrastructure and leads climate computing initiatives. Research interests focus on: Formal methods for reliable software via proof assistants like Coq Bidirectional programming and data synchronization Language-based security and differential privacy Publication trends show consistent contributions to type theory foundations, with recent emphasis on property-based testing methodologies and real-world verification. Articles frequently appear in top PL/SEC venues with practical applications in compilers and secure systems. Scientific Awards: ACM Fellow (systems verification) SIGPLAN Distinguished Educator Award (textbook innovations) Advises graduate students through the Penn PL Club. PI for NSF Expeditions in Sustainable Computing. Leads the VERSE project for verified C code and Unison file synchronizer. Directs the Penn Programming Languages Research Group collaborating with industry partners including Amazon and Microsoft Research.

Sylvain Conchonمشاهده پروفایل

استاد

• Formal Methods
• Automated Deduction
• Program Verification
• +۱۰ مورد دیگر

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

Amin Timanyمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Logical Relations
• +۹ مورد دیگر

Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.

• Cryptography
• Computer Security
• Privacy
• +۳ مورد دیگر

Gene Tsudik is the Peter & Lois Griffin Professor at the University of California, Irvine (UCI), affiliated with the School of Information and Computer Sciences. His research focuses on cryptography, computer security, privacy, and applied cryptographic protocols. He has authored over 300 publications in top-tier venues, addressing challenges in secure communication, key management, privacy-preserving technologies, and network security. Key research areas include group key agreement, secure data possession, privacy-preserving protocols, and mobile agent systems. His work has influenced foundational aspects of computational grid security, cloud storage integrity, and post-quantum cryptography. Collaborations include prominent institutions like KAIST, University of Surrey, and NYIT. His publications span topics from theoretical cryptographic proofs to practical system implementations, reflecting a balance between academic rigor and real-world applicability.

Mohammed Alghazwiمشاهده پروفایل

پژوهشگر

• Blockchain
• Genomic Data Analysis
• Privacy-preserving Systems
• +۲ مورد دیگر

Mohammed Alghazwi serves as an external researcher in the Information Systems department within the Faculty of Science and Engineering at the University of Groningen. His institutional affiliation is evidenced through his published research and university email address. His research focuses on the intersection of blockchain technology and genomic data analysis, with particular emphasis on privacy-preserving systems. Key areas include off-chain computation verification, ciphertext security, and genomic dataset management. His work bridges computer science with biomedical applications, addressing critical challenges in healthcare data privacy through cryptographic solutions. Alghazwi's publication record demonstrates specialization in systematic literature reviews and cryptographic implementations for genomics. His research outputs consistently address privacy concerns in genomic data handling, utilizing blockchain frameworks to develop secure off-chain computation methods. The fingerprint analysis of his work reveals strong connections between blockchain mechanisms and genomic data security protocols. His collaborative research approach is evident through co-authorship with multiple researchers across institutions. While no formal advising role is documented, his contributions to systematic reviews and cryptographic implementations indicate significant expertise in emerging healthcare data security paradigms.