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

Xudong Heمشاهده پروفایل

استاد

• Software Engineering
• Formal Methods
• Petri Nets
• +۲ مورد دیگر

Dr. Xudong He is a Professor at Florida International University's Knight Foundation School of Computing and Information Sciences. With research expertise in software engineering and formal methods, he is internationally recognized for contributions to Petri net theory. He has published over 150 papers and served on 80+ conference committees, with research funded by NSF, NASA, ONR, AFRL, and DOE. He received BS (1982) and MS (1984) degrees from Nanjing University, and a PhD from Virginia Tech (1989). Before joining FIU in 2000, he spent ten years at North Dakota State University. Professional service includes editorship for Transactions on Petri Nets and Other Concurrency Models and organization of major simulation conferences. Honors include multiple FIU research excellence awards (2005, 2008, 2009), service recognition (2006, 2013), and best paper awards. His seminal publications include comprehensive surveys of Petri net modeling and formal specifications of software architectures using SAM.

Rasha Karakchiمشاهده پروفایل

مدرس

• High Performance Computing
• Reconfigurable Computing
• Embedded Systems
• +۳ مورد دیگر

Rasha Karakchi serves as a Lecturer in the Department of Computer Science and Engineering at the University of South Carolina's Molinaroli College of Engineering and Computing, where she teaches diverse courses while maintaining an active research program in hardware acceleration and embedded systems. Her academic foundation includes: Ph.D. in Computer Science and Engineering, University of South Carolina (2020) M.E. in Computer Engineering, University of South Carolina (2016) Dr. Karakchi's research centers on high-performance reconfigurable embedded systems, with particular focus on hardware acceleration for automata processing, spiking neural networks, and genomic sequence alignment. Her work bridges theoretical computer science with practical hardware implementation, emphasizing energy efficiency and real-time performance in security-critical applications. Analysis of her 2023-2025 publications reveals a dominant research trajectory applying machine learning to optimize hardware configurations for domain-specific tasks. Key thematic clusters include ML-enhanced automata processors for pattern matching, lightweight encryption engines for embedded security, and specialized architectures for spiking neural network acceleration—all demonstrating consistent innovation in hardware-software co-design for computationally intensive workloads. Her research excellence has been recognized through: SPARC Award (South Carolina's Program to Advance Research and Creativity)

Ana Milanovaمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Software Engineering
• +۶ مورد دیگر

Dr. Ana Milanova is a Professor in the Department of Computer Science at Rensselaer Polytechnic Institute, where she has been since 2003. Her research focuses on programming languages, compilers, and software engineering, with emphasis on static program analysis, security, and applications in Android app taint analysis, secure cryptographic protocols, and machine learning library verification. Research Interests: Her work addresses challenges in secure software development, privacy-preserving techniques, and static analysis methodologies. Recent projects include federated learning frameworks, Python-based static analysis tools, and secure computation protocols. She has contributed to tools like Submitty for automated programming assignment grading and frameworks for secure MapReduce applications. Scientific Awards: NSF CAREER Award, Google Faculty Research Award Grants: SaTC: CORE grants for secure computation and multi-party optimization Labs/Teams: Leads research in secure computation, federated learning, and static analysis tool development. Collaborates on open-source platforms for educational grading systems (Submitty).

Miklos Barthaمشاهده پروفایل

استاد

• programming language semantics
• algebra and category theory in computer science
• automata theory
• +۳ مورد دیگر

Dr. Miklos Bartha is a Professor in the Department of Computer Science at Memorial University of Newfoundland, located within the Faculty of Science. He holds a M.Sc. and Ph.D. from József Attila University in Hungary. His research focuses on programming language semantics, algebra and category theory applied to computer science, automata theory, and graph theory. Dr. Bartha's work bridges formal methods with computational models, emphasizing theoretical foundations and their applications in discrete systems. His academic career includes significant contributions to automata equivalence, synchronous system modeling, and graph-based algorithms. Notable areas of exploration include quantum automata, soliton graphs, and the monoidal structure of Turing machines. His research often intersects category theory, providing novel frameworks for understanding computational processes. Dr. Bartha has published extensively in international conferences and journals, with recent work addressing graph reduction algorithms, deterministic properties of soliton graphs, and the theoretical underpinnings of molecular switching using automata models. His publications span topics from formal verification of circuits to algorithmic graph theory, reflecting a deep engagement with both foundational and applied aspects of computer science. His contact information includes an office at Memorial University and can be reached via email at bartha@mun.ca or phone at (709) 864-2193.

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

استاد

• Cybersecurity
• Formal Verification
• Satisfiability Algorithms
• +۴ مورد دیگر

Prof. John Franco is a Professor of Computer Science at the University of Cincinnati, serving as Director of the National Center of Academic Excellence in Cyber Operations. His roles include Editor-in-Chief of the Journal on Satisfiability, Boolean Modeling, and Computation , and Vice Chair of the SAT Association. He has held visiting scientist positions at institutions in Germany (FAW Ulm, Universität Paderborn) and spent sabbatical leave at Fort George G. Meade. Education: Ph.D. in Computer Science, Rutgers University, 1981 M.S. in Electrical Engineering, Columbia University, 1971 B.S. in Electrical Engineering, City College of New York, 1969 Research Interests: Franco’s work focuses on satisfiability (SAT) algorithms, formal verification, cybersecurity, and computational complexity. He has pioneered probabilistic analysis of SAT-solving heuristics and contributed to the integration of SAT techniques into network security and formal methods. His research bridges theoretical computer science with practical applications in cyber defense and algorithm optimization. Grants & Funding: Franco has secured over 18 grants from agencies like the NSA, NSF, and ONR. Notable projects include Satisfiability Algorithm Research (NSA grants since 1999), cybersecurity curriculum development (NSA 2018–2022), and Ohio Cyber Range initiatives. He has led or collaborated on federal and state-funded projects totaling millions in funding. Labs/Teams: Directs the National Center of Academic Excellence in Cyber Operations, a collaborative effort with local defense contractors. His work involves partnerships with institutions like Wright State Applied Research Corporation and Riverside Research Institute.

Jinghai Raoمشاهده پروفایل

پژوهشگر

• Semantic Web Services
• Web Service Composition
• Security Policies
• +۳ مورد دیگر

Jinghai Rao is a Researcher at Carnegie Mellon University's School of Computer and Information Science within the Institute for Software Research International. His work focuses on semantic web services, security policies, and logic-based programming. He holds a PhD in Computer Science from the Norwegian University of Science and Technology (NTNU) and has Master's and Bachelor's degrees from Renmin University of China. His research emphasizes web service composition, policy enforcement, and automated reasoning. Notable contributions include the use of linear logic for service composition and frameworks for interleaving policy reasoning with service discovery. He has received a best paper runners-up award at ICWS 2004. Rao has been actively involved in professional activities, serving on committees for workshops like ECWS'06 and SOT'06, and as a reviewer for conferences such as IJCAI'05 and ISWC'05. His work bridges theoretical foundations of semantic web services with practical applications in security and collaborative systems.

Micah Beckمشاهده پروفایل

دانشیار

• Computer Networking
• Internet Architecture
• Formal Methods in Computer Science
• +۵ مورد دیگر

Micah Beck is an Associate Professor in the Min H. Kao Department of Electrical Engineering and Computer Science at the University of Tennessee, Knoxville, within the Tickle College of Engineering. His research focuses on foundational challenges in computer networking, internet architecture, and system design principles like minimal sufficiency. He holds a PhD in Computer Science from Cornell University (1992), an MS from Stanford (1980), and a BA from the University of Wisconsin (1979). Education: PhD in Computer Science, Cornell University, 1992 MS in Computer Science, Stanford University, 1980 BA in Mathematics & Computer Science, University of Wisconsin, 1979 Research Interests: Beck critiques traditional internet architecture paradigms, exploring flaws in assumptions like end-to-end arguments and TCP reliability. He advocates for minimal sufficiency principles to enhance deployment scalability. Recent work addresses broadband accessibility, digital monopolies, and exposed buffer architectures for stateful networking. His writing often bridges theoretical rigor with practical system design critiques. Recent Article Themes: His 2025 article Hit the Goalie analyzes formal proof misapplications in engineering systems, while 2024's End-to-End Arguments re-evaluates foundational networking principles. He co-authored Breaking Up Digital Monopolies (2023) proposing regulatory frameworks for data governance. Awards & Grants: No explicit awards listed, but his work has influenced networking discourse through venues like ACM and IEEE. Active in initiatives like Cybercosm and Exposed Buffer Architecture development. Teaching & Advising: Teaches operating systems (COSC 361), computer networks (ECE 453/553), and cloud/edge computing (COSC 494/594). Projects include xv6 kernel modifications and network protocol analysis. No formal advisee roster provided. Labs/Teams: Collaborates on projects like the Wildfire Data Logistics Network and Cybercosm ecosystem. Engages with industry through presentations at conferences like IEEE MASS and ACM workshops.

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.

Luca Crocettiمشاهده پروفایل

استادیار

• Cybersecurity in Automotive Systems
• Embedded Systems Design
• VLSI Systems for Space Applications
• +۳ مورد دیگر

Luca Crocetti is an Assistant Professor at the Department of Information Engineering (DII) of the University of Pisa. His research focuses on hardware security, embedded systems, and VLSI design for applications in Automotive, Space, IoT, and High-Performance Computing. He specializes in cybersecurity modules for automotive systems, space-grade FPGAs, and digital signal processing in satellite communications. His teaching includes electronics laboratory practices and cybersecurity principles, with a recent course on hardware's role in security for the Ph.D. program in Information Engineering. He has authored over 20 publications and holds 3 patents (1 national, 2 international), with notable work on cryptographic cores, secure boot mechanisms, and automotive cybersecurity. His contributions span efficient hardware implementations of AES, SHA-3, and other cryptographic algorithms, emphasizing compliance with standards like CCSDS for space applications. His research trends highlight a focus on hardware-efficient architectures, modular design for scalability, and robust security protocols for trusted environments. Notable publications address cryptographic co-processors for the European Processor Initiative, PUF-based security for RISC-V, and FPGA-based RNGs. While no formal awards are listed, his active role in cutting-edge cybersecurity projects underscores his contributions to embedded and space system security. His teaching and research emphasize hands-on lab experiences and real-world applications of hardware security principles.

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.

Ricardo Melo Czeksterمشاهده پروفایل

مدرس

• Cyber Threat Intelligence
• Cyber-Physical Systems
• Risk Assessment
• +۳ مورد دیگر

Ricardo Melo Czekster is a Lecturer in Software Engineering & Cybersecurity at Aston University's School of Computer Science and Digital Technologies. His research develops methods for securing critical infrastructure through formal modeling and threat intelligence. Education: PhD in Performance Evaluation, Pontifical Catholic University of Rio Grande do Sul (2010) MSc in Analytical and Environmental Chemistry, University of Benin (2009) BSc in Industrial Chemistry, Ambrose Alli University (2004) Research Focus: Czekster specializes in cybersecurity for cyber-physical systems, particularly smart grids and active buildings. His work develops STIX-based threat intelligence frameworks, attack path modeling with BDMPathfinder, and dynamic risk assessment methods. Recent projects address security in medical IoT and transportation systems. Teaching: Leads modules on Secure Programming, Security Governance, and Secure Software Delivery.

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.

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.